gdb/testsuite/gdb.dwarf2/dw2-is-stmt-2.exp

   1 # Copyright 2020-2022 Free Software Foundation, Inc.
   2
   3 # This program is free software; you can redistribute it and/or modify
   4 # it under the terms of the GNU General Public License as published by
   5 # the Free Software Foundation; either version 3 of the License, or
   6 # (at your option) any later version.
   7 #
   8 # This program is distributed in the hope that it will be useful,
   9 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  10 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  11 # GNU General Public License for more details.
  12 #
  13 # You should have received a copy of the GNU General Public License
  14 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
  15
  16 # This test shows the importance of not corrupting the order of line
  17 # table information.  When multiple lines are given for the same
  18 # address the compiler usually lists these in the order in which we
  19 # would expect to encounter them.  When stepping through nested inline
  20 # frames the last line given for an address is assumed by GDB to be
  21 # the most inner frame, and this is what GDB displays.
  22 #
  23 # If we corrupt the order of the line table entries then GDB will
  24 # display the wrong line as being the inner most frame.
  25
  26 load_lib dwarf.exp
  27
  28 # This test can only be run on targets which support DWARF-2 and use gas.
  29 if {![dwarf2_support]} {
  30     return 0
  31 }
  32
  33 # The .c files use __attribute__.
  34 if [get_compiler_info] {
  35     return -1
  36 }
  37 if !$gcc_compiled {
  38     return 0
  39 }
  40
  41 standard_testfile .c .S
  42
  43 set asm_file [standard_output_file $srcfile2]
  44 Dwarf::assemble $asm_file {
  45     global srcdir subdir srcfile
  46     declare_labels lines_label
  47
  48     get_func_info main
  49
  50     cu {} {
  51         compile_unit {
  52             {language @DW_LANG_C}
  53             {name dw2-is-stmt.c}
  54             {low_pc 0 addr}
  55             {stmt_list ${lines_label} DW_FORM_sec_offset}
  56         } {
  57             subprogram {
  58                 {external 1 flag}
  59                 {name main}
  60                 {low_pc $main_start addr}
  61                 {high_pc "$main_start + $main_len" addr}
  62             } {}
  63         }
  64     }
  65
  66     lines {version 2 default_is_stmt 1} lines_label {
  67         include_dir "${srcdir}/${subdir}"
  68         file_name "$srcfile" 1
  69
  70         program {
  71             {DW_LNE_set_address main}
  72             {line [gdb_get_line_number "main prologue"]}
  73             {DW_LNS_copy}
  74
  75             {DW_LNE_set_address line_label_0}
  76             {line [gdb_get_line_number "main start"]}
  77             {DW_LNS_copy}
  78
  79             {DW_LNE_set_address line_label_1}
  80             {line [gdb_get_line_number "Line 1"]}
  81             {DW_LNS_negate_stmt}
  82             {DW_LNS_copy}
  83
  84             {DW_LNE_set_address line_label_2}
  85             {DW_LNS_negate_stmt}
  86             {DW_LNS_copy}
  87
  88             {DW_LNE_set_address line_label_3}
  89             {line [gdb_get_line_number "Line 2"]}
  90             {DW_LNS_negate_stmt}
  91             {DW_LNS_copy}
  92
  93             {DW_LNE_set_address line_label_4}
  94             {line [gdb_get_line_number "Line 1"]}
  95             {DW_LNS_copy}
  96
  97             {DW_LNE_set_address line_label_5}
  98             {line [gdb_get_line_number "Line 3"]}
  99             {DW_LNS_copy}
 100
 101             {DW_LNE_set_address line_label_6}
 102             {line [gdb_get_line_number "Line 4"]}
 103             {DW_LNS_copy}
 104
 105             {DW_LNE_set_address line_label_7}
 106             {DW_LNS_negate_stmt}
 107             {DW_LNS_copy}
 108
 109             {DW_LNE_set_address line_label_8}
 110             {line [gdb_get_line_number "Line 2"]}
 111             {DW_LNS_copy}
 112
 113             {DW_LNE_set_address line_label_9}
 114             {DW_LNS_negate_stmt}
 115             {DW_LNS_copy}
 116
 117             {DW_LNE_set_address line_label_10}
 118             {line [gdb_get_line_number "Line 3"]}
 119             {DW_LNS_copy}
 120
 121             {DW_LNE_set_address line_label_11}
 122             {line [gdb_get_line_number "Line 5"]}
 123             {DW_LNS_copy}
 124
 125             {DW_LNE_set_address line_label_12}
 126             {DW_LNS_negate_stmt}
 127             {DW_LNS_copy}
 128
 129             {DW_LNE_set_address line_label_13}
 130             {line [gdb_get_line_number "Line 3"]}
 131             {DW_LNS_copy}
 132
 133             {DW_LNE_set_address line_label_14}
 134             {line [gdb_get_line_number "Line 4"]}
 135             {DW_LNS_negate_stmt}
 136             {DW_LNS_copy}
 137
 138             {DW_LNE_set_address line_label_15}
 139             {line [gdb_get_line_number "Line 5"]}
 140             {DW_LNS_copy}
 141
 142             {DW_LNE_set_address line_label_16}
 143             {line [gdb_get_line_number "main end"]}
 144             {DW_LNS_negate_stmt}
 145             {DW_LNS_copy}
 146
 147             {DW_LNE_set_address ${main_end}}
 148             {DW_LNE_end_sequence}
 149         }
 150     }
 151 }
 152
 153 if { [prepare_for_testing "failed to prepare" ${testfile} \
 154           [list $srcfile $asm_file] {nodebug}] } {
 155     return -1
 156 }
 157
 158 if ![runto_main] {
 159     return -1
 160 }
 161
 162 # Check stepping through the out of order lines gives the experience
 163 # we expect; lines in the correct order, and stop at the correct
 164 # labels.Q
 165 set locs { { "Line 1." "line_label_2" } \
 166                { "Line 4." "line_label_7" } \
 167                { "Line 2." "line_label_8" } \
 168                { "Line 5." "line_label_12" } \
 169                { "Line 3." "line_label_13" } }
 170 foreach entry $locs {
 171     set pattern [lindex $entry 0]
 172     set label  [lindex $entry 1]
 173
 174     set linum [gdb_get_line_number "$pattern"]
 175     gdb_test "step" "\r\n$linum\[ \t\]+/\\* $pattern  \\*/" \
 176         "step to $pattern"
 177
 178     set pc [get_hexadecimal_valueof "\$pc" "NO-PC" \
 179                "read \$pc at $pattern"]
 180     set val [get_hexadecimal_valueof "&${label}" "INVALID"]
 181     gdb_assert { $pc == $val } \
 182         "check pc at $pattern"
 183 }
 184
 185 # Now restart the test, and this time, single instruction step
 186 # through.  This is checking that the is-stmt marked lines are
 187 # displayed differently (without addresses) to addresses that are
 188 # mid-way through a line, or not marked as is-stmt.
 189 clean_restart $binfile
 190 runto_main
 191
 192 foreach entry $locs {
 193     set pattern [lindex $entry 0]
 194     set label  [lindex $entry 1]
 195
 196     with_test_prefix "stepi to $label" {
 197         # If can take many instruction steps to get to the next label.
 198         set i 0
 199         set pc [get_hexadecimal_valueof "\$pc" "NO-PC" ]
 200         set val [get_hexadecimal_valueof "&${label}" "INVALID"]
 201         while { $pc < $val } {
 202             incr i
 203             set line_changed -1
 204             gdb_test_multiple "stepi" "stepi $i" {
 205                 -re "\r\n$hex\[ \t\]+$decimal\[^\r\n\]+\r\n$gdb_prompt" {
 206                     set line_changed 0
 207                 }
 208                 -re "\r\n$decimal\[ \t\]+/\\* $pattern  \\*/\r\n$gdb_prompt" {
 209                     set line_changed 1
 210                 }
 211             }
 212             gdb_assert { $line_changed != -1 } \
 213                 "ensure we saw a valid pattern, $i"
 214             set pc [get_hexadecimal_valueof "\$pc" "NO-PC" \
 215                         "get pc inside stepi loop, $i"]
 216             if { $pc == $val } {
 217                 gdb_assert { $line_changed } \
 218                     "line must change at $label"
 219             } else {
 220                 gdb_assert { !$line_changed } "same line $i"
 221             }
 222         }
 223     }
 224 }