From f078711b412e9949d242e2bb54fc26d759232f5f Mon Sep 17 00:00:00 2001 From: Russ Cox Date: Mon, 12 May 2014 14:45:05 -0400 Subject: cmd/gc: fix escape analysis for slice of array Fixes #7931. LGTM=iant R=golang-codereviews, iant CC=golang-codereviews https://golang.org/cl/100390044 --- test/escape2.go | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) (limited to 'test/escape2.go') diff --git a/test/escape2.go b/test/escape2.go index 220f9d91f1..382e8e6d64 100644 --- a/test/escape2.go +++ b/test/escape2.go @@ -1411,3 +1411,35 @@ func foo150(x ...byte) { // ERROR "leaking param: x" func bar150() { foo150(1, 2, 3) // ERROR "[.][.][.] argument escapes to heap" } + +// issue 7931: bad handling of slice of array + +var save151 *int + +func foo151(x *int) { // ERROR "leaking param: x" + save151 = x +} + +func bar151() { + var a [64]int // ERROR "moved to heap: a" + a[4] = 101 + foo151(&(&a)[4:8][0]) // ERROR "&\(&a\)\[4:8\]\[0\] escapes to heap" "&a escapes to heap" +} + +func bar151b() { + var a [10]int // ERROR "moved to heap: a" + b := a[:] // ERROR "a escapes to heap" + foo151(&b[4:8][0]) // ERROR "&b\[4:8\]\[0\] escapes to heap" +} + +func bar151c() { + var a [64]int // ERROR "moved to heap: a" + a[4] = 101 + foo151(&(&a)[4:8:8][0]) // ERROR "&\(&a\)\[4:8:8\]\[0\] escapes to heap" "&a escapes to heap" +} + +func bar151d() { + var a [10]int // ERROR "moved to heap: a" + b := a[:] // ERROR "a escapes to heap" + foo151(&b[4:8:8][0]) // ERROR "&b\[4:8:8\]\[0\] escapes to heap" +} -- cgit v1.2.1