gdb/testsuite/gdb.dwarf2/varval.exp

   1 # Copyright 2018-2019 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
  42 proc setup_exec { arg_bad } {
  43     global asm_file executable srcfile bad
  44     set bad ${arg_bad}
  45
  46     # Create the DWARF.
  47     Dwarf::assemble ${asm_file} {
  48         global srcdir subdir srcfile bad
  49
  50         cu {} {
  51             DW_TAG_compile_unit {
  52                 {DW_AT_language @DW_LANG_C_plus_plus}
  53             } {
  54                 declare_labels int_label ptr_label struct_label var_a_label \
  55                     var_b_label var_c_label var_p_label var_bad_label \
  56                     varval_label var_s_label var_untyped_label \
  57                     var_a_abstract_label var_a_concrete_label \
  58                     varval2_label
  59
  60                 set int_size [get_sizeof "int" -1]
  61
  62                 # gdb always assumes references are implemented as pointers.
  63                 set addr_size [get_sizeof "void *" -1]
  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                 DW_TAG_subprogram {
 175                     {MACRO_AT_func { "main" "${srcdir}/${subdir}/${srcfile}" }}
 176                     {DW_AT_type :${int_label}}
 177                     {DW_AT_external 1 DW_FORM_flag}
 178                 } {
 179                     varval_label: DW_TAG_variable {
 180                         {DW_AT_name "varval"}
 181                         {DW_AT_type :${int_label}}
 182                         {DW_AT_location {
 183                             DW_OP_GNU_variable_value ${var_a_label}
 184                             DW_OP_stack_value
 185                         } SPECIAL_expr}
 186                     }
 187                     varval2_label: DW_TAG_variable {
 188                         {DW_AT_name "varval2"}
 189                         {DW_AT_type :${int_label}}
 190                         {DW_AT_location {
 191                             DW_OP_GNU_variable_value ${var_a_abstract_label}
 192                             DW_OP_stack_value
 193                         } SPECIAL_expr}
 194                     }
 195                     var_a_concrete_label: DW_TAG_variable {
 196                         {DW_AT_abstract_origin :${var_a_abstract_label}}
 197                         {DW_AT_location {DW_OP_addr [gdb_target_symbol "var_a"]} SPECIAL_expr}
 198                     }
 199                     DW_TAG_variable {
 200                         {DW_AT_name "constval"}
 201                         {DW_AT_type :${int_label}}
 202                         {DW_AT_location {
 203                             DW_OP_GNU_variable_value ${var_c_label}
 204                             DW_OP_stack_value
 205                         } SPECIAL_expr}
 206                     }
 207                     DW_TAG_variable {
 208                         {DW_AT_name "mixedval"}
 209                         {DW_AT_type :${int_label}}
 210                         {DW_AT_location {
 211                             DW_OP_GNU_variable_value ${var_c_label}
 212                             DW_OP_GNU_variable_value ${var_b_label}
 213                             DW_OP_div
 214                             DW_OP_GNU_variable_value ${varval_label}
 215                             DW_OP_plus
 216                             DW_OP_dup
 217                             DW_OP_plus
 218                             DW_OP_GNU_variable_value ${varval_label}
 219                             DW_OP_minus
 220                             DW_OP_stack_value
 221                         } SPECIAL_expr}
 222                     }
 223                     DW_TAG_variable {
 224                         {DW_AT_name "pointerval"}
 225                         {DW_AT_type :${ptr_label}}
 226                         {DW_AT_location {
 227                             DW_OP_GNU_variable_value ${var_p_label}
 228                             DW_OP_stack_value
 229                         } SPECIAL_expr}
 230                     }
 231                     if { $bad } {
 232                         DW_TAG_variable {
 233                             {DW_AT_name "badval"}
 234                             {DW_AT_type :${int_label}}
 235                             {DW_AT_location {
 236                                 DW_OP_GNU_variable_value ${var_bad_label}
 237                                 DW_OP_stack_value
 238                             } SPECIAL_expr}
 239                         }
 240                     }
 241                     DW_TAG_variable {
 242                         {DW_AT_name "structval"}
 243                         {DW_AT_type :${struct_label}}
 244                         {DW_AT_location {
 245                             DW_OP_GNU_variable_value ${var_s_label}
 246                             DW_OP_stack_value
 247                         } SPECIAL_expr}
 248                     }
 249                     DW_TAG_variable {
 250                         {DW_AT_name "untypedval"}
 251                         {DW_AT_location {
 252                             DW_OP_GNU_variable_value ${var_untyped_label}
 253                             DW_OP_stack_value
 254                         } SPECIAL_expr}
 255                     }
 256                     if { $bad } {
 257                         DW_TAG_variable {
 258                             {DW_AT_name "bad_die_val1"}
 259                             {DW_AT_location {
 260                                 DW_OP_GNU_variable_value 0xabcdef11
 261                                 DW_OP_stack_value
 262                             } SPECIAL_expr}
 263                         }
 264                         DW_TAG_variable {
 265                             {DW_AT_name "bad_die_val2"}
 266                             {DW_AT_location {
 267                                 DW_OP_GNU_variable_value ${ptr_label}+1
 268                                 DW_OP_stack_value
 269                             } SPECIAL_expr}
 270                         }
 271                     }
 272                 }
 273             }
 274         }
 275     }
 276
 277     if [prepare_for_testing "failed to prepare" ${executable} [list ${asm_file} ${srcfile}] {}] {
 278         return -1
 279     }
 280
 281     # DW_OP_GNU_variable_value implementation requires a valid frame.
 282     if ![runto_main] {
 283         return -1
 284     }
 285 }
 286
 287 if { [setup_exec 0] == -1 } {
 288     return -1
 289 }
 290
 291 gdb_test "print varval" "= 8"
 292 gdb_test "print varval2" "= 8"
 293 gdb_test "print constval" "= 53"
 294 gdb_test "print mixedval" "= 42"
 295 gdb_test "print pointerval" "= \\(int \\*\\) $hex <var_b>"
 296 gdb_test "print *pointerval" "= 3"
 297
 298 # Jakub says:  "The intended behavior is that the debug info consumer
 299 # computes the value of that referenced variable at the current PC,
 300 # and if it can compute it and pushes the value as a generic type
 301 # integer into the DWARF stack (it is really only meaningful when
 302 # referring to integral/pointer typed variables)."
 303
 304 gdb_test "print structval" \
 305          "Type of DW_OP_GNU_variable_value DIE must be an integer or pointer\\."
 306
 307 gdb_test "print untypedval" \
 308          "Type of DW_OP_GNU_variable_value DIE must be an integer or pointer\\."
 309
 310 if { [setup_exec 1] == -1 } {
 311     return -1
 312 }
 313
 314 gdb_test "print badval" "value has been optimized out"
 315 gdb_test "print bad_die_val1" \
 316          "invalid dwarf2 offset 0xabcdef11"
 317 gdb_test "print bad_die_val2" \
 318          "Bad DW_OP_GNU_variable_value DIE\\."