diff options
Diffstat (limited to '')
-rw-r--r-- | test/fixedbugs/issue54632.go | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/test/fixedbugs/issue54632.go b/test/fixedbugs/issue54632.go new file mode 100644 index 0000000..0d4e32f --- /dev/null +++ b/test/fixedbugs/issue54632.go @@ -0,0 +1,31 @@ +// run + +// Copyright 2022 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. + +// The inliner would erroneously scan the caller function's body for +// reassignments *before* substituting the inlined function call body, +// which could cause false positives in deciding when it's safe to +// transitively inline indirect function calls. + +package main + +func main() { + bug1() + bug2(fail) +} + +func bug1() { + fn := fail + fn = pass + fn() +} + +func bug2(fn func()) { + fn = pass + fn() +} + +func pass() {} +func fail() { panic("FAIL") } |