mirror of
https://github.com/golang/go
synced 2024-11-13 16:50:23 -07:00
1406ece446
Add block method to preserve loop depth when evaluating statements in a block, so escape analysis can handle looping label more precisely. Updates #22438 Change-Id: I39b306544a6c0ee3fcbebbe0d0ee735cb71773e6 Reviewed-on: https://go-review.googlesource.com/c/go/+/193517 Run-TryBot: Cuong Manh Le <cuong.manhle.vn@gmail.com> TryBot-Result: Gobot Gobot <gobot@golang.org> Reviewed-by: Matthew Dempsky <mdempsky@google.com>
45 lines
674 B
Go
45 lines
674 B
Go
// errorcheck -0 -m -l
|
|
|
|
// Copyright 2019 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 escape analysis for goto statements.
|
|
|
|
package escape
|
|
|
|
var x bool
|
|
|
|
func _() {
|
|
var p *int
|
|
loop:
|
|
if x {
|
|
goto loop
|
|
}
|
|
// BAD: We should be able to recognize that there
|
|
// aren't any more "goto loop" after here.
|
|
p = new(int) // ERROR "escapes to heap"
|
|
_ = p
|
|
}
|
|
|
|
func _() {
|
|
var p *int
|
|
if x {
|
|
loop:
|
|
goto loop
|
|
} else {
|
|
p = new(int) // ERROR "does not escape"
|
|
}
|
|
_ = p
|
|
}
|
|
|
|
func _() {
|
|
var p *int
|
|
if x {
|
|
loop:
|
|
goto loop
|
|
}
|
|
p = new(int) // ERROR "does not escape"
|
|
_ = p
|
|
}
|