[v2,1/4,gdb/testsuite] Require address update for DW_LNE_end_sequence
Checks
Context |
Check |
Description |
linaro-tcwg-bot/tcwg_gdb_build--master-aarch64 |
success
|
Testing passed
|
linaro-tcwg-bot/tcwg_gdb_build--master-arm |
success
|
Testing passed
|
linaro-tcwg-bot/tcwg_gdb_check--master-arm |
success
|
Testing passed
|
linaro-tcwg-bot/tcwg_gdb_check--master-aarch64 |
success
|
Testing passed
|
Commit Message
With test-case gdb.dwarf2/dw2-epilogue-begin.exp, we have an end_sequence
entry with the same address as the line entry before it:
...
File name Line number Starting address View Stmt
dw2-epilogue-begin.c 44 0x4101e8 x
dw2-epilogue-begin.c 47 0x4101ec x
dw2-epilogue-begin.c - 0x4101ec
...
and consequently the line entry is removed by gdb:
...
INDEX LINE REL-ADDRESS UNREL-ADDRESS IS-STMT PRO EPI
0 20 0x00000000004101a8 0x00000000004101a8 Y Y Y
1 27 0x00000000004101b0 0x00000000004101b0 Y
2 32 0x00000000004101b8 0x00000000004101b8 Y Y
3 34 0x00000000004101c0 0x00000000004101c0 Y Y
4 35 0x00000000004101c8 0x00000000004101c8 Y
5 40 0x00000000004101d4 0x00000000004101d4 Y Y
6 44 0x00000000004101e8 0x00000000004101e8 Y
7 END 0x00000000004101ec 0x00000000004101ec Y
...
This is a common mistake in dwarf assembly test-cases.
Fix this by:
- requiring an address update for each DW_LNE_end_sequence, and
- fixing the test-cases where that triggers an error.
I also encountered the error in test-case gdb.dwarf2/dw2-bad-elf.exp, and in
this case I worked around it using "DW_LNS_advance_pc 0".
Tested on aarch64-linux.
PR testsuite/31592
Bug: https://sourceware.org/bugzilla/show_bug.cgi?id=31592
---
gdb/testsuite/gdb.base/until-trailing-insns.exp | 3 +--
gdb/testsuite/gdb.dwarf2/dw2-bad-elf.exp | 6 ++++++
.../gdb.dwarf2/dw2-disasm-over-non-stmt.exp | 1 -
gdb/testsuite/gdb.dwarf2/dw2-epilogue-begin.exp | 1 +
.../gdb.dwarf2/dw2-inline-small-func.exp | 2 ++
gdb/testsuite/gdb.dwarf2/dw2-prologue-end.exp | 1 +
gdb/testsuite/gdb.dwarf2/dw2-ranges-base.exp | 6 ------
gdb/testsuite/gdb.dwarf2/dw2-ranges-func.exp | 15 +++++----------
gdb/testsuite/gdb.dwarf2/fission-multi-cu.exp | 4 ----
.../gdb.dwarf2/locexpr-data-member-location.exp | 7 +++----
gdb/testsuite/lib/dwarf.exp | 13 +++++++++++++
11 files changed, 32 insertions(+), 27 deletions(-)
base-commit: 94a94c904da29bb733c19b5a0a168557c1819720
Comments
On 4/8/24 14:04, Tom de Vries wrote:
I've pushed this series.
Thanks,
- Tom
@@ -147,9 +147,8 @@ Dwarf::assemble $asm_file {
line [gdb_get_line_number "TAG: main return"]
DW_LNS_negate_stmt
DW_LNS_copy
+
DW_LNE_set_address $main_end
- line [expr [gdb_get_line_number "TAG: main return"] + 1]
- DW_LNS_copy
DW_LNE_end_sequence
}
}
@@ -128,9 +128,12 @@ Dwarf::assemble $asm_file {
DW_LNE_set_address [lindex $main_result 0]
DW_LNS_advance_line 10
DW_LNS_copy
+
DW_LNS_advance_pc [lindex $main_result 1]
DW_LNS_advance_line 19
DW_LNS_copy
+
+ DW_LNS_advance_pc 0
DW_LNE_end_sequence
}
}
@@ -144,9 +147,12 @@ Dwarf::assemble $asm_file {
DW_LNE_set_address some_func
DW_LNS_advance_line 5
DW_LNS_copy
+
DW_LNS_advance_pc 64
DW_LNS_advance_line 8
DW_LNS_copy
+
+ DW_LNS_advance_pc 0
DW_LNE_end_sequence
}
}
@@ -87,7 +87,6 @@ Dwarf::assemble $asm_file {
DW_LNS_copy
DW_LNE_set_address $main_end
- DW_LNS_copy
DW_LNE_end_sequence
}
}
@@ -134,6 +134,7 @@ Dwarf::assemble $asm_file {
DW_LNS_set_epilogue_begin
DW_LNS_copy
+ DW_LNE_set_address "$main_start + $main_len"
DW_LNE_end_sequence
}
}
@@ -108,6 +108,8 @@ Dwarf::assemble $asm_file {
DW_LNE_set_address line_label_3
DW_LNS_copy
+
+ DW_LNE_set_address "$main_start + $main_len"
DW_LNE_end_sequence
}
}
@@ -72,6 +72,7 @@ Dwarf::assemble $asm_file {
line [gdb_get_line_number "main end"]
DW_LNS_copy
+ DW_LNE_set_address "$main_start + $main_len"
DW_LNE_end_sequence
}
}
@@ -79,24 +79,18 @@ Dwarf::assemble $asm_file {
DW_LNS_advance_line 10
DW_LNS_copy
DW_LNS_advance_pc [lindex $main_func 1]
- DW_LNS_advance_line 19
- DW_LNS_copy
DW_LNE_end_sequence
DW_LNE_set_address [lindex $frame2_func 0]
DW_LNS_advance_line 20
DW_LNS_copy
DW_LNS_advance_pc [lindex $frame2_func 1]
- DW_LNS_advance_line 29
- DW_LNS_copy
DW_LNE_end_sequence
DW_LNE_set_address [lindex $frame3_func 0]
DW_LNS_advance_line 30
DW_LNS_copy
DW_LNS_advance_pc [lindex $frame3_func 1]
- DW_LNS_advance_line 39
- DW_LNS_copy
DW_LNE_end_sequence
}
}
@@ -133,9 +133,8 @@ proc do_test {suffix} {
DW_LNE_set_address main_label2
line [gdb_get_line_number "main return"]
DW_LNS_copy
+
DW_LNE_set_address $main_end
- line [expr [gdb_get_line_number "main end"] + 1]
- DW_LNS_copy
DW_LNE_end_sequence
DW_LNE_set_address $foo_start
@@ -150,25 +149,22 @@ proc do_test {suffix} {
DW_LNE_set_address foo_label3
line [gdb_get_line_number "foo end"]
DW_LNS_copy
+
DW_LNE_set_address $foo_end
- DW_LNS_advance_line 1
- DW_LNS_copy
DW_LNE_end_sequence
DW_LNE_set_address $bar_start
line [gdb_get_line_number "bar end"]
DW_LNS_copy
+
DW_LNS_advance_pc $bar_len
- DW_LNS_advance_line 1
- DW_LNS_copy
DW_LNE_end_sequence
DW_LNE_set_address $baz_start
line [gdb_get_line_number "baz end"]
DW_LNS_copy
+
DW_LNS_advance_pc $baz_len
- DW_LNS_advance_line 1
- DW_LNS_copy
DW_LNE_end_sequence
DW_LNE_set_address $foo_cold_start
@@ -180,9 +176,8 @@ proc do_test {suffix} {
DW_LNE_set_address foo_cold_label2
line [gdb_get_line_number "foo_cold end"]
DW_LNS_copy
+
DW_LNE_set_address $foo_cold_end
- DW_LNS_advance_line 1
- DW_LNS_copy
DW_LNE_end_sequence
}
}
@@ -93,8 +93,6 @@ Dwarf::assemble $asm_file_1 {
DW_LNS_copy
DW_LNE_set_address $func_end
- DW_LNS_advance_line 1
- DW_LNS_copy
DW_LNE_end_sequence
}
}
@@ -177,8 +175,6 @@ Dwarf::assemble $asm_file_2 {
DW_LNS_copy
DW_LNE_set_address $main_end
- DW_LNS_advance_line 2
- DW_LNS_copy
DW_LNE_end_sequence
}
}
@@ -283,11 +283,11 @@ Dwarf::assemble ${asm_file} {
DW_LNS_copy
line [gdb_get_line_number "foo end" $libsrc]
DW_LNS_copy
+
DW_LNE_set_address $foo_end
- DW_LNS_advance_line 1
- DW_LNS_copy
DW_LNE_end_sequence
+
DW_LNE_set_address $bar_start
line [gdb_get_line_number "bar prologue" $libsrc]
DW_LNS_copy
@@ -296,9 +296,8 @@ Dwarf::assemble ${asm_file} {
DW_LNS_copy
line [gdb_get_line_number "bar end" $libsrc]
DW_LNS_copy
+
DW_LNE_set_address $bar_end
- DW_LNS_advance_line 1
- DW_LNS_copy
DW_LNE_end_sequence
}
}
@@ -2545,13 +2545,17 @@ namespace eval Dwarf {
proc program { body } {
variable _line_header_end_label
variable _line
+ variable _line_address_update
set _line 1
+ set _line_address_update 0
_line_finalize_header
proc DW_LNE_set_address {addr} {
+ variable _line_address_update
+ set _line_address_update 1
_op .byte 0
set start [new_label "set_address_start"]
set end [new_label "set_address_end"]
@@ -2567,6 +2571,11 @@ namespace eval Dwarf {
}
proc DW_LNE_end_sequence {} {
+ variable _line_address_update
+ if { $_line_address_update == 0 } {
+ error "Missing address update for end_sequence"
+ }
+ set _line_address_update 0
variable _line
_op .byte 0
_op .uleb128 1
@@ -2591,6 +2600,8 @@ namespace eval Dwarf {
}
proc DW_LNS_copy {} {
+ variable _line_address_update
+ set _line_address_update 0
_op .byte 1
}
@@ -2607,6 +2618,8 @@ namespace eval Dwarf {
}
proc DW_LNS_advance_pc {offset} {
+ variable _line_address_update
+ set _line_address_update 1
_op .byte 2
_op .uleb128 ${offset}
}