Commit | Line | Data |
---|---|---|
88b9d363 | 1 | # Copyright 2013-2022 Free Software Foundation, Inc. |
b2e2f908 DE |
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 PR 18258. | |
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 | ||
8c161360 | 25 | standard_testfile main.c -1.S -2.c |
b2e2f908 DE |
26 | |
27 | # Create the DWARF. | |
28 | set asm_file [standard_output_file $srcfile2] | |
29 | Dwarf::assemble $asm_file { | |
30 | declare_labels partial_unit_defining_a partial_unit_defining_b | |
31 | declare_labels partial_unit_with_opaque | |
32 | declare_labels struct_a_label struct_b_label | |
33 | declare_labels opaque_struct_a_label opaque_struct_b_label | |
34 | declare_labels char_type1_label char_type2_label | |
b2e2f908 | 35 | |
b2e2f908 DE |
36 | # The partial units are laid out so we're not dependent on the order that |
37 | # they appear in compunit_symtab.includes. We need the one with the | |
38 | # opaque definition to appear first to gdb, so we put it in the middle. | |
39 | # Either the handling of variable_a or variable_b will be broken (in an | |
40 | # unpatched gdb). | |
41 | # | |
42 | # However, once a partial unit with a non-opaque type is read in we can | |
43 | # no longer see the bug as gdb will keep looking until it eventually gets | |
44 | # to the defining partial unit, setting aside the symbol lookup cache. | |
45 | # So heads up! | |
46 | ||
47 | cu {} { | |
48 | compile_unit { | |
49 | {language @DW_LANG_C} | |
50 | {name opaque_before} | |
51 | } { | |
52 | imported_unit { | |
53 | {import $partial_unit_with_opaque ref_addr} | |
54 | } | |
55 | ||
56 | imported_unit { | |
57 | {import $partial_unit_defining_a ref_addr} | |
58 | } | |
59 | } | |
60 | } | |
61 | ||
62 | cu {} { | |
63 | compile_unit { | |
64 | {language @DW_LANG_C} | |
65 | {name opaque_after} | |
66 | } { | |
67 | imported_unit { | |
68 | {import $partial_unit_defining_b ref_addr} | |
69 | } | |
70 | ||
71 | imported_unit { | |
72 | {import $partial_unit_with_opaque ref_addr} | |
73 | } | |
74 | } | |
75 | } | |
76 | ||
77 | cu {} { | |
78 | partial_unit_with_opaque: partial_unit { | |
79 | {name "partial_unit_with_opaque"} | |
80 | } { | |
81 | # Normally gdb doesn't add opaque types to the symbol table | |
82 | # but there are times when it will, and in order to exercise | |
83 | # this bug we need this entry in the symbol table. | |
84 | # By giving it a size of 1 we achieve this. | |
85 | ||
86 | opaque_struct_a_label: structure_type { | |
87 | {name struct_a} | |
88 | {declaration 1 flag} | |
89 | {byte_size 1 DW_FORM_sdata} | |
90 | } | |
91 | ||
92 | opaque_struct_b_label: structure_type { | |
93 | {name struct_b} | |
94 | {declaration 1 flag} | |
95 | {byte_size 1 DW_FORM_sdata} | |
96 | } | |
97 | ||
98 | DW_TAG_variable { | |
99 | {name variable_a} | |
100 | {type :$opaque_struct_a_label} | |
101 | {external 1 flag} | |
102 | {declaration 1 flag} | |
103 | } | |
104 | ||
105 | DW_TAG_variable { | |
106 | {name variable_b} | |
107 | {type :$opaque_struct_b_label} | |
108 | {external 1 flag} | |
109 | {declaration 1 flag} | |
110 | } | |
111 | } | |
112 | } | |
113 | ||
114 | cu {} { | |
115 | partial_unit_defining_a: partial_unit { | |
116 | {name "partial_unit_defining_a"} | |
117 | } { | |
118 | char_type1_label: base_type { | |
119 | {name "signed char"} | |
120 | {encoding @DW_ATE_signed} | |
121 | {byte_size 1 DW_FORM_sdata} | |
122 | } | |
123 | ||
124 | struct_a_label: structure_type { | |
125 | {name struct_a} | |
126 | {byte_size 1 DW_FORM_sdata} | |
127 | } { | |
128 | member { | |
129 | {name xyz} | |
130 | {type :$char_type1_label} | |
131 | {data_member_location 0 DW_FORM_sdata} | |
132 | } | |
133 | } | |
134 | ||
135 | DW_TAG_variable { | |
136 | {name variable_a} | |
137 | {type :$struct_a_label} | |
138 | {external 1 flag} | |
139 | {linkage_name variable_a} | |
140 | } | |
141 | } | |
142 | } | |
143 | ||
144 | cu {} { | |
145 | partial_unit_defining_b: partial_unit { | |
146 | {name "partial_unit_defining_b"} | |
147 | } { | |
148 | char_type2_label: base_type { | |
149 | {name "signed char"} | |
150 | {encoding @DW_ATE_signed} | |
151 | {byte_size 1 DW_FORM_sdata} | |
152 | } | |
153 | ||
154 | struct_b_label: structure_type { | |
155 | {name struct_b} | |
156 | {byte_size 1 DW_FORM_sdata} | |
157 | } { | |
158 | member { | |
159 | {name xyz} | |
160 | {type :$char_type2_label} | |
161 | {data_member_location 0 DW_FORM_sdata} | |
162 | } | |
163 | } | |
164 | ||
165 | DW_TAG_variable { | |
166 | {name variable_b} | |
167 | {type :$struct_b_label} | |
168 | {external 1 flag} | |
169 | {linkage_name variable_b} | |
170 | } | |
171 | } | |
172 | } | |
173 | ||
174 | # GDB expands the symbol table with main at start up, | |
175 | # so keep this separate. | |
176 | cu {} { | |
177 | compile_unit { | |
178 | {language @DW_LANG_C} | |
179 | {name main} | |
180 | } { | |
181 | subprogram { | |
10da644d | 182 | {MACRO_AT_func { main }} |
b2e2f908 DE |
183 | } |
184 | } | |
185 | } | |
186 | } | |
187 | ||
5b362f04 | 188 | if [prepare_for_testing "failed to prepare" $testfile "${asm_file} ${srcfile} ${srcfile3}" {nodebug}] { |
b2e2f908 DE |
189 | return -1 |
190 | } | |
191 | ||
192 | if ![runto_main] { | |
193 | return -1 | |
194 | } | |
195 | ||
196 | gdb_test "p variable_a" " = {xyz = 97 'a'}" | |
197 | gdb_test "p variable_b" " = {xyz = 98 'b'}" |