2013-09-20 Chung-Lin Tang <cltang@codesourcery.com>
[deliverable/binutils-gdb.git] / gdb / testsuite / gdb.base / ptype.exp
CommitLineData
28e7fd62 1# Copyright 1988-2013 Free Software Foundation, Inc.
c906108c
SS
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
c906108c 6# (at your option) any later version.
e22f8b7c 7#
c906108c
SS
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#
c906108c 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/>.
c906108c 15
c906108c
SS
16# This file was written by Rob Savoye. (rob@cygnus.com)
17
c906108c
SS
18#
19# test running programs
20#
c906108c 21
822bd149
TT
22standard_testfile .c ptype1.c
23
24if {[prepare_for_testing ${testfile}.exp ${testfile} \
25 [list $srcfile $srcfile2] {debug nowarnings}]} {
26 return -1
c906108c
SS
27}
28
29# Create and source the file that provides information about the compiler
30# used to compile the test case.
4c93b1db 31if [get_compiler_info] {
ae59b1da 32 return -1
c906108c
SS
33}
34
c906108c
SS
35# Test ptype of unnamed enumeration members before any action causes
36# the partial symbol table to be expanded to full symbols. This fails
37# with stabs compilers which fail to use a nameless stab (such as
38# pre-2.4.5 versions of gcc and most non-gcc compilers).
39
65731a6b
MS
40gdb_test_multiple "ptype red1" "ptype unnamed enumeration member" {
41 -re "type = enum primary1_tag \{red1, green1, blue1\}.*$gdb_prompt $" {
42 # The workaround is in effect. As this is a compiler, not GDB,
43 # bug, we'll make it a PASS but perhaps it should be an XFAIL.
44 pass "ptype unnamed enumeration member (worked around)"
45 }
46 -re "type = enum \{red1, green1, blue1\}.*$gdb_prompt $" {
47 pass "ptype unnamed enumeration member"
48 }
c906108c
SS
49}
50
51#
52# test ptype command with structures
53#
54# Here and elsewhere, we accept
55# "long", "long int", or "int" for long variables (whatis.exp already
56# has an XFAIL for "int" (Sun cc bug), so no need to fail it here).
57gdb_test "ptype struct t_struct" "type = struct t_struct \{.*\[\r\n\] (unsigned |)char v_char_member;.*\[\r\n\] (short|short int) v_short_member;.*\[\r\n\] int v_int_member;.*\[\r\n\] (long|long int|int) v_long_member;.*\[\r\n\] float v_float_member;.*\[\r\n\] double v_double_member;.*\[\r\n\]\}.*" "ptype structure"
58
59
60# Test the equivalence between '.' and '->' for struct member references.
61
62if [gdb_test "ptype v_struct1.v_float_member" "type = float"]<0 then {
63 return -1
64}
65if [gdb_test "ptype v_struct1->v_float_member" "type = float"]<0 then {
66 return -1
67}
68if [gdb_test "ptype v_t_struct_p.v_float_member" "type = float"]<0 then {
69 return -1
70}
71if [gdb_test "ptype v_t_struct_p->v_float_member" "type = float"]<0 then {
72 return -1
73}
74
75
76# IBM's xlc puts out bogus stabs--the stuff field is type 42,
77# which isn't defined.
78
085dd6e6 79gdb_test "ptype struct link" "type = struct link \{\[\r\n\]+\[ \t\]+struct link \\*next;\[\r\n\]+\[ \t\]+struct link \\*\\(\\*linkfunc\\)\\((struct link \\*, int|void|)\\);\[\r\n\]+\[ \t\]+struct t_struct stuff.1..2..3.;\[\r\n\]+\}.*" "ptype linked list structure"
c906108c
SS
80
81#
82# test ptype command with unions
83#
84gdb_test "ptype union t_union" "type = union t_union \{.*\[\r\n\] (unsigned |)char v_char_member;.*\[\r\n\] (short|short int) v_short_member;.*\[\r\n\] int v_int_member;.*\[\r\n\] (long|long int|int) v_long_member;.*\[\r\n\] float v_float_member;.*\[\r\n\] double v_double_member;.*\[\r\n\]\}.*" "ptype union"
85
86# IBM's xlc puts out bogus stabs--the stuff field is type 42,
87# which isn't defined.
085dd6e6 88gdb_test "ptype union tu_link" "type = union tu_link \{\[\r\n\]+\[ \t\]+struct link \\*next;\[\r\n\]+\[ \t\]+struct link \\*\\(\\*linkfunc\\)\\((struct link \\*, int|void|)\\);\[\r\n\]+\[ \t\]+struct t_struct stuff.1..2..3.;\[\r\n\]+\}.*" "ptype linked list union"
c906108c
SS
89
90#
91# test ptype command with enums
92#
93
94gdb_test "ptype primary" "type = enum .red, green, blue.*" "ptype unnamed enumeration"
95
96gdb_test "ptype enum colors" "type = enum colors \{yellow, purple, pink\}.*" "ptype named enumeration"
97
98
99#
100# test ptype command with enums as typedef
101#
085dd6e6 102gdb_test "ptype boolean" "type = enum (boolean |)\{FALSE, TRUE\}.*" "ptype unnamed typedef'd enumeration"
c906108c
SS
103
104# And check that whatis shows the name, not "enum {...}".
105# This probably fails for all DWARF 1 cases, so assume so for now. -fnf
106# The problem with xlc is that the stabs look like
107# :t51=eFALSE:0,TRUE:1,;
108# boolean:t55=51
109# v_boolean:G51
110# GDB's behavior is correct; the type which the variable is defined
111# as (51) doesn't have a name. Only 55 has a name.
112
085dd6e6 113if {!$gcc_compiled && !$hp_aCC_compiler} {
a0b3c4fd
JM
114 setup_xfail "rs6000-*-*" "i*86-*-sysv4*"
115 setup_xfail "hppa*-*-*" CLLbs14773
085dd6e6 116}
dfcd3bfb
JM
117
118# For get_debug_format to do its job, we need to have a current source file.
f6978de9 119gdb_test "list main" ".*"
9846de1b 120get_debug_format
085dd6e6 121gdb_test "whatis v_boolean" "type = (enum |)boolean" \
c906108c
SS
122 "whatis unnamed typedef'd enum (compiler bug in IBM's xlc)"
123
124# Same thing with struct and union.
085dd6e6 125gdb_test "ptype t_struct3" "type = struct (t_struct3 |)\{.*
c906108c
SS
126 *double v_double_member;.*
127 *int v_int_member;.*\}" "printing typedef'd struct"
128
085dd6e6 129gdb_test "ptype t_union3" "type = union (t_union3 |)\{.*
c906108c
SS
130 *double v_double_member;.*
131 *int v_int_member;.*\}" "printing typedef'd union"
132
085dd6e6 133gdb_test "ptype enum bvals" "type = enum bvals \{my_false, my_true\}.*" "ptype named typedef'd enumf'd enum"
c906108c
SS
134
135#
136# test ptype command with out-of-order enum values
137#
138gdb_test "ptype enum misordered" "type = enum misordered \{two = 2, one = 1, zero = 0, three = 3\}.*" "ptype misordered enumeration"
139
140#
141# test ptype command with a named enum's value
142#
143gdb_test "ptype three" "type = enum misordered \{two = 2, one = 1, zero = 0, three = 3\}.*" "ptype named enumeration member"
144
145gdb_test "ptype red" "type = enum \{red, green, blue\}.*" "ptype unnamed enumeration member #2"
146
147#
148# test ptype command with basic C types
149#
150# I've commented most of this out because it duplicates tests in whatis.exp.
151# I've just left in a token test or 2 which is designed to test that ptype
152# acts like whatis for basic types. If it is thought to be necessary to
153# test both whatis and ptype for all the types, the tests should be
154# merged into whatis.exp, or else maintenance will be a royal pain -kingdon
cc30c4bd 155#setup_xfail "mips-sgi-*"
c906108c
SS
156#send "ptype v_char\n"
157#gdb_expect {
158# -re "type = char.*$gdb_prompt $" { pass "ptype char" }
159# -re ".*$gdb_prompt $" { fail "ptype char" }
160# timeout { fail "(timeout) ptype char" }
161#}
162#
163#
9fbfe2dc 164#setup_xfail "mips-*-*"
c906108c
SS
165#send "ptype v_signed_char\n"
166#gdb_expect {
167# -re "type = signed char.*$gdb_prompt $" { pass "ptype signed char" }
168# -re ".*$gdb_prompt $" { fail "ptype signed char" }
169# timeout { fail "(timeout) ptype signed char" }
170#}
171#
172#
173#send "ptype v_unsigned_char\n"
174#gdb_expect {
175# -re "type = unsigned char.*$gdb_prompt $" { pass "ptype unsigned char" }
176# -re ".*$gdb_prompt $" { fail "ptype unsigned char" }
177# timeout { fail "(timeout) ptype unsigned char" }
178#}
179
180gdb_test "ptype v_short" "type = short(| int).*" "ptype short"
181
182#send "ptype v_signed_short\n"
183#gdb_expect {
184# -re "type = short.*$gdb_prompt $" { pass "ptype signed short" }
185# -re ".*$gdb_prompt $" { fail "ptype signed short" }
186# timeout { fail "(timeout) ptype signed short" }
187#}
188#
189#
190#send "ptype v_unsigned_short\n"
191#gdb_expect {
192# -re "type = unsigned short.*$gdb_prompt $" { pass "ptype unsigned short" }
193# -re ".*$gdb_prompt $" { fail "ptype unsigned short" }
194# timeout { fail "(timeout) ptype unsigned short" }
195#}
196
197
198gdb_test "ptype v_int" "type = int.*" "ptype int"
199
200#send "ptype v_signed_int\n"
201#gdb_expect {
202# -re "type = int.*$gdb_prompt $" { pass "ptype signed int" }
203# -re ".*$gdb_prompt $" { fail "ptype signed int" }
204# timeout { fail "(timeout) ptype signed int" }
205#}
206#
207#
208#send "ptype v_unsigned_int\n"
209#gdb_expect {
210# -re "type = unsigned int.*$gdb_prompt $" { pass "ptype unsigned int" }
211# -re ".*$gdb_prompt $" { fail "ptype unsigned int" }
212# timeout { fail "(timeout) ptype unsigned int" }
213#}
214#
215#
216#send "ptype v_long\n"
217#gdb_expect {
218# -re "type = long.*$gdb_prompt $" { pass "ptype long" }
219# -re ".*$gdb_prompt $" { fail "ptype long" }
220# timeout { fail "(timeout) ptype long" }
221#}
222#
223#
224#send "ptype v_signed_long\n"
225#gdb_expect {
226# -re "type = long.*$gdb_prompt $" { pass "ptype signed long" }
227# -re ".*$gdb_prompt $" { fail "ptype signed long" }
228# timeout { fail "(timeout) ptype signed long" }
229#}
230#
231#
232#send "ptype v_unsigned_long\n"
233#gdb_expect {
234# -re "type = unsigned long.*$gdb_prompt $" { pass "ptype unsigned long" }
235# -re ".*$gdb_prompt $" { fail "ptype unsigned long" }
236# timeout { fail "(timeout) ptype unsigned long" }
237#}
238#
239#
240#send "ptype v_float\n"
241#gdb_expect {
242# -re "type = float.*$gdb_prompt $" { pass "ptype float" }
243# -re ".*$gdb_prompt $" { fail "ptype float" }
244# timeout { fail "(timeout) ptype float" }
245#}
246#
247#
248#send "ptype v_double\n"
249#gdb_expect {
250# -re "type = double.*$gdb_prompt $" { pass "ptype double" }
251# -re ".*$gdb_prompt $" { fail "ptype double" }
252# timeout { fail "(timeout) ptype double" }
253#}
254
255
256#
257# test ptype command with arrays
258#
cc30c4bd 259#setup_xfail "mips-sgi-*"
c906108c
SS
260#send "ptype v_char_array\n"
261#gdb_expect {
262# -re "type = char .2..*$gdb_prompt $" { pass "ptype char array" }
263# -re ".*$gdb_prompt $" { fail "ptype char array" }
264# timeout { fail "(timeout) ptype char array" }
265#}
266#
267#
9fbfe2dc 268#setup_xfail "mips-*-*"
c906108c
SS
269#send "ptype v_signed_char_array\n"
270#gdb_expect {
271# -re "type = (|signed )char .2..*$gdb_prompt $" { pass "ptype signed char array" }
272# -re ".*$gdb_prompt $" { fail "ptype signed char array" }
273# timeout { fail "(timeout) ptype signed char array" }
274#}
275#
276#
277#send "ptype v_unsigned_char_array\n"
278#gdb_expect {
279# -re "type = unsigned char .2..*$gdb_prompt $" { pass "ptype unsigned char array" }
280# -re ".*$gdb_prompt $" { fail "ptype unsigned char array" }
281# timeout { fail "(timeout) ptype unsigned char array" }
282#}
283#
284#
285#
286#send "ptype v_int_array\n"
287#gdb_expect {
288# -re "type = int .2..*$gdb_prompt $" { pass "ptype int array" }
289# -re ".*$gdb_prompt $" { fail "ptype int array" }
290# timeout { fail "(timeout) ptype int array" }
291#}
292#
293#
294#send "ptype v_signed_int_array\n"
295#gdb_expect {
296# -re "type = int .2..*$gdb_prompt $" { pass "ptype signed int array" }
297# -re ".*$gdb_prompt $" { fail "ptype signed int array" }
298# timeout { fail "(timeout) ptype signed int array" }
299#}
300#
301#
302#send "ptype v_unsigned_int_array\n"
303#gdb_expect {
304# -re "type = unsigned int .2..*$gdb_prompt $" { pass "ptype unsigned int array" }
305# -re ".*$gdb_prompt $" { fail "ptype unsigned int array" }
306# timeout { fail "(timeout) ptype unsigned int array" }
307#}
308#
309#
310#send "ptype v_long_array\n"
311#gdb_expect {
312# -re "type = (long|int|long int) .2..*$gdb_prompt $" {
313# pass "ptype long array" }
314# -re ".*$gdb_prompt $" { fail "ptype long array" }
315# timeout { fail "(timeout) ptype long array" }
316#}
317#
318#
319#send "ptype v_signed_long_array\n"
320#gdb_expect {
321# -re "type = (long|int|long int) .2..*$gdb_prompt $" {
322# pass "ptype signed long array" }
323# -re ".*$gdb_prompt $" { fail "ptype signed long array" }
324# timeout { fail "(timeout) ptype signed long array" }
325#}
326#
327#
328#send "ptype v_unsigned_long_array\n"
329#gdb_expect {
330# -re "type = unsigned long .2..*$gdb_prompt $" { pass "ptype unsigned long array" }
331# -re ".*$gdb_prompt $" { fail "ptype unsigned long array" }
332# timeout { fail "(timeout) ptype unsigned long array" }
333#}
334#
335#
336#send "ptype v_float_array\n"
337#gdb_expect {
338# -re "type = float .2..*$gdb_prompt $" { pass "ptype float array" }
339# -re ".*$gdb_prompt $" { fail "ptype float array" }
340# timeout { fail "(timeout) ptype float array" }
341#}
342#
343#
344#send "ptype v_double_array\n"
345#gdb_expect {
346# -re "type = double .2..*$gdb_prompt $" { pass "ptype double array" }
347# -re ".*$gdb_prompt $" { fail "ptype double array" }
348# timeout { fail "(timeout) ptype double array" }
349#}
350#
351
352if {!$gcc_compiled} then { setup_xfail "rs6000-*-*" "i*86-*-sysv4*" }
085dd6e6 353if {$hp_aCC_compiler} {setup_xfail "hppa*-*-*"}
c906108c
SS
354gdb_test "ptype t_char_array" "type = (|unsigned )char \\\[0?\\\]"
355
350b1b26
AB
356gdb_test "ptype pv_char_array" "type = (|unsigned )char \\(\\*\\)\\\[0?\\\]"
357
c906108c
SS
358#
359##
360## test ptype command with pointers
361##
cc30c4bd 362#setup_xfail "mips-sgi-*"
c906108c
SS
363#send "ptype v_char_pointer\n"
364#gdb_expect {
365# -re "type = char \*.*$gdb_prompt $" { pass "ptype char pointer" }
366# -re ".*$gdb_prompt $" { fail "ptype char pointer" }
367# timeout { fail "(timeout) ptype char pointer" }
368#}
369#
370#
9fbfe2dc 371#setup_xfail "mips-*-*"
c906108c
SS
372#send "ptype v_signed_char_pointer\n"
373#gdb_expect {
374# -re "type = (|signed )char \*.*$gdb_prompt $"
375# { pass "ptype signed char pointer" }
376# -re ".*$gdb_prompt $" { fail "ptype signed char pointer" }
377# timeout { fail "(timeout) ptype signed char pointer" }
378#}
379#
380#
381#send "ptype v_unsigned_char_pointer\n"
382#gdb_expect {
383# -re "type = unsigned char \*.*$gdb_prompt $" { pass "ptype unsigned char pointer" }
384# -re ".*$gdb_prompt $" { fail "ptype unsigned char pointer" }
385# timeout { fail "(timeout) ptype unsigned char pointer" }
386#}
387#
388#
389#send "ptype v_short_pointer\n"
390#gdb_expect {
391# -re "type = (short|short int) \*.*$gdb_prompt $" { pass "ptype short pointer" }
392# -re ".*$gdb_prompt $" { fail "ptype short pointer" }
393# timeout { fail "(timeout) ptype short pointer" }
394#}
395#
396#
397#send "ptype v_signed_short_pointer\n"
398#gdb_expect {
399# -re "type = short \*.*$gdb_prompt $" { pass "ptype signed short pointer" }
400# -re ".*$gdb_prompt $" { fail "ptype signed short pointer" }
401# timeout { fail "(timeout) ptype signed short pointer" }
402#}
403#
404#
405#send "ptype v_unsigned_short_pointer\n"
406#gdb_expect {
407# -re "type = unsigned short \*.*$gdb_prompt $" { pass "ptype unsigned short pointer" }
408# -re ".*$gdb_prompt $" { fail "ptype unsigned short pointer" }
409# timeout { fail "(timeout) ptype unsigned short pointer" }
410#}
411#
412#
413#send "ptype v_int_pointer\n"
414#gdb_expect {
415# -re "type = int \*.*$gdb_prompt $" { pass "ptype int pointer" }
416# -re ".*$gdb_prompt $" { fail "ptype int pointer" }
417# timeout { fail "(timeout) ptype int pointer" }
418#}
419#
420#
421#send "ptype v_signed_int_pointer\n"
422#gdb_expect {
423# -re "type = int \*.*$gdb_prompt $" { pass "ptype signed int pointer" }
424# -re ".*$gdb_prompt $" { fail "ptype signed int pointer" }
425# timeout { fail "(timeout) ptype signed int pointer" }
426#}
427#
428#
429#send "ptype v_unsigned_int_pointer\n"
430#gdb_expect {
431# -re "type = unsigned int \*.*$gdb_prompt $" { pass "ptype unsigned int pointer" }
432# -re ".*$gdb_prompt $" { fail "ptype unsigned int pointer" }
433# timeout { fail "(timeout) ptype unsigned int pointer" }
434#}
435#
436#
437#send "ptype v_long_pointer\n"
438#gdb_expect {
439# -re "type = long \*.*$gdb_prompt $" { pass "ptype long pointer" }
440# -re ".*$gdb_prompt $" { fail "ptype long pointer" }
441# timeout { fail "(timeout) ptype long pointer" }
442#}
443#
444#
445#send "ptype v_signed_long_pointer\n"
446#gdb_expect {
447# -re "type = long \*.*$gdb_prompt $" { pass "ptype signed long pointer" }
448# -re ".*$gdb_prompt $" { fail "ptype signed long pointer" }
449# timeout { fail "(timeout) ptype signed long pointer" }
450#}
451#
452#
453#send "ptype v_unsigned_long_pointer\n"
454#gdb_expect {
455# -re "type = unsigned long \*.*$gdb_prompt $" { pass "ptype unsigned long pointer" }
456# -re ".*$gdb_prompt $" { fail "ptype unsigned long pointer" }
457# timeout { fail "(timeout) ptype unsigned long pointer" }
458#}
459#
460#
461#send "ptype v_float_pointer\n"
462#gdb_expect {
463# -re "type = float \*.*$gdb_prompt $" { pass "ptype float pointer" }
464# -re ".*$gdb_prompt $" { fail "ptype float pointer" }
465# timeout { fail "(timeout) ptype float pointer" }
466#}
467#
468#
469#send "ptype v_double_pointer\n"
470#gdb_expect {
471# -re "type = double \*.*$gdb_prompt $" { pass "ptype double pointer" }
472# -re ".*$gdb_prompt $" { fail "ptype double pointer" }
473# timeout { fail "(timeout) ptype double pointer" }
474#}
475
476#
477# test ptype command with nested structure and union
478#
085dd6e6
JM
479if {$hp_aCC_compiler} {
480 set outer "outer_struct::"
481 set struct ""
482 set union ""
483} else {
484 set outer ""
485 set struct "struct"
486 set union "union"
487}
488gdb_test "ptype struct outer_struct" "type = struct outer_struct \{.*\[\r\n\]+\
489.*int outer_int;.*\[\r\n\]+\
490.*(struct|) ${outer}inner_struct inner_struct_instance;.*\[\r\n\]+\
491.*(union|) ${outer}inner_union inner_union_instance;.*\[\r\n\]+\
492.*(long|long int|int) outer_long;.*\[\r\n\]\}.*" "ptype outer structure"
c906108c 493
085dd6e6 494gdb_test "ptype ${struct} ${outer}inner_struct" "type = struct ${outer}inner_struct \{.*\[\r\n\] int inner_int;.*\[\r\n\] (long|long int|int) inner_long;.*\[\r\n\]\}.*" "ptype inner structure"
c906108c 495
085dd6e6 496gdb_test "ptype ${union} ${outer}inner_union" "type = union ${outer}inner_union \{.*\[\r\n\] int inner_union_int;.*\[\r\n\] (long|long int|int) inner_union_long;.*\[\r\n\]\}.*" "ptype inner union"
c906108c 497
085dd6e6 498gdb_test "ptype nested_su" "type = struct outer_struct \{.*\[\r\n\] int outer_int;.*\[\r\n\] (struct |)${outer}inner_struct inner_struct_instance;.*\[\r\n\] (union |)${outer}inner_union inner_union_instance;.*\[\r\n\] (long|long int|int) outer_long;.*\[\r\n\]\}.*" "ptype nested structure"
c906108c
SS
499
500gdb_test "ptype nested_su.outer_int" "type = int.*" "ptype outer int"
501
085dd6e6 502gdb_test "ptype nested_su.inner_struct_instance" "type = struct ${outer}inner_struct \{.*\[\r\n\] int inner_int;.*\[\r\n\] (long|long int|int) inner_long;.*\[\r\n\]\}.*" "ptype nested structure #2"
c906108c
SS
503
504gdb_test "ptype nested_su.inner_struct_instance.inner_int" "type = int.*" "ptype inner int"
505
085dd6e6 506gdb_test "ptype nested_su.inner_union_instance" "type = union ${outer}inner_union \{.*\[\r\n\] int inner_union_int;.*\[\r\n\] (long|long int|int) inner_union_long;.*\[\r\n\]\}.*" "ptype nested union"
c906108c 507
919809b9
JB
508# Print the type description of variable the_highest, and verify that
509# the type description for the fields whose type is anonymous are
510# correctly printed (at nesting level 1 and 2).
511
512gdb_test "ptype the_highest" \
513 "type = struct highest \{.*\[\r\n\] *int a;.*\[\r\n\] *struct \{.*\[\r\n\] *int b;.*\[\r\n\] *struct \{\.\.\.\} anonymous_level_2;.*\[\r\n\] *\} anonymous_level_1;.*\[\r\n\]}.*" \
514 "ptype the_highest"
515
516# Print the type descrption for one of the fields of variable the_highest.
517# The purpose is to verify that the type of a field that was printed above
518# as "struct {...}" is now printed in a more descriptive way (because the
519# nesting level is now one level less).
520
521gdb_test "ptype the_highest.anonymous_level_1" \
522 "type = struct \{.*\[\r\n\] *int b;.*\[\r\n\] *struct \{.*\[\r\n\] *int c;.*\[\r\n\] *\} anonymous_level_2;.*\[\r\n\]}.*" \
523 "ptype the_highest"
a640f7fc
JB
524
525get_debug_format
526
527# Print the type of the identifier ID, and check the response:
528# - Expect to see PROTOTYPED as the type. PROTOTYPED is not a regular
529# expression; it's a literal string.
530# - If we instead see the unprototyped type PLAIN, and we're using STABS
531# generated by GCC, that's an xfail; as of 9 Feb 2002, GCC never emits
532# prototyped function types in STABS. Like PROTOTYPED, PLAIN is a
533# literal string, not a regular expression.
a6c727b2
DJ
534# - If we see OVERPROTOTYPED, it's an xfail for RealView; RealView
535# does not distinguish prototyped and unprototyped functions, and
536# GDB defaults to prototyped.
a640f7fc 537# - Otherwise, it's a failure.
a6c727b2 538proc ptype_maybe_prototyped { id prototyped plain { overprototyped "NO-MATCH" } } {
a640f7fc
JB
539 global gdb_prompt
540 global gcc_compiled
541
a6c727b2 542 # Turn the arguments, which are literal strings, into
a640f7fc 543 # regular expressions by quoting any special characters they contain.
a6c727b2
DJ
544 foreach var { prototyped plain overprototyped } {
545 eval "set val \$$var"
546 regsub -all "\[\]\[*()\]" $val "\\\\&" val
547 regsub -all "short int" $val "short( int)?" val
548 regsub -all "long int" $val "long( int)?" val
549 eval "set $var \$val"
550 }
a640f7fc 551
65731a6b 552 gdb_test_multiple "ptype $id" "ptype $id" {
a640f7fc
JB
553 -re "type = $prototyped\[\r\n\]+$gdb_prompt $" {
554 pass "ptype $id"
555 }
556 -re "type = $plain\[\r\n\]+$gdb_prompt $" {
557 if {$gcc_compiled} { setup_xfail_format "stabs" }
558 fail "ptype $id (compiler doesn't emit prototyped types)"
559 }
a6c727b2
DJ
560 -re "type = $overprototyped\[\r\n\]+$gdb_prompt $" {
561 if { [test_compiler_info "armcc-*"] } {
562 setup_xfail "*-*-*"
563 }
564 fail "ptype $id (compiler doesn't emit unprototyped types)"
565 }
a640f7fc
JB
566 }
567}
568
569ptype_maybe_prototyped "func_type" "int (*)(int (*)(int, float), float)" \
570 "int (*)()"
a6c727b2
DJ
571ptype_maybe_prototyped "old_fptr" "double (*)()" "double (*)()" \
572 "double (*)(void)"
a640f7fc
JB
573ptype_maybe_prototyped "new_fptr" "double (*)(void)" "double (*)()"
574ptype_maybe_prototyped "fptr" "int (*)(int, float)" "int (*)()"
575ptype_maybe_prototyped "fptr2" "int *(*)(int (*)(int, float), float)" \
576 "int *(*)()"
577ptype_maybe_prototyped "xptr" "int (*)(int (*)(), int (*)(void), int)" \
a6c727b2
DJ
578 "int (*)()" \
579 "int (*)(int (*)(void), int (*)(void), int)"
a640f7fc
JB
580ptype_maybe_prototyped "ffptr" "int (*(*)(char))(short int)" \
581 "int (*(*)())()"
582ptype_maybe_prototyped "fffptr" "int (*(*(*)(char))(short int))(long int)" \
583 "int (*(*(*)())())()"
584
f4d85314
FF
585# Test printing type of typedefs in different scopes, with same name
586# but different type.
587
f6978de9 588gdb_test "list intfoo" ".*"
f4d85314 589gdb_test "ptype foo" "type = int" "ptype foo typedef after first list of intfoo"
f6978de9 590gdb_test "list charfoo" ".*"
f4d85314 591gdb_test "ptype foo" "type = char" "ptype foo typedef after first list of charfoo"
f6978de9 592gdb_test "list intfoo" ".*"
f4d85314 593gdb_test "ptype foo" "type = int" "ptype foo typedef after second list of intfoo"
f6978de9 594gdb_test "list charfoo" ".*"
f4d85314
FF
595gdb_test "ptype foo" "type = char" "ptype foo typedef after second list of charfoo"
596
c906108c
SS
597# Test printing type of string constants and array constants, but
598# requires a running process. These call malloc, and can take a long
599# time to execute over a slow serial link, so increase the timeout.
600
601# UDI can't do this (PR 2416). XFAIL is not suitable, because attempting
602# the operation causes a slow painful death rather than a nice simple failure.
603
604if [runto_main] then {
605
c906108c
SS
606 if [target_info exists gdb,cannot_call_functions] {
607 setup_xfail "*-*-*" 2416
608 fail "This target can not call functions"
609 continue
610 }
611
9846de1b
JM
612 # We need to up this because this can be really slow on some boards.
613 # (malloc() is called as part of the test).
97f2ed50
DJ
614 set prev_timeout $timeout
615 set timeout 60
9846de1b 616
c906108c
SS
617 gdb_test "ptype \"abc\"" "type = char \\\[4\\\]"
618 gdb_test "ptype {'a','b','c'}" "type = char \\\[3\\\]"
619 gdb_test "ptype {0,1,2}" "type = int \\\[3\\\]"
620 gdb_test "ptype {(long)0,(long)1,(long)2}" "type = long \\\[3\\\]"
621 gdb_test "ptype {(float)0,(float)1,(float)2}" "type = float \\\[3\\\]"
622 gdb_test "ptype {{0,1,2},{3,4,5}}" "type = int \\\[2\\\]\\\[3\\\]"
623 gdb_test "ptype {4,5,6}\[2\]" "type = int"
63092375 624 gdb_test "ptype *&{4,5,6}\[1\]" "Attempt to take address of value not located in memory."
ce75a98f 625
97f2ed50
DJ
626 set timeout $prev_timeout
627
ce75a98f
JB
628 # Test ptype of user register
629 gdb_test "ptype \$pc" "void \\(\\*\\)\\(\\)" "ptype \$pc"
c906108c 630}
This page took 1.32249 seconds and 4 git commands to generate.