gdb/testsuite/gdb.dwarf2/dynarr-ptr.exp

   1 # Copyright 2014-2023 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 load_lib dwarf.exp
  16
  17 # This test can only be run on targets which support DWARF-2 and use gas.
  18 if {![dwarf2_support]} {
  19     return 0
  20 }
  21
  22 standard_testfile .c -dw.S
  23
  24 # We need to know the size of integer and address types in order
  25 # to write some of the debugging info we'd like to generate.
  26 #
  27 # For that, we ask GDB by debugging our dynarr-ptr.c program.
  28 # Any program would do, but since we already have dynarr-ptr.c
  29 # specifically for this testcase, might as well use that.
  30
  31 if { [prepare_for_testing "failed to prepare" ${testfile} ${srcfile}] } {
  32     return -1
  33 }
  34
  35 # Make some DWARF for the test.
  36 set asm_file [standard_output_file $srcfile2]
  37 Dwarf::assemble $asm_file {
  38     cu {} {
  39         DW_TAG_compile_unit {
  40                 {DW_AT_language @DW_LANG_Ada95}
  41                 {DW_AT_name     foo.adb}
  42                 {DW_AT_comp_dir /tmp}
  43         } {
  44             declare_labels integer_label array_label array_ptr_label \
  45                 array_typedef_label
  46             set ptr_size [get_sizeof "void *" 96]
  47             set int_size [get_sizeof "int" 4]
  48
  49             integer_label: DW_TAG_base_type {
  50                 {DW_AT_byte_size $int_size DW_FORM_sdata}
  51                 {DW_AT_encoding  @DW_ATE_signed}
  52                 {DW_AT_name      integer}
  53             }
  54
  55             array_label: DW_TAG_array_type {
  56                 {DW_AT_name foo__array_type}
  57                 {DW_AT_type :$integer_label}
  58                 {external 1 flag}
  59             } {
  60                 DW_TAG_subrange_type {
  61                     {DW_AT_type        :$integer_label}
  62                     {DW_AT_lower_bound {
  63                         DW_OP_push_object_address
  64                         DW_OP_const1u [expr {2 * $int_size}]
  65                         DW_OP_minus
  66                         DW_OP_deref_size $int_size
  67                     } SPECIAL_expr}
  68                     {DW_AT_upper_bound {
  69                         DW_OP_push_object_address
  70                         DW_OP_const1u $int_size
  71                         DW_OP_minus
  72                         DW_OP_deref_size $int_size
  73                     } SPECIAL_expr}
  74                 }
  75             }
  76             array_ptr_label: DW_TAG_pointer_type {
  77                 {DW_AT_byte_size $ptr_size DW_FORM_data1}
  78                 {DW_AT_type :$array_label}
  79             }
  80             array_typedef_label: DW_TAG_typedef {
  81                 {DW_AT_name "foo__array_ptr"}
  82                 {DW_AT_type :$array_ptr_label}
  83             }
  84             DW_TAG_variable {
  85                 {DW_AT_name foo__three_ptr}
  86                 {DW_AT_type :$array_ptr_label}
  87                 {DW_AT_location {
  88                     DW_OP_addr [gdb_target_symbol table_1_ptr]
  89                 } SPECIAL_expr}
  90                 {external 1 flag}
  91             }
  92             DW_TAG_variable {
  93                 {DW_AT_name foo__three_ptr_tdef}
  94                 {DW_AT_type :$array_typedef_label}
  95                 {DW_AT_location {
  96                     DW_OP_addr [gdb_target_symbol table_1_ptr]
  97                 } SPECIAL_expr}
  98                 {external 1 flag}
  99             }
 100             DW_TAG_variable {
 101                 {DW_AT_name foo__five_ptr}
 102                 {DW_AT_type :$array_ptr_label}
 103                 {DW_AT_location {
 104                     DW_OP_addr [gdb_target_symbol table_2_ptr]
 105                 } SPECIAL_expr}
 106                 {external 1 flag}
 107             }
 108             DW_TAG_variable {
 109                 {DW_AT_name foo__five_ptr_tdef}
 110                 {DW_AT_type :$array_typedef_label}
 111                 {DW_AT_location {
 112                     DW_OP_addr [gdb_target_symbol table_2_ptr]
 113                 } SPECIAL_expr}
 114                 {external 1 flag}
 115             }
 116         }
 117     }
 118 }
 119
 120 # Now that we've generated the DWARF debugging info, rebuild our
 121 # program using our debug info instead of the info generated by
 122 # the compiler.
 123
 124 if { [prepare_for_testing "failed to prepare" ${testfile} \
 125           [list $srcfile $asm_file] {nodebug}] } {
 126     return -1
 127 }
 128
 129 if ![runto_main] {
 130     return -1
 131 }
 132
 133 gdb_test_no_output "set language ada"
 134
 135 # foo.three_ptr.all
 136
 137 gdb_test "print foo.three_ptr.all" \
 138          " = \\(1, 2, 3\\)"
 139
 140 gdb_test "print foo.three_ptr.all(1)" \
 141          " = 1"
 142
 143 gdb_test "print foo.three_ptr.all(2)" \
 144          " = 2"
 145
 146 gdb_test "print foo.three_ptr.all(3)" \
 147          " = 3"
 148
 149 gdb_test "print foo.three_ptr.all'first" \
 150          " = 1"
 151
 152 gdb_test "print foo.three_ptr.all'last" \
 153          " = 3"
 154
 155 gdb_test "print foo.three_ptr.all'length" \
 156          " = 3"
 157
 158 gdb_test "ptype foo.three_ptr.all" \
 159          " = array \\(<>\\) of integer"
 160
 161 # foo.three_ptr
 162
 163 gdb_test "print foo.three_ptr(1)" \
 164          " = 1"
 165
 166 gdb_test "print foo.three_ptr(2)" \
 167          " = 2"
 168
 169 gdb_test "print foo.three_ptr(3)" \
 170          " = 3"
 171
 172 gdb_test "print foo.three_ptr'first" \
 173          " = 1"
 174
 175 gdb_test "print foo.three_ptr'last" \
 176          " = 3"
 177
 178 gdb_test "print foo.three_ptr'length" \
 179          " = 3"
 180
 181 gdb_test "ptype foo.three_ptr" \
 182          " = access array \\(<>\\) of integer"
 183
 184 # foo.three_ptr_tdef.all
 185
 186 gdb_test "print foo.three_ptr_tdef.all" \
 187          " = \\(1, 2, 3\\)"
 188
 189 gdb_test "print foo.three_ptr_tdef.all(1)" \
 190          " = 1"
 191
 192 gdb_test "print foo.three_ptr_tdef.all(2)" \
 193          " = 2"
 194
 195 gdb_test "print foo.three_ptr_tdef.all(3)" \
 196          " = 3"
 197
 198 gdb_test "print foo.three_ptr_tdef.all'first" \
 199          " = 1"
 200
 201 gdb_test "print foo.three_ptr_tdef.all'last" \
 202          " = 3"
 203
 204 gdb_test "print foo.three_ptr_tdef.all'length" \
 205          " = 3"
 206
 207 gdb_test "ptype foo.three_ptr_tdef.all" \
 208          " = array \\(<>\\) of integer"
 209
 210 # foo.three_ptr_tdef
 211
 212 gdb_test "print foo.three_ptr_tdef(1)" \
 213          " = 1"
 214
 215 gdb_test "print foo.three_ptr_tdef(2)" \
 216          " = 2"
 217
 218 gdb_test "print foo.three_ptr_tdef(3)" \
 219          " = 3"
 220
 221 gdb_test "print foo.three_ptr_tdef'first" \
 222          " = 1"
 223
 224 gdb_test "print foo.three_ptr_tdef'last" \
 225          " = 3"
 226
 227 gdb_test "print foo.three_ptr_tdef'length" \
 228          " = 3"
 229
 230 gdb_test "ptype foo.three_ptr_tdef" \
 231          " = access array \\(<>\\) of integer"
 232
 233 # foo.five_ptr.all
 234
 235 gdb_test "print foo.five_ptr.all" \
 236          " = \\(2 => 5, 8, 13, 21, 34\\)"
 237
 238 gdb_test "print foo.five_ptr.all(2)" \
 239          " = 5"
 240
 241 gdb_test "print foo.five_ptr.all(3)" \
 242          " = 8"
 243
 244 gdb_test "print foo.five_ptr.all(4)" \
 245          " = 13"
 246
 247 gdb_test "print foo.five_ptr.all(5)" \
 248          " = 21"
 249
 250 gdb_test "print foo.five_ptr.all(6)" \
 251          " = 34"
 252
 253 gdb_test "print foo.five_ptr.all'first" \
 254          " = 2"
 255
 256 gdb_test "print foo.five_ptr.all'last" \
 257          " = 6"
 258
 259 gdb_test "print foo.five_ptr.all'length" \
 260          " = 5"
 261
 262 gdb_test "ptype foo.five_ptr.all" \
 263          " = array \\(<>\\) of integer"
 264
 265 # foo.five_ptr
 266
 267 gdb_test "print foo.five_ptr(2)" \
 268          " = 5"
 269
 270 gdb_test "print foo.five_ptr(3)" \
 271          " = 8"
 272
 273 gdb_test "print foo.five_ptr(4)" \
 274          " = 13"
 275
 276 gdb_test "print foo.five_ptr(5)" \
 277          " = 21"
 278
 279 gdb_test "print foo.five_ptr(6)" \
 280          " = 34"
 281
 282 gdb_test "print foo.five_ptr'first" \
 283          " = 2"
 284
 285 gdb_test "print foo.five_ptr'last" \
 286          " = 6"
 287
 288 gdb_test "print foo.five_ptr'length" \
 289          " = 5"
 290
 291 gdb_test "ptype foo.five_ptr" \
 292          " = access array \\(<>\\) of integer"
 293
 294 # foo.five_ptr_tdef.all
 295
 296 gdb_test "print foo.five_ptr_tdef.all" \
 297          " = \\(2 => 5, 8, 13, 21, 34\\)"
 298
 299 gdb_test "print foo.five_ptr_tdef.all(2)" \
 300          " = 5"
 301
 302 gdb_test "print foo.five_ptr_tdef.all(3)" \
 303          " = 8"
 304
 305 gdb_test "print foo.five_ptr_tdef.all(4)" \
 306          " = 13"
 307
 308 gdb_test "print foo.five_ptr_tdef.all(5)" \
 309          " = 21"
 310
 311 gdb_test "print foo.five_ptr_tdef.all(6)" \
 312          " = 34"
 313
 314 gdb_test "print foo.five_ptr_tdef.all'first" \
 315          " = 2"
 316
 317 gdb_test "print foo.five_ptr_tdef.all'last" \
 318          " = 6"
 319
 320 gdb_test "print foo.five_ptr_tdef.all'length" \
 321          " = 5"
 322
 323 gdb_test "ptype foo.five_ptr_tdef.all" \
 324          " = array \\(<>\\) of integer"
 325
 326 # foo.five_ptr_tdef
 327
 328 gdb_test "print foo.five_ptr_tdef(2)" \
 329          " = 5"
 330
 331 gdb_test "print foo.five_ptr_tdef(3)" \
 332          " = 8"
 333
 334 gdb_test "print foo.five_ptr_tdef(4)" \
 335          " = 13"
 336
 337 gdb_test "print foo.five_ptr_tdef(5)" \
 338          " = 21"
 339
 340 gdb_test "print foo.five_ptr_tdef(6)" \
 341          " = 34"
 342
 343 gdb_test "print foo.five_ptr_tdef'first" \
 344          " = 2"
 345
 346 gdb_test "print foo.five_ptr_tdef'last" \
 347          " = 6"
 348
 349 gdb_test "print foo.five_ptr_tdef'length" \
 350          " = 5"
 351
 352 gdb_test "ptype foo.five_ptr_tdef" \
 353          " = access array \\(<>\\) of integer"