1 # Copyright 2018-2020 Free Software Foundation, Inc.
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.
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.
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/>.
16 # Test support for DW_OP_GNU_variable_value.
20 # This test can only be run on targets which support DWARF-2 and use gas.
21 if ![dwarf2_support] {
25 # We'll place the output of Dwarf::assemble in varval.S.
26 standard_testfile .c .S
28 # ${testfile} is now "varval". srcfile2 is "varval.S".
29 set executable ${testfile}
30 set asm_file [standard_output_file ${srcfile2}]
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.
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}] {
42 proc setup_exec { arg_bad } {
43 global asm_file executable srcfile bad
47 Dwarf::assemble ${asm_file} {
48 global srcdir subdir srcfile bad
52 {DW_AT_language @DW_LANG_C_plus_plus}
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 varval3_def_label varval3_decl_label \
59 int_array_label int_array_of_1_label
61 set int_size [get_sizeof "int" -1]
63 # gdb always assumes references are implemented as pointers.
64 set addr_size [get_sizeof "void *" -1]
66 int_label: DW_TAG_base_type {
67 {DW_AT_byte_size ${int_size} DW_FORM_udata}
68 {DW_AT_encoding @DW_ATE_signed}
72 ptr_label: DW_TAG_pointer_type {
73 {DW_AT_type :$int_label}
76 var_a_label: DW_TAG_variable {
78 {DW_AT_type :${int_label}}
79 {DW_AT_external 1 DW_FORM_flag}
80 {DW_AT_location {DW_OP_addr [gdb_target_symbol "var_a"]} SPECIAL_expr}
83 var_a_abstract_label: DW_TAG_variable {
84 {DW_AT_type :${int_label}}
85 {DW_AT_external 1 DW_FORM_flag}
88 var_b_label: DW_TAG_variable {
90 {DW_AT_type :${int_label}}
91 {DW_AT_external 1 DW_FORM_flag}
92 {DW_AT_location {DW_OP_addr [gdb_target_symbol "var_b"]} SPECIAL_expr}
95 var_c_label: DW_TAG_variable {
97 {DW_AT_type :${int_label}}
98 {DW_AT_external 1 DW_FORM_flag}
99 {DW_AT_const_value 53 DW_FORM_sdata}
102 var_p_label: DW_TAG_variable {
104 {DW_AT_type :${ptr_label}}
105 {DW_AT_external 1 DW_FORM_flag}
106 {DW_AT_location {DW_OP_addr [gdb_target_symbol "var_p"]} SPECIAL_expr}
110 var_bad_label: DW_TAG_variable {
111 {DW_AT_name "var_bad"}
112 {DW_AT_type :${int_label}}
113 {DW_AT_external 1 DW_FORM_flag}
117 struct_label: DW_TAG_structure_type {
118 {DW_AT_byte_size 8*$int_size DW_FORM_sdata}
122 {DW_AT_type :$int_label}
123 {DW_AT_data_member_location 0*$int_size DW_FORM_udata}
127 {DW_AT_type :$int_label}
128 {DW_AT_data_member_location 1*$int_size DW_FORM_udata}
132 {DW_AT_type :$int_label}
133 {DW_AT_data_member_location 2*$int_size DW_FORM_udata}
137 {DW_AT_type :$int_label}
138 {DW_AT_data_member_location 3*$int_size DW_FORM_udata}
142 {DW_AT_type :$int_label}
143 {DW_AT_data_member_location 4*$int_size DW_FORM_udata}
147 {DW_AT_type :$int_label}
148 {DW_AT_data_member_location 5*$int_size DW_FORM_udata}
152 {DW_AT_type :$int_label}
153 {DW_AT_data_member_location 6*$int_size DW_FORM_udata}
157 {DW_AT_type :$int_label}
158 {DW_AT_data_member_location 7*$int_size DW_FORM_udata}
162 var_s_label: DW_TAG_variable {
164 {DW_AT_type :${struct_label}}
165 {DW_AT_external 1 DW_FORM_flag}
166 {DW_AT_location {DW_OP_addr [gdb_target_symbol "var_s"]} SPECIAL_expr}
169 var_untyped_label: DW_TAG_variable {
170 {DW_AT_name "var_untyped"}
171 {DW_AT_external 1 DW_FORM_flag}
172 {DW_AT_location {DW_OP_addr [gdb_target_symbol "var_b"]} SPECIAL_expr}
175 int_array_label: DW_TAG_array_type {
176 {DW_AT_type :${int_label}}
178 DW_TAG_subrange_type {}
180 varval3_decl_label: DW_TAG_variable {
181 {DW_AT_name "varval3"}
182 {DW_AT_type :${int_array_label}}
183 {DW_AT_external 1 DW_FORM_flag}
184 {DW_AT_declaration 1 DW_FORM_flag}
186 int_array_of_1_label: DW_TAG_array_type {
187 {DW_AT_type :${int_label}}
189 DW_TAG_subrange_type {
190 {DW_AT_type :$int_label}
191 {DW_AT_upper_bound 0 DW_FORM_data1}
194 varval3_def_label: DW_TAG_variable {
195 {DW_AT_name "varval3"}
196 {DW_AT_external 1 DW_FORM_flag}
197 {DW_AT_type :${int_array_of_1_label}}
198 {DW_AT_location {DW_OP_addr [gdb_target_symbol "var_a"]} SPECIAL_expr}
202 {MACRO_AT_func { "main" "${srcdir}/${subdir}/${srcfile}" }}
203 {DW_AT_type :${int_label}}
204 {DW_AT_external 1 DW_FORM_flag}
206 varval_label: DW_TAG_variable {
207 {DW_AT_name "varval"}
208 {DW_AT_type :${int_label}}
210 DW_OP_GNU_variable_value ${var_a_label}
214 varval2_label: DW_TAG_variable {
215 {DW_AT_name "varval2"}
216 {DW_AT_type :${int_label}}
218 DW_OP_GNU_variable_value ${var_a_abstract_label}
222 var_a_concrete_label: DW_TAG_variable {
223 {DW_AT_abstract_origin :${var_a_abstract_label}}
224 {DW_AT_location {DW_OP_addr [gdb_target_symbol "var_a"]} SPECIAL_expr}
227 {DW_AT_name "constval"}
228 {DW_AT_type :${int_label}}
230 DW_OP_GNU_variable_value ${var_c_label}
235 {DW_AT_name "mixedval"}
236 {DW_AT_type :${int_label}}
238 DW_OP_GNU_variable_value ${var_c_label}
239 DW_OP_GNU_variable_value ${var_b_label}
241 DW_OP_GNU_variable_value ${varval_label}
245 DW_OP_GNU_variable_value ${varval_label}
251 {DW_AT_name "pointerval"}
252 {DW_AT_type :${ptr_label}}
254 DW_OP_GNU_variable_value ${var_p_label}
260 {DW_AT_name "badval"}
261 {DW_AT_type :${int_label}}
263 DW_OP_GNU_variable_value ${var_bad_label}
269 {DW_AT_name "structval"}
270 {DW_AT_type :${struct_label}}
272 DW_OP_GNU_variable_value ${var_s_label}
277 {DW_AT_name "untypedval"}
279 DW_OP_GNU_variable_value ${var_untyped_label}
285 {DW_AT_name "bad_die_val1"}
287 DW_OP_GNU_variable_value 0xabcdef11
292 {DW_AT_name "bad_die_val2"}
294 DW_OP_GNU_variable_value ${ptr_label}+1
304 if [prepare_for_testing "failed to prepare" ${executable} [list ${asm_file} ${srcfile}] {}] {
309 if { [setup_exec 0] == -1 } {
313 with_test_prefix "pre-main" {
314 gdb_test "print varval3" "= \\{8\\}" ""
317 # DW_OP_GNU_variable_value implementation requires a valid frame.
322 gdb_test "print varval" "= 8"
323 gdb_test "print varval2" "= 8"
324 gdb_test "print varval3" "= \\{8\\}"
325 gdb_test "print constval" "= 53"
326 gdb_test "print mixedval" "= 42"
327 gdb_test "print pointerval" "= \\(int \\*\\) $hex <var_b>"
328 gdb_test "print *pointerval" "= 3"
330 # Jakub says: "The intended behavior is that the debug info consumer
331 # computes the value of that referenced variable at the current PC,
332 # and if it can compute it and pushes the value as a generic type
333 # integer into the DWARF stack (it is really only meaningful when
334 # referring to integral/pointer typed variables)."
336 gdb_test "print structval" \
337 "Type of DW_OP_GNU_variable_value DIE must be an integer or pointer\\."
339 gdb_test "print untypedval" \
340 "Type of DW_OP_GNU_variable_value DIE must be an integer or pointer\\."
342 if { [setup_exec 1] == -1 } {
346 # DW_OP_GNU_variable_value implementation requires a valid frame.
350 gdb_test "print badval" "value has been optimized out"
351 gdb_test "print bad_die_val1" \
352 "invalid dwarf2 offset 0xabcdef11"
353 gdb_test "print bad_die_val2" \
354 "Bad DW_OP_GNU_variable_value DIE\\."