Commit | Line | Data |
---|---|---|
9b254dd1 | 1 | # Copyright (C) 2001, 2007, 2008 Free Software Foundation, Inc. |
bb632afb MS |
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 | |
e22f8b7c | 5 | # the Free Software Foundation; either version 3 of the License, or |
bb632afb | 6 | # (at your option) any later version. |
e22f8b7c | 7 | # |
bb632afb MS |
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. | |
e22f8b7c | 12 | # |
bb632afb | 13 | # You should have received a copy of the GNU General Public License |
e22f8b7c | 14 | # along with this program. If not, see <http://www.gnu.org/licenses/>. |
bb632afb MS |
15 | |
16 | # Please email any bugs, comments, and/or additions to this file to: | |
17 | # bug-gdb@prep.ai.mit.edu | |
18 | ||
19 | # Written by Michael Snyder, Red Hat, Inc., 9/20/2001 | |
20 | ||
21 | # This file is part of the gdb testsuite | |
22 | # Tests for type expressions using the new "@code" and "@data" modifiers. | |
23 | ||
24 | if $tracelevel then { | |
25 | strace $tracelevel | |
26 | } | |
27 | ||
28 | # | |
29 | # test running programs | |
30 | # | |
31 | set prms_id 0 | |
32 | set bug_id 0 | |
33 | ||
34 | set testfile "cvexpr" | |
35 | set srcfile ${testfile}.c | |
36 | set binfile ${objdir}/${subdir}/${testfile} | |
37 | ||
38 | if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug}] != "" } { | |
b60f0898 JB |
39 | untested code-expr.exp |
40 | return -1 | |
bb632afb MS |
41 | } |
42 | ||
43 | gdb_exit | |
44 | gdb_start | |
45 | gdb_reinitialize_dir $srcdir/$subdir | |
46 | gdb_load ${binfile} | |
47 | ||
48 | if [target_info exists gdb_stub] { | |
49 | gdb_step_for_stub; | |
50 | } | |
51 | ||
52 | gdb_test "set print sevenbit-strings" "" "" | |
53 | gdb_test "set print address off" "" "" | |
54 | gdb_test "set width 0" "" "" | |
55 | ||
56 | set ws "\[ \t\]*" | |
57 | ||
58 | # | |
59 | # Test casting a scalar to const | |
60 | # | |
61 | ||
62 | gdb_test "whatis (@code char) v_char" \ | |
63 | "type = @code char" \ | |
64 | "(@code char)" | |
65 | gdb_test "whatis (@code signed char) v_signed_char" \ | |
66 | "type = @code signed char" \ | |
67 | "(@code signed char)" | |
68 | gdb_test "whatis (@code unsigned char) v_unsigned_char" \ | |
69 | "type = @code (unsigned char|char)" \ | |
70 | "(@code unsigned char)" | |
71 | gdb_test "whatis (@code short) v_short" \ | |
72 | "type = @code (short|short int)" \ | |
73 | "(@code short)" | |
74 | gdb_test "whatis (@code signed short) v_signed_short" \ | |
75 | "type = @code (short|short int|signed short|signed short int)" \ | |
76 | "(@code signed short)" | |
77 | gdb_test "whatis (@code unsigned short) v_unsigned_short" \ | |
78 | "type = @code (unsigned short|short unsigned int)" \ | |
79 | "(@code unsigned short)" | |
80 | gdb_test "whatis (@code int) v_int" \ | |
81 | "type = @code int" \ | |
82 | "(@code int)" | |
83 | gdb_test "whatis (@code signed int) v_signed_int" \ | |
84 | "type = @code (signed int|int)" \ | |
85 | "(@code signed int)" | |
86 | gdb_test "whatis (@code unsigned int) v_unsigned_int" \ | |
87 | "type = @code unsigned int" \ | |
88 | "(@code unsigned int)" | |
89 | gdb_test "whatis (@code long) v_long" \ | |
90 | "type = @code (long|long int)" \ | |
91 | "(@code long)" | |
92 | gdb_test "whatis (@code signed long) v_signed_long" \ | |
93 | "type = @code (signed |)long( int|)" \ | |
94 | "(@code signed long)" | |
95 | gdb_test "whatis (@code unsigned long) v_unsigned_long" \ | |
96 | "type = @code (unsigned long|long unsigned int)" \ | |
97 | "(@code unsigned long)" | |
98 | gdb_test "whatis (@code long long) v_long_long" \ | |
99 | "type = @code long long( int|)" \ | |
100 | "(@code long long)" | |
101 | gdb_test "whatis (@code signed long long) v_signed_long_long" \ | |
102 | "type = @code (signed |)long long( int|)" \ | |
103 | "(@code signed long long)" | |
104 | gdb_test "whatis (@code unsigned long long) v_unsigned_long_long" \ | |
105 | "type = @code (unsigned long long|long long unsigned int)" \ | |
106 | "(@code unsigned long long)" | |
107 | gdb_test "whatis (@code float) v_float" \ | |
108 | "type = @code float" \ | |
109 | "(@code float)" | |
110 | gdb_test "whatis (@code double) v_double" \ | |
111 | "type = @code double" \ | |
112 | "(@code double)" | |
113 | ||
114 | # | |
115 | # Test casting a scalar to @data | |
116 | # | |
117 | ||
118 | gdb_test "whatis (@data char) v_char" \ | |
119 | "type = @data char" \ | |
120 | "(@data char)" | |
121 | gdb_test "whatis (@data signed char) v_signed_char" \ | |
122 | "type = @data signed char" \ | |
123 | "(@data signed char)" | |
124 | gdb_test "whatis (@data unsigned char) v_unsigned_char" \ | |
125 | "type = @data (unsigned char|char)" \ | |
126 | "(@data unsigned char)" | |
127 | gdb_test "whatis (@data short) v_short" \ | |
128 | "type = @data (short|short int)" \ | |
129 | "(@data short)" | |
130 | gdb_test "whatis (@data signed short) v_signed_short" \ | |
131 | "type = @data (short|short int|signed short|signed short int)" \ | |
132 | "(@data signed short)" | |
133 | gdb_test "whatis (@data unsigned short) v_unsigned_short" \ | |
134 | "type = @data (unsigned short|short unsigned int)" \ | |
135 | "(@data unsigned short)" | |
136 | gdb_test "whatis (@data int) v_int" \ | |
137 | "type = @data int" \ | |
138 | "(@data int)" | |
139 | gdb_test "whatis (@data signed int) v_signed_int" \ | |
140 | "type = @data (signed int|int)" \ | |
141 | "(@data signed int)" | |
142 | gdb_test "whatis (@data unsigned int) v_unsigned_int" \ | |
143 | "type = @data unsigned int" \ | |
144 | "(@data unsigned int)" | |
145 | gdb_test "whatis (@data long) v_long" \ | |
146 | "type = @data (long|long int)" \ | |
147 | "(@data long)" | |
148 | gdb_test "whatis (@data signed long) v_signed_long" \ | |
149 | "type = @data (signed |)long( int|)" \ | |
150 | "(@data signed long)" | |
151 | gdb_test "whatis (@data unsigned long) v_unsigned_long" \ | |
152 | "type = @data (unsigned long|long unsigned int)" \ | |
153 | "(@data unsigned long)" | |
154 | gdb_test "whatis (@data long long) v_long_long" \ | |
155 | "type = @data long long( int|)" \ | |
156 | "(@data long long)" | |
157 | gdb_test "whatis (@data signed long long) v_signed_long_long" \ | |
158 | "type = @data (signed |)long long( int|)" \ | |
159 | "(@data signed long long)" | |
160 | gdb_test "whatis (@data unsigned long long) v_unsigned_long_long" \ | |
161 | "type = @data (unsigned long long|long long unsigned int)" \ | |
162 | "(@data unsigned long long)" | |
163 | gdb_test "whatis (@data float) v_float" \ | |
164 | "type = @data float" \ | |
165 | "(@data float)" | |
166 | gdb_test "whatis (@data double) v_double" \ | |
167 | "type = @data double" \ | |
168 | "(@data double)" | |
169 | ||
170 | # | |
171 | # Now put the '@code' and '@data' keywords after the base type. | |
172 | # | |
173 | ||
174 | gdb_test "whatis (char @code) v_char" \ | |
175 | "type = @code char" \ | |
176 | "(char @code)" | |
177 | gdb_test "whatis (signed char @code) v_signed_char" \ | |
178 | "type = @code signed char" \ | |
179 | "(signed char @code)" | |
180 | gdb_test "whatis (unsigned char @code) v_unsigned_char" \ | |
181 | "type = @code (unsigned char|char)" \ | |
182 | "(unsigned char @code)" | |
183 | gdb_test "whatis (short @code) v_short" \ | |
184 | "type = @code (short|short int)" \ | |
185 | "(short @code)" | |
186 | gdb_test "whatis (signed short @code) v_signed_short" \ | |
187 | "type = @code (short|short int|signed short|signed short int)" \ | |
188 | "(signed short @code)" | |
189 | gdb_test "whatis (unsigned short @code) v_unsigned_short" \ | |
190 | "type = @code (unsigned short|short unsigned int)" \ | |
191 | "(unsigned short @code)" | |
192 | gdb_test "whatis (int @code) v_int" \ | |
193 | "type = @code int" \ | |
194 | "(int @code)" | |
195 | gdb_test "whatis (signed int @code) v_signed_int" \ | |
196 | "type = @code (signed int|int)" \ | |
197 | "(signed int @code)" | |
198 | gdb_test "whatis (unsigned int @code) v_unsigned_int" \ | |
199 | "type = @code unsigned int" \ | |
200 | "(unsigned int @code)" | |
201 | gdb_test "whatis (long @code) v_long" \ | |
202 | "type = @code (long|long int)" \ | |
203 | "(long @code)" | |
204 | gdb_test "whatis (signed long @code) v_signed_long" \ | |
205 | "type = @code (signed |)long( int|)" \ | |
206 | "(signed long @code)" | |
207 | gdb_test "whatis (unsigned long @code) v_unsigned_long" \ | |
208 | "type = @code (unsigned long|long unsigned int)" \ | |
209 | "(unsigned long @code)" | |
210 | gdb_test "whatis (long long @code) v_long_long" \ | |
211 | "type = @code long long( int|)" \ | |
212 | "(long long @code)" | |
213 | gdb_test "whatis (signed long long @code) v_signed_long_long" \ | |
214 | "type = @code (signed |)long long( int|)" \ | |
215 | "(signed long long @code)" | |
216 | gdb_test "whatis (unsigned long long @code) v_unsigned_long_long" \ | |
217 | "type = @code (unsigned long long|long long unsigned int)" \ | |
218 | "(unsigned long long @code)" | |
219 | gdb_test "whatis (float @code) v_float" \ | |
220 | "type = @code float" \ | |
221 | "(float @code)" | |
222 | gdb_test "whatis (double @code) v_double" \ | |
223 | "type = @code double" \ | |
224 | "(double @code)" | |
225 | ||
226 | gdb_test "whatis (char @data) v_char" \ | |
227 | "type = @data char" \ | |
228 | "(char @data)" | |
229 | gdb_test "whatis (signed char @data) v_signed_char" \ | |
230 | "type = @data signed char" \ | |
231 | "(signed char @data)" | |
232 | gdb_test "whatis (unsigned char @data) v_unsigned_char" \ | |
233 | "type = @data (unsigned char|char)" \ | |
234 | "(unsigned char @data)" | |
235 | gdb_test "whatis (short @data) v_short" \ | |
236 | "type = @data (short|short int)" \ | |
237 | "(short @data)" | |
238 | gdb_test "whatis (signed short @data) v_signed_short" \ | |
239 | "type = @data (short|short int|signed short|signed short int)" \ | |
240 | "(signed short @data)" | |
241 | gdb_test "whatis (unsigned short @data) v_unsigned_short" \ | |
242 | "type = @data (unsigned short|short unsigned int)" \ | |
243 | "(unsigned short @data)" | |
244 | gdb_test "whatis (int @data) v_int" \ | |
245 | "type = @data int" \ | |
246 | "(int @data)" | |
247 | gdb_test "whatis (signed int @data) v_signed_int" \ | |
248 | "type = @data (signed int|int)" \ | |
249 | "(signed int @data)" | |
250 | gdb_test "whatis (unsigned int @data) v_unsigned_int" \ | |
251 | "type = @data unsigned int" \ | |
252 | "(unsigned int @data)" | |
253 | gdb_test "whatis (long @data) v_long" \ | |
254 | "type = @data (long|long int)" \ | |
255 | "(long @data)" | |
256 | gdb_test "whatis (signed long @data) v_signed_long" \ | |
257 | "type = @data (signed |)long( int|)" \ | |
258 | "(signed long @data)" | |
259 | gdb_test "whatis (unsigned long @data) v_unsigned_long" \ | |
260 | "type = @data (unsigned long|long unsigned int)" \ | |
261 | "(unsigned long @data)" | |
262 | gdb_test "whatis (long long @data) v_long_long" \ | |
263 | "type = @data long long( int|)" \ | |
264 | "(long long @data)" | |
265 | gdb_test "whatis (signed long long @data) v_signed_long_long" \ | |
266 | "type = @data (signed |)long long( int|)" \ | |
267 | "(signed long long @data)" | |
268 | gdb_test "whatis (unsigned long long @data) v_unsigned_long_long" \ | |
269 | "type = @data (unsigned long long|long long unsigned int)" \ | |
270 | "(unsigned long long @data)" | |
271 | gdb_test "whatis (float @data) v_float" \ | |
272 | "type = @data float" \ | |
273 | "(float @data)" | |
274 | gdb_test "whatis (double @data) v_double" \ | |
275 | "type = @data double" \ | |
276 | "(double @data)" | |
277 | ||
278 | # | |
279 | # enums | |
280 | # | |
281 | ||
282 | gdb_test "whatis (@code enum misordered) v_misordered" \ | |
283 | "type = @code enum misordered" \ | |
284 | "(@code enum misordered)" | |
285 | gdb_test "whatis (enum misordered @code) v_misordered" \ | |
286 | "type = @code enum misordered" \ | |
287 | "(enum misordered @code)" | |
288 | gdb_test "whatis (@data enum misordered) v_misordered" \ | |
289 | "type = @data enum misordered" \ | |
290 | "(@data enum misordered)" | |
291 | gdb_test "whatis (enum misordered @data) v_misordered" \ | |
292 | "type = @data enum misordered" \ | |
293 | "(enum misordered @data)" | |
294 | ||
295 | # | |
296 | # Pointers | |
297 | # | |
298 | ||
299 | gdb_test "whatis (@code int *) v_int_pointer" \ | |
300 | "type = @code int${ws}\\*" \ | |
301 | "(@code int *)" | |
302 | gdb_test "whatis (int @code *) v_int_pointer" \ | |
303 | "type = @code int${ws}\\*" \ | |
304 | "(int @code *)" | |
305 | gdb_test "whatis (int * @code) v_int_pointer" \ | |
306 | "type = int \\*${ws}@code" \ | |
307 | "(int * @code)" | |
308 | gdb_test "whatis (@code int * @code) v_int_pointer" \ | |
309 | "type = @code int${ws}\\*${ws}@code" \ | |
310 | "(@code int * @code)" | |
311 | gdb_test "whatis (int @code * @code) v_int_pointer" \ | |
312 | "type = @code int${ws}\\*${ws}@code" \ | |
313 | "(int @code * @code)" | |
314 | ||
315 | gdb_test "whatis (@code int **) v_int_pointer_pointer" \ | |
316 | "type = @code int${ws}\\*${ws}\\*" \ | |
317 | "(@code int **)" | |
318 | gdb_test "whatis (int @code **) v_int_pointer_pointer" \ | |
319 | "type = @code int${ws}\\*${ws}\\*" \ | |
320 | "(int @code **)" | |
321 | gdb_test "whatis (int ** @code) v_int_pointer_pointer" \ | |
322 | "type = int \\*${ws}\\*${ws}@code" \ | |
323 | "(int ** @code)" | |
324 | gdb_test "whatis (@code int * @code *) v_int_pointer_pointer" \ | |
325 | "type = @code int${ws}\\*${ws}@code${ws}\\*" \ | |
326 | "(@code int * @code *)" | |
327 | gdb_test "whatis (int @code * @code *) v_int_pointer_pointer" \ | |
328 | "type = @code int${ws}\\*${ws}@code${ws}\\*" \ | |
329 | "(int @code * @code *)" | |
330 | gdb_test "whatis (@code int * @code * @code) v_int_pointer_pointer" \ | |
331 | "type = @code int${ws}\\*${ws}@code${ws}\\*${ws}@code" \ | |
332 | "(@code int * @code * @code)" | |
333 | gdb_test "whatis (int @code * @code * @code) v_int_pointer_pointer" \ | |
334 | "type = @code int${ws}\\*${ws}@code${ws}\\*${ws}@code" \ | |
335 | "(int @code * @code * @code)" | |
336 | ||
337 | # | |
338 | # Arrays TODO | |
339 | # | |
340 | ||
341 | # | |
342 | # Pointers to arrays, arrays of pointers TODO | |
343 | # | |
344 | ||
345 | # | |
346 | # Structs and Unions | |
347 | # | |
348 | ||
349 | gdb_test "whatis (@code struct t_struct) v_struct1" \ | |
350 | "type = @code struct t_struct" \ | |
351 | "(@code struct t_struct)" | |
352 | gdb_test "whatis (@code union t_union) v_union" \ | |
353 | "type = @code union t_union" \ | |
354 | "(@code union t_union)" | |
355 | gdb_test "whatis (struct t_struct @code) v_struct1" \ | |
356 | "type = @code struct t_struct" \ | |
357 | "(struct t_struct @code)" | |
358 | gdb_test "whatis (union t_union @code) v_union" \ | |
359 | "type = @code union t_union" \ | |
360 | "(union t_union @code)" | |
361 | gdb_test "whatis (@code struct t_struct *) &v_struct1" \ | |
362 | "type = @code struct t_struct${ws}\\*" \ | |
363 | "(@code struct t_struct *)" | |
364 | gdb_test "whatis (@code union t_union *) &v_union" \ | |
365 | "type = @code union t_union${ws}\\*" \ | |
366 | "(@code union t_union *)" | |
367 | gdb_test "whatis (struct t_struct @code *) &v_struct1" \ | |
368 | "type = @code struct t_struct${ws}\\*" \ | |
369 | "(struct t_struct @code *)" | |
370 | gdb_test "whatis (union t_union @code *) &v_union" \ | |
371 | "type = @code union t_union${ws}\\*" \ | |
372 | "(union t_union @code *)" | |
373 | gdb_test "whatis (struct t_struct * @code) &v_struct1" \ | |
374 | "type = struct t_struct${ws}\\*${ws}@code" \ | |
375 | "(struct t_struct * @code)" | |
376 | gdb_test "whatis (union t_union * @code) &v_union" \ | |
377 | "type = union t_union${ws}\\*${ws}@code" \ | |
378 | "(union t_union * @code)" | |
379 | gdb_test "whatis (@code struct t_struct * @code) &v_struct1" \ | |
380 | "type = @code struct t_struct${ws}\\*${ws}@code" \ | |
381 | "(@code struct t_struct * @code)" | |
382 | gdb_test "whatis (@code union t_union * @code) &v_union" \ | |
383 | "type = @code union t_union${ws}\\*${ws}@code" \ | |
384 | "(@code union t_union * @code)" | |
385 | gdb_test "whatis (struct t_struct @code * @code) &v_struct1" \ | |
386 | "type = @code struct t_struct${ws}\\*${ws}@code" \ | |
387 | "(struct t_struct @code * @code)" | |
388 | gdb_test "whatis (union t_union @code * @code) &v_union" \ | |
389 | "type = @code union t_union${ws}\\*${ws}@code" \ | |
390 | "(union t_union @code * @code)" | |
391 | ||
392 | # | |
393 | # Function pointers TODO | |
394 | # | |
395 |