1
0
mirror of https://github.com/golang/go synced 2024-11-08 19:16:25 -07:00
go/test/escape_goto.go
Cuong Manh Le 1406ece446 cmd/compile: preserve loop depth when evaluating block
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>
2019-09-06 01:35:46 +00:00

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
}