gdb/testsuite/gdb.dwarf2/varval.exp

   1 # Copyright 2018-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
  16 # Test support for DW_OP_GNU_variable_value.
  17
  18 load_lib dwarf.exp
  19
  20 # This test can only be run on targets which support DWARF-2 and use gas.
  21 if ![dwarf2_support] {
  22     return 0
  23 }
  24
  25 # We'll place the output of Dwarf::assemble in varval.S.
  26 standard_testfile .c .S
  27
  28 # ${testfile} is now "varval".  srcfile2 is "varval.S".
  29 set executable ${testfile}
  30 set asm_file [standard_output_file ${srcfile2}]
  31
  32 # We need to know the size of integer and address types in order
  33 # to write some of the debugging info we'd like to generate.
  34 #
  35 # For that, we ask GDB by debugging our varval program.
  36 # Any program would do, but since we already have varval
  37 # specifically for this testcase, might as well use that.
  38 if [prepare_for_testing "failed to prepare" ${testfile} ${srcfile}] {
  39     return -1
  40 }
  41 set int_size [get_sizeof "int" -1]
  42 # gdb always assumes references are implemented as pointers.
  43 set addr_size [get_sizeof "void *" -1]
  44
  45 proc setup_exec { arg_bad } {
  46     global asm_file executable srcfile bad
  47     set bad ${arg_bad}
  48
  49     # Create the DWARF.
  50     Dwarf::assemble ${asm_file} {
  51         global bad int_size addr_size
  52
  53         cu {} {
  54             DW_TAG_compile_unit {
  55                 {DW_AT_language @DW_LANG_C_plus_plus}
  56             } {
  57                 declare_labels int_label ptr_label struct_label var_a_label \
  58                     var_b_label var_c_label var_p_label var_bad_label \
  59                     varval_label var_s_label var_untyped_label \
  60                     var_a_abstract_label var_a_concrete_label \
  61                     varval2_label varval3_def_label varval3_decl_label \
  62                     int_array_label int_array_of_1_label
  63
  64
  65                 int_label: DW_TAG_base_type {
  66                     {DW_AT_byte_size ${int_size} DW_FORM_udata}
  67                     {DW_AT_encoding @DW_ATE_signed}
  68                     {DW_AT_name "int"}
  69                 }
  70
  71                 ptr_label: DW_TAG_pointer_type {
  72                     {DW_AT_type :$int_label}
  73                 }
  74
  75                 var_a_label: DW_TAG_variable {
  76                     {DW_AT_name "var_a"}
  77                     {DW_AT_type :${int_label}}
  78                     {DW_AT_external 1 DW_FORM_flag}
  79                     {DW_AT_location {DW_OP_addr [gdb_target_symbol "var_a"]} SPECIAL_expr}
  80                 }
  81
  82                 var_a_abstract_label: DW_TAG_variable {
  83                     {DW_AT_type :${int_label}}
  84                     {DW_AT_external 1 DW_FORM_flag}
  85                 }
  86
  87                 var_b_label: DW_TAG_variable {
  88                     {DW_AT_name "var_b"}
  89                     {DW_AT_type :${int_label}}
  90                     {DW_AT_external 1 DW_FORM_flag}
  91                     {DW_AT_location {DW_OP_addr [gdb_target_symbol "var_b"]} SPECIAL_expr}
  92                 }
  93
  94                 var_c_label: DW_TAG_variable {
  95                     {DW_AT_name "var_c"}
  96                     {DW_AT_type :${int_label}}
  97                     {DW_AT_external 1 DW_FORM_flag}
  98                     {DW_AT_const_value 53 DW_FORM_sdata}
  99                 }
 100
 101                 var_p_label: DW_TAG_variable {
 102                     {DW_AT_name "var_p"}
 103                     {DW_AT_type :${ptr_label}}
 104                     {DW_AT_external 1 DW_FORM_flag}
 105                     {DW_AT_location {DW_OP_addr [gdb_target_symbol "var_p"]} SPECIAL_expr}
 106                 }
 107
 108                 if { $bad } {
 109                     var_bad_label: DW_TAG_variable {
 110                         {DW_AT_name "var_bad"}
 111                         {DW_AT_type :${int_label}}
 112                         {DW_AT_external 1 DW_FORM_flag}
 113                     }
 114                 }
 115
 116                 struct_label: DW_TAG_structure_type {
 117                     {DW_AT_byte_size 8*$int_size DW_FORM_sdata}
 118                 } {
 119                     DW_TAG_member {
 120                         {DW_AT_name "a"}
 121                         {DW_AT_type :$int_label}
 122                         {DW_AT_data_member_location 0*$int_size DW_FORM_udata}
 123                     }
 124                     DW_TAG_member {
 125                         {DW_AT_name "b"}
 126                         {DW_AT_type :$int_label}
 127                         {DW_AT_data_member_location 1*$int_size DW_FORM_udata}
 128                     }
 129                     DW_TAG_member {
 130                         {DW_AT_name "c"}
 131                         {DW_AT_type :$int_label}
 132                         {DW_AT_data_member_location 2*$int_size DW_FORM_udata}
 133                     }
 134                     DW_TAG_member {
 135                         {DW_AT_name "d"}
 136                         {DW_AT_type :$int_label}
 137                         {DW_AT_data_member_location 3*$int_size DW_FORM_udata}
 138                     }
 139                     DW_TAG_member {
 140                         {DW_AT_name "e"}
 141                         {DW_AT_type :$int_label}
 142                         {DW_AT_data_member_location 4*$int_size DW_FORM_udata}
 143                     }
 144                     DW_TAG_member {
 145                         {DW_AT_name "f"}
 146                         {DW_AT_type :$int_label}
 147                         {DW_AT_data_member_location 5*$int_size DW_FORM_udata}
 148                     }
 149                     DW_TAG_member {
 150                         {DW_AT_name "g"}
 151                         {DW_AT_type :$int_label}
 152                         {DW_AT_data_member_location 6*$int_size DW_FORM_udata}
 153                     }
 154                     DW_TAG_member {
 155                         {DW_AT_name "h"}
 156                         {DW_AT_type :$int_label}
 157                         {DW_AT_data_member_location 7*$int_size DW_FORM_udata}
 158                     }
 159                 }
 160
 161                 var_s_label: DW_TAG_variable {
 162                     {DW_AT_name "var_s"}
 163                     {DW_AT_type :${struct_label}}
 164                     {DW_AT_external 1 DW_FORM_flag}
 165                     {DW_AT_location {DW_OP_addr [gdb_target_symbol "var_s"]} SPECIAL_expr}
 166                 }
 167
 168                 var_untyped_label: DW_TAG_variable {
 169                     {DW_AT_name "var_untyped"}
 170                     {DW_AT_external 1 DW_FORM_flag}
 171                     {DW_AT_location {DW_OP_addr [gdb_target_symbol "var_b"]} SPECIAL_expr}
 172                 }
 173
 174                 int_array_label: DW_TAG_array_type {
 175                     {DW_AT_type :${int_label}}
 176                 } {
 177                     DW_TAG_subrange_type {}
 178                 }
 179                 varval3_decl_label: DW_TAG_variable {
 180                     {DW_AT_name "varval3"}
 181                     {DW_AT_type :${int_array_label}}
 182                     {DW_AT_external 1 DW_FORM_flag}
 183                     {DW_AT_declaration 1 DW_FORM_flag}
 184                 }
 185                 int_array_of_1_label: DW_TAG_array_type {
 186                     {DW_AT_type :${int_label}}
 187                 } {
 188                     DW_TAG_subrange_type {
 189                         {DW_AT_type        :$int_label}
 190                         {DW_AT_upper_bound 0 DW_FORM_data1}
 191                     }
 192                 }
 193                 varval3_def_label: DW_TAG_variable {
 194                     {DW_AT_name "varval3"}
 195                     {DW_AT_external 1 DW_FORM_flag}
 196                     {DW_AT_type :${int_array_of_1_label}}
 197                     {DW_AT_location {DW_OP_addr [gdb_target_symbol "var_a"]} SPECIAL_expr}
 198                 }
 199
 200                 DW_TAG_subprogram {
 201                     {MACRO_AT_func { "main" }}
 202                     {DW_AT_type :${int_label}}
 203                     {DW_AT_external 1 DW_FORM_flag}
 204                 } {
 205                     varval_label: DW_TAG_variable {
 206                         {DW_AT_name "varval"}
 207                         {DW_AT_type :${int_label}}
 208                         {DW_AT_location {
 209                             DW_OP_GNU_variable_value ${var_a_label}
 210                             DW_OP_const1s 0
 211                             DW_OP_or
 212                             DW_OP_stack_value
 213                         } SPECIAL_expr}
 214                     }
 215                     varval2_label: DW_TAG_variable {
 216                         {DW_AT_name "varval2"}
 217                         {DW_AT_type :${int_label}}
 218                         {DW_AT_location {
 219                             DW_OP_GNU_variable_value ${var_a_abstract_label}
 220                             DW_OP_stack_value
 221                         } SPECIAL_expr}
 222                     }
 223                     var_a_concrete_label: DW_TAG_variable {
 224                         {DW_AT_abstract_origin :${var_a_abstract_label}}
 225                         {DW_AT_location {DW_OP_addr [gdb_target_symbol "var_a"]} SPECIAL_expr}
 226                     }
 227                     DW_TAG_variable {
 228                         {DW_AT_name "constval"}
 229                         {DW_AT_type :${int_label}}
 230                         {DW_AT_location {
 231                             DW_OP_GNU_variable_value ${var_c_label}
 232                             DW_OP_stack_value
 233                         } SPECIAL_expr}
 234                     }
 235                     DW_TAG_variable {
 236                         {DW_AT_name "mixedval"}
 237                         {DW_AT_type :${int_label}}
 238                         {DW_AT_location {
 239                             DW_OP_GNU_variable_value ${var_c_label}
 240                             DW_OP_GNU_variable_value ${var_b_label}
 241                             DW_OP_div
 242                             DW_OP_GNU_variable_value ${varval_label}
 243                             DW_OP_plus
 244                             DW_OP_dup
 245                             DW_OP_plus
 246                             DW_OP_GNU_variable_value ${varval_label}
 247                             DW_OP_minus
 248                             DW_OP_stack_value
 249                         } SPECIAL_expr}
 250                     }
 251                     DW_TAG_variable {
 252                         {DW_AT_name "pointerval"}
 253                         {DW_AT_type :${ptr_label}}
 254                         {DW_AT_location {
 255                             DW_OP_GNU_variable_value ${var_p_label}
 256                             DW_OP_stack_value
 257                         } SPECIAL_expr}
 258                     }
 259                     if { $bad } {
 260                         DW_TAG_variable {
 261                             {DW_AT_name "badval"}
 262                             {DW_AT_type :${int_label}}
 263                             {DW_AT_location {
 264                                 DW_OP_GNU_variable_value ${var_bad_label}
 265                                 DW_OP_stack_value
 266                             } SPECIAL_expr}
 267                         }
 268                     }
 269                     DW_TAG_variable {
 270                         {DW_AT_name "structval"}
 271                         {DW_AT_type :${struct_label}}
 272                         {DW_AT_location {
 273                             DW_OP_GNU_variable_value ${var_s_label}
 274                             DW_OP_stack_value
 275                         } SPECIAL_expr}
 276                     }
 277                     DW_TAG_variable {
 278                         {DW_AT_name "untypedval"}
 279                         {DW_AT_location {
 280                             DW_OP_GNU_variable_value ${var_untyped_label}
 281                             DW_OP_stack_value
 282                         } SPECIAL_expr}
 283                     }
 284                     if { $bad } {
 285                         DW_TAG_variable {
 286                             {DW_AT_name "bad_die_val1"}
 287                             {DW_AT_location {
 288                                 DW_OP_GNU_variable_value 0xabcdef11
 289                                 DW_OP_stack_value
 290                             } SPECIAL_expr}
 291                         }
 292                         DW_TAG_variable {
 293                             {DW_AT_name "bad_die_val2"}
 294                             {DW_AT_location {
 295                                 DW_OP_GNU_variable_value ${ptr_label}+1
 296                                 DW_OP_stack_value
 297                             } SPECIAL_expr}
 298                         }
 299                     }
 300                 }
 301             }
 302         }
 303     }
 304
 305     if [prepare_for_testing "failed to prepare" ${executable} [list ${asm_file} ${srcfile}] {}] {
 306         return -1
 307     }
 308 }
 309
 310 if { [setup_exec 0] == -1 } {
 311     return -1
 312 }
 313
 314 with_test_prefix "pre-main" {
 315     gdb_test "print varval3" "= \\{8\\}" ""
 316 }
 317
 318 # DW_OP_GNU_variable_value implementation requires a valid frame.
 319 if ![runto_main] {
 320     return -1
 321 }
 322
 323 gdb_test "print varval" "= 8"
 324 gdb_test "print varval2" "= 8"
 325 gdb_test "print varval3" "= \\{8\\}"
 326 gdb_test "print constval" "= 53"
 327 gdb_test "print mixedval" "= 42"
 328 gdb_test "print pointerval" "= \\(int \\*\\) $hex <var_b>"
 329 gdb_test "print *pointerval" "= 3"
 330
 331 # Jakub says:  "The intended behavior is that the debug info consumer
 332 # computes the value of that referenced variable at the current PC,
 333 # and if it can compute it and pushes the value as a generic type
 334 # integer into the DWARF stack (it is really only meaningful when
 335 # referring to integral/pointer typed variables)."
 336
 337 gdb_test "print structval" \
 338          "Type of DW_OP_GNU_variable_value DIE must be an integer or pointer\\."
 339
 340 gdb_test "print untypedval" \
 341          "Type of DW_OP_GNU_variable_value DIE must be an integer or pointer\\."
 342
 343 if { [setup_exec 1] == -1 } {
 344     return -1
 345 }
 346
 347 # DW_OP_GNU_variable_value implementation requires a valid frame.
 348 if ![runto_main] {
 349     return -1
 350 }
 351 gdb_test "print badval" "value has been optimized out"
 352 gdb_test "print bad_die_val1" \
 353          "invalid dwarf2 offset 0xabcdef11"
 354 gdb_test "print bad_die_val2" \
 355          "Bad DW_OP_GNU_variable_value DIE\\."