]> Cypherpunks.ru repositories - gostls13.git/commitdiff
cmd/compile: ensure FuncForPC works on closures that start with NOPs
authorKeith Randall <khr@golang.org>
Tue, 14 Feb 2023 07:27:51 +0000 (23:27 -0800)
committerKeith Randall <khr@google.com>
Fri, 3 Mar 2023 16:35:00 +0000 (16:35 +0000)
A 0-sized no-op shouldn't prevent us from detecting that the first
instruction is from an inlined callee.

Update #58300

Change-Id: Ic5f6ed108c54a32c05e9b2264b516f2cc17e4619
Reviewed-on: https://go-review.googlesource.com/c/go/+/467977
Run-TryBot: Keith Randall <khr@golang.org>
Reviewed-by: Keith Randall <khr@google.com>
Reviewed-by: David Chase <drchase@google.com>
TryBot-Result: Gopher Robot <gobot@golang.org>

src/cmd/compile/internal/ssagen/ssa.go
test/fixedbugs/issue58300b.go [new file with mode: 0644]
test/fixedbugs/issue58300b.out [new file with mode: 0644]

index 004806b029aaec2c392983476eb7114f502afe24..6831da69081cd731fd00b3308fd291fc75f56844 100644 (file)
@@ -7171,7 +7171,7 @@ func genssa(f *ssa.Func, pp *objw.Progs) {
                        // This ensures that runtime.FuncForPC(uintptr(reflect.ValueOf(fn).Pointer())).Name()
                        // returns the right answer. See issue 58300.
                        for p := pp.Text; p != nil; p = p.Link {
-                               if p.As == obj.AFUNCDATA || p.As == obj.APCDATA || p.As == obj.ATEXT {
+                               if p.As == obj.AFUNCDATA || p.As == obj.APCDATA || p.As == obj.ATEXT || p.As == obj.ANOP {
                                        continue
                                }
                                if base.Ctxt.PosTable.Pos(p.Pos).Base().InliningIndex() >= 0 {
diff --git a/test/fixedbugs/issue58300b.go b/test/fixedbugs/issue58300b.go
new file mode 100644 (file)
index 0000000..5192b3f
--- /dev/null
@@ -0,0 +1,35 @@
+// run
+
+// Copyright 2023 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.
+
+package main
+
+import (
+       "reflect"
+       "runtime"
+)
+
+type T struct {
+       a, b int
+}
+
+func f(t *T) int {
+       if t != nil {
+               return t.b
+       }
+       return 0
+}
+
+func g(t *T) int {
+       return f(t) + 5
+}
+
+func main() {
+       x(f)
+       x(g)
+}
+func x(v any) {
+       println(runtime.FuncForPC(reflect.ValueOf(v).Pointer()).Name())
+}
diff --git a/test/fixedbugs/issue58300b.out b/test/fixedbugs/issue58300b.out
new file mode 100644 (file)
index 0000000..f347287
--- /dev/null
@@ -0,0 +1,2 @@
+main.f
+main.g