mirror of
https://github.com/golang/go
synced 2024-11-11 23:50:22 -07:00
cmd/5g, cmd/6g, cmd/8g: fix line number of caller of deferred func
Deferred functions are not run by a call instruction. They are run by the runtime editing registers to make the call start with a caller PC returning to a CALL deferreturn instruction. That instruction has always had the line number of the function's closing brace, but that instruction's line number is irrelevant. Stack traces show the line number of the instruction before the return PC, because normally that's what started the call. Not so here. The instruction before the CALL deferreturn could be almost anywhere in the function; it's unrelated and its line number is incorrect to show. Fix the line number by inserting a true hardware no-op with the right line number before the returned-to CALL instruction. That is, the deferred calls now appear to start with a caller PC returning to the second instruction in this sequence: NOP CALL deferreturn The traceback will show the line number of the NOP, which we've set to be the line number of the function's closing brace. The NOP here is not the usual pseudo-instruction, which would be elided by the linker. Instead it is the real hardware instruction: XCHG AX, AX on 386 and amd64, and AND.EQ R0, R0, R0 on ARM. Fixes #5856. R=ken2, ken CC=golang-dev https://golang.org/cl/11223043
This commit is contained in:
parent
031c107cad
commit
7e97d39879
@ -84,6 +84,20 @@ ginscall(Node *f, int proc)
|
||||
case 0: // normal call
|
||||
case -1: // normal call but no return
|
||||
if(f->op == ONAME && f->class == PFUNC) {
|
||||
if(f == deferreturn) {
|
||||
// Deferred calls will appear to be returning to
|
||||
// the BL deferreturn(SB) that we are about to emit.
|
||||
// However, the stack trace code will show the line
|
||||
// of the instruction before that return PC.
|
||||
// To avoid that instruction being an unrelated instruction,
|
||||
// insert a NOP so that we will have the right line number.
|
||||
// ARM NOP 0x00000000 is really AND.EQ R0, R0, R0.
|
||||
// Use the latter form because the NOP pseudo-instruction
|
||||
// would be removed by the linker.
|
||||
nodreg(&r, types[TINT], 0);
|
||||
p = gins(AAND, &r, &r);
|
||||
p->scond = C_SCOND_EQ;
|
||||
}
|
||||
p = gins(ABL, N, f);
|
||||
afunclit(&p->to, f);
|
||||
if(proc == -1 || noreturn(p))
|
||||
|
@ -82,6 +82,19 @@ ginscall(Node *f, int proc)
|
||||
case 0: // normal call
|
||||
case -1: // normal call but no return
|
||||
if(f->op == ONAME && f->class == PFUNC) {
|
||||
if(f == deferreturn) {
|
||||
// Deferred calls will appear to be returning to
|
||||
// the CALL deferreturn(SB) that we are about to emit.
|
||||
// However, the stack trace code will show the line
|
||||
// of the instruction byte before the return PC.
|
||||
// To avoid that being an unrelated instruction,
|
||||
// insert an x86 NOP that we will have the right line number.
|
||||
// x86 NOP 0x90 is really XCHG AX, AX; use that description
|
||||
// because the NOP pseudo-instruction would be removed by
|
||||
// the linker.
|
||||
nodreg(®, types[TINT], D_AX);
|
||||
gins(AXCHGL, ®, ®);
|
||||
}
|
||||
p = gins(ACALL, N, f);
|
||||
afunclit(&p->to, f);
|
||||
if(proc == -1 || noreturn(p))
|
||||
|
@ -126,6 +126,19 @@ ginscall(Node *f, int proc)
|
||||
case 0: // normal call
|
||||
case -1: // normal call but no return
|
||||
if(f->op == ONAME && f->class == PFUNC) {
|
||||
if(f == deferreturn) {
|
||||
// Deferred calls will appear to be returning to
|
||||
// the CALL deferreturn(SB) that we are about to emit.
|
||||
// However, the stack trace code will show the line
|
||||
// of the instruction byte before the return PC.
|
||||
// To avoid that being an unrelated instruction,
|
||||
// insert an x86 NOP that we will have the right line number.
|
||||
// x86 NOP 0x90 is really XCHG AX, AX; use that description
|
||||
// because the NOP pseudo-instruction will be removed by
|
||||
// the linker.
|
||||
nodreg(®, types[TINT], D_AX);
|
||||
gins(AXCHGL, ®, ®);
|
||||
}
|
||||
p = gins(ACALL, N, f);
|
||||
afunclit(&p->to, f);
|
||||
if(proc == -1 || noreturn(p))
|
||||
|
38
test/fixedbugs/issue5856.go
Normal file
38
test/fixedbugs/issue5856.go
Normal file
@ -0,0 +1,38 @@
|
||||
// run
|
||||
|
||||
// Copyright 2013 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 (
|
||||
"fmt"
|
||||
"os"
|
||||
"runtime"
|
||||
"strings"
|
||||
)
|
||||
|
||||
func main() {
|
||||
f()
|
||||
panic("deferred function not run")
|
||||
}
|
||||
|
||||
var x = 1
|
||||
|
||||
func f() {
|
||||
if x == 0 {
|
||||
return
|
||||
}
|
||||
defer g()
|
||||
panic("panic")
|
||||
}
|
||||
|
||||
func g() {
|
||||
_, file, line, _ := runtime.Caller(2)
|
||||
if !strings.HasSuffix(file, "issue5856.go") || line != 28 {
|
||||
fmt.Printf("BUG: defer called from %s:%d, want issue5856.go:28\n", file, line)
|
||||
os.Exit(1)
|
||||
}
|
||||
os.Exit(0)
|
||||
}
|
Loading…
Reference in New Issue
Block a user