diff options
author | Dmitry Vyukov <dvyukov@google.com> | 2015-02-19 15:44:08 +0300 |
---|---|---|
committer | Dmitry Vyukov <dvyukov@google.com> | 2015-03-28 13:43:27 +0000 |
commit | 6d9fd7e65b29af8227a763d754ac7a2fbf8be6f9 (patch) | |
tree | d90302778df42fcb1ba4945f3d6775826e4a3c20 /test/escape_level.go | |
parent | 130538bb9a17d6ac894aecf0f5535cc6b04bed5c (diff) | |
download | go-6d9fd7e65b29af8227a763d754ac7a2fbf8be6f9.tar.gz go-6d9fd7e65b29af8227a763d754ac7a2fbf8be6f9.zip |
test: add tests for indirection level computation in escape analysis
The false positive (var incorrectly escapes to heap) is marked with BAD.
Change-Id: I11877fa8e976094b31a221abd88ae32d351c85ee
Reviewed-on: https://go-review.googlesource.com/5292
Reviewed-by: Keith Randall <khr@golang.org>
Diffstat (limited to 'test/escape_level.go')
-rw-r--r-- | test/escape_level.go | 108 |
1 files changed, 108 insertions, 0 deletions
diff --git a/test/escape_level.go b/test/escape_level.go new file mode 100644 index 0000000000..336321bed8 --- /dev/null +++ b/test/escape_level.go @@ -0,0 +1,108 @@ +// errorcheck -0 -m -l + +// Copyright 2015 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 indirection level computation in escape analysis. + +package escape + +var sink interface{} + +func level0() { + i := 0 // ERROR "moved to heap: i" + p0 := &i // ERROR "moved to heap: p0" "&i escapes to heap" + p1 := &p0 // ERROR "moved to heap: p1" "&p0 escapes to heap" + p2 := &p1 // ERROR "moved to heap: p2" "&p1 escapes to heap" + sink = &p2 // ERROR "&p2 escapes to heap" +} + +func level1() { + i := 0 // ERROR "moved to heap: i" + p0 := &i // ERROR "moved to heap: p0" "&i escapes to heap" + p1 := &p0 // ERROR "moved to heap: p1" "&p0 escapes to heap" + p2 := &p1 // ERROR "&p1 escapes to heap" + sink = p2 +} + +func level2() { + i := 0 // ERROR "moved to heap: i" + p0 := &i // ERROR "moved to heap: p0" "&i escapes to heap" + p1 := &p0 // ERROR "&p0 escapes to heap" + p2 := &p1 // ERROR "&p1 does not escape" + sink = *p2 +} + +func level3() { + i := 0 // ERROR "moved to heap: i" + p0 := &i // ERROR "&i escapes to heap" + p1 := &p0 // ERROR "&p0 does not escape" + p2 := &p1 // ERROR "&p1 does not escape" + sink = **p2 +} + +func level4() { + i := 0 // ERROR "moved to heap: i" + p0 := &i // ERROR "moved to heap: p0" "&i escapes to heap" + p1 := &p0 // ERROR "&p0 escapes to heap" + p2 := p1 // ERROR "moved to heap: p2" + sink = &p2 // ERROR "&p2 escapes to heap" +} + +func level5() { + i := 0 // ERROR "moved to heap: i" + p0 := &i // ERROR "moved to heap: p0" "&i escapes to heap" + p1 := &p0 // ERROR "&p0 escapes to heap" + p2 := p1 + sink = p2 +} + +func level6() { + i := 0 // ERROR "moved to heap: i" + p0 := &i // ERROR "&i escapes to heap" + p1 := &p0 // ERROR "&p0 does not escape" + p2 := p1 + sink = *p2 +} + +func level7() { + i := 0 // ERROR "moved to heap: i" + p0 := &i // ERROR "moved to heap: p0" "&i escapes to heap" + // BAD: p0 should not escape here + p1 := &p0 // ERROR "&p0 escapes to heap" + p2 := *p1 // ERROR "moved to heap: p2" + sink = &p2 // ERROR "&p2 escapes to heap" +} + +func level8() { + i := 0 // ERROR "moved to heap: i" + p0 := &i // ERROR "&i escapes to heap" + p1 := &p0 // ERROR "&p0 does not escape" + p2 := *p1 + sink = p2 +} + +func level9() { + i := 0 + p0 := &i // ERROR "&i does not escape" + p1 := &p0 // ERROR "&p0 does not escape" + p2 := *p1 + sink = *p2 +} + +func level10() { + i := 0 + p0 := &i // ERROR "&i does not escape" + p1 := *p0 + p2 := &p1 // ERROR "&p1 does not escape" + sink = *p2 +} + +func level11() { + i := 0 + p0 := &i // ERROR "&i does not escape" + p1 := &p0 // ERROR "&p0 does not escape" + p2 := **p1 // ERROR "moved to heap: p2" + sink = &p2 // ERROR "&p2 escapes to heap" +} |