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