aboutsummaryrefslogtreecommitdiff
path: root/test/notinheap2.go
blob: de1e6db1d31a05af50c0864bb114fe0042d3224e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
// errorcheck -+

// Copyright 2016 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.

// Test walk errors for go:notinheap.

package p

//go:notinheap
type nih struct {
	next *nih
}

// Global variables are okay.

var x nih

// Stack variables are not okay.

func f() {
	var y nih // ERROR "nih is go:notinheap; stack allocation disallowed"
	x = y
}

// Heap allocation is not okay.

var y *nih
var z []nih
var w []nih
var n int

func g() {
	y = new(nih)       // ERROR "heap allocation disallowed"
	z = make([]nih, 1) // ERROR "heap allocation disallowed"
	z = append(z, x)   // ERROR "heap allocation disallowed"
	// Test for special case of OMAKESLICECOPY
	x := make([]nih, n) // ERROR "heap allocation disallowed"
	copy(x, z)
	z = x
}

// Writes don't produce write barriers.

var p *nih

//go:nowritebarrier
func h() {
	y.next = p.next
}