summaryrefslogtreecommitdiff
path: root/test/escape.go
diff options
context:
space:
mode:
Diffstat (limited to 'test/escape.go')
-rw-r--r--test/escape.go207
1 files changed, 0 insertions, 207 deletions
diff --git a/test/escape.go b/test/escape.go
deleted file mode 100644
index d4d844704..000000000
--- a/test/escape.go
+++ /dev/null
@@ -1,207 +0,0 @@
-// $G $D/$F.go && $L $F.$A && ./$A.out
-
-// Copyright 2009 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.
-
-package main
-
-// check for correct heap-moving of escaped variables.
-// it is hard to check for the allocations, but it is easy
-// to check that if you call the function twice at the
-// same stack level, the pointers returned should be
-// different.
-
-var bad = false
-
-var allptr = make([]*int, 0, 100)
-
-func noalias(p, q *int, s string) {
- n := len(allptr)
- *p = -(n+1)
- *q = -(n+2)
- allptr = allptr[0:n+2]
- allptr[n] = p
- allptr[n+1] = q
- n += 2
- for i := 0; i < n; i++ {
- if allptr[i] != nil && *allptr[i] != -(i+1) {
- println("aliased pointers", -(i+1), *allptr[i], "after", s)
- allptr[i] = nil
- bad = true
- }
- }
-}
-
-func val(p, q *int, v int, s string) {
- if *p != v {
- println("wrong value want", v, "got", *p, "after", s)
- bad = true
- }
- if *q != v+1 {
- println("wrong value want", v+1, "got", *q, "after", s)
- bad = true
- }
-}
-
-func chk(p, q *int, v int, s string) {
- val(p, q, v, s)
- noalias(p, q, s)
-}
-
-func chkalias(p, q *int, v int, s string) {
- if p != q {
- println("want aliased pointers but got different after", s)
- }
- if *q != v+1 {
- println("wrong value want", v+1, "got", *q, "after", s)
- }
-}
-
-func i_escapes(x int) *int {
- var i int
- i = x
- return &i
-}
-
-func j_escapes(x int) *int {
- var j int = x
- j = x
- return &j
-}
-
-func k_escapes(x int) *int {
- k := x
- return &k
-}
-
-func in_escapes(x int) *int {
- return &x
-}
-
-func send(c chan int, x int) {
- c <- x
-}
-
-func select_escapes(x int) *int {
- c := make(chan int)
- go send(c, x)
- select {
- case req := <-c:
- return &req
- }
- return nil
-}
-
-func select_escapes1(x int, y int) (*int, *int) {
- c := make(chan int)
- var a [2]int
- var p [2]*int
- a[0] = x
- a[1] = y
- for i := 0; i < 2; i++ {
- go send(c, a[i])
- select {
- case req := <-c:
- p[i] = &req
- }
- }
- return p[0], p[1]
-}
-
-func range_escapes(x int) *int {
- var a [1]int
- a[0] = x
- for _, v := range a {
- return &v
- }
- return nil
-}
-
-// *is* aliased
-func range_escapes2(x, y int) (*int, *int) {
- var a [2]int
- var p [2]*int
- a[0] = x
- a[1] = y
- for k, v := range a {
- p[k] = &v
- }
- return p[0], p[1]
-}
-
-// *is* aliased
-func for_escapes2(x int, y int) (*int, *int) {
- var p [2]*int
- n := 0
- for i := x; n < 2; i = y {
- p[n] = &i
- n++
- }
- return p[0], p[1]
-}
-
-func out_escapes(i int) (x int, p *int) {
- x = i
- p = &x // ERROR "address of out parameter"
- return
-}
-
-func out_escapes_2(i int) (x int, p *int) {
- x = i
- return x, &x // ERROR "address of out parameter"
-}
-
-func defer1(i int) (x int) {
- c := make(chan int)
- go func() { x = i; c <- 1 }()
- <-c
- return
-}
-
-func main() {
- p, q := i_escapes(1), i_escapes(2)
- chk(p, q, 1, "i_escapes")
-
- p, q = j_escapes(3), j_escapes(4)
- chk(p, q, 3, "j_escapes")
-
- p, q = k_escapes(5), k_escapes(6)
- chk(p, q, 5, "k_escapes")
-
- p, q = in_escapes(7), in_escapes(8)
- chk(p, q, 7, "in_escapes")
-
- p, q = select_escapes(9), select_escapes(10)
- chk(p, q, 9, "select_escapes")
-
- p, q = select_escapes1(11, 12)
- chk(p, q, 11, "select_escapes1")
-
- p, q = range_escapes(13), range_escapes(14)
- chk(p, q, 13, "range_escapes")
-
- p, q = range_escapes2(101, 102)
- chkalias(p, q, 101, "range_escapes2")
-
- p, q = for_escapes2(103, 104)
- chkalias(p, q, 103, "for_escapes2")
-
- _, p = out_escapes(15)
- _, q = out_escapes(16)
- chk(p, q, 15, "out_escapes")
-
- _, p = out_escapes_2(17)
- _, q = out_escapes_2(18)
- chk(p, q, 17, "out_escapes_2")
-
- x := defer1(20)
- if x != 20 {
- println("defer failed", x)
- bad = true
- }
-
- if bad {
- panic("BUG: no escape")
- }
-}