1 # Copyright 1988, 1990, 1991, 1992, 1994, 1995, 1996, 1997, 1999,
2 # 2000, 2002, 2003 Free Software Foundation, Inc.
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 2 of the License, or
7 # (at your option) any later version.
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.
14 # You should have received a copy of the GNU General Public License
15 # along with this program; if not, write to the Free Software
16 # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
18 # Please email any bugs, comments, and/or additions to this file to:
28 # test running programs
34 set srcfile ${testfile}.c
35 set binfile ${objdir}/${subdir}/${testfile}
36 if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug}] != "" } {
37 gdb_suppress_entire_file "Testcase compile failed, so all tests in this file will automatically fail."
40 # Create and source the file that provides information about the compiler
41 # used to compile the test case.
42 if [get_compiler_info ${binfile}] {
48 gdb_reinitialize_dir $srcdir/$subdir
51 # Test ptype of unnamed enumeration members before any action causes
52 # the partial symbol table to be expanded to full symbols. This fails
53 # with stabs compilers which fail to use a nameless stab (such as
54 # pre-2.4.5 versions of gcc and most non-gcc compilers).
56 send_gdb "ptype red1\n"
58 -re "type = enum primary1_tag \{red1, green1, blue1\}.*$gdb_prompt $"\
60 # The workaround is in effect. As this is a compiler, not GDB,
61 # bug, we'll make it a PASS but perhaps it should be an XFAIL.
62 pass "ptype unnamed enumeration member (worked around)"
64 -re "type = enum \{red1, green1, blue1\}.*$gdb_prompt $"\
65 { pass "ptype unnamed enumeration member" }
66 -re ".*$gdb_prompt $" { fail "ptype unnamed enumeration member" }
67 timeout { fail "(timeout) ptype unnamed enumeration member" }
71 # test ptype command with structures
73 # Here and elsewhere, we accept
74 # "long", "long int", or "int" for long variables (whatis.exp already
75 # has an XFAIL for "int" (Sun cc bug), so no need to fail it here).
76 gdb_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"
79 # Test the equivalence between '.' and '->' for struct member references.
81 if [gdb_test "ptype v_struct1.v_float_member" "type = float"]<0 then {
84 if [gdb_test "ptype v_struct1->v_float_member" "type = float"]<0 then {
87 if [gdb_test "ptype v_t_struct_p.v_float_member" "type = float"]<0 then {
90 if [gdb_test "ptype v_t_struct_p->v_float_member" "type = float"]<0 then {
95 # IBM's xlc puts out bogus stabs--the stuff field is type 42,
96 # which isn't defined.
98 gdb_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"
101 # test ptype command with unions
103 gdb_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"
105 # IBM's xlc puts out bogus stabs--the stuff field is type 42,
106 # which isn't defined.
107 gdb_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"
110 # test ptype command with enums
113 gdb_test "ptype primary" "type = enum .red, green, blue.*" "ptype unnamed enumeration"
115 gdb_test "ptype enum colors" "type = enum colors \{yellow, purple, pink\}.*" "ptype named enumeration"
119 # test ptype command with enums as typedef
121 gdb_test "ptype boolean" "type = enum (boolean |)\{FALSE, TRUE\}.*" "ptype unnamed typedef'd enumeration"
123 # And check that whatis shows the name, not "enum {...}".
124 # This probably fails for all DWARF 1 cases, so assume so for now. -fnf
125 # The problem with xlc is that the stabs look like
126 # :t51=eFALSE:0,TRUE:1,;
129 # GDB's behavior is correct; the type which the variable is defined
130 # as (51) doesn't have a name. Only 55 has a name.
132 if {!$gcc_compiled && !$hp_aCC_compiler} {
133 setup_xfail "rs6000-*-*" "i*86-*-sysv4*"
134 setup_xfail "hppa*-*-*" CLLbs14773
137 # For get_debug_format to do its job, we need to have a current source file.
138 gdb_test "list main" ""
140 gdb_test "whatis v_boolean" "type = (enum |)boolean" \
141 "whatis unnamed typedef'd enum (compiler bug in IBM's xlc)"
143 # Same thing with struct and union.
144 gdb_test "ptype t_struct3" "type = struct (t_struct3 |)\{.*
145 *double v_double_member;.*
146 *int v_int_member;.*\}" "printing typedef'd struct"
148 gdb_test "ptype t_union3" "type = union (t_union3 |)\{.*
149 *double v_double_member;.*
150 *int v_int_member;.*\}" "printing typedef'd union"
152 gdb_test "ptype enum bvals" "type = enum bvals \{my_false, my_true\}.*" "ptype named typedef'd enumf'd enum"
155 # test ptype command with out-of-order enum values
157 gdb_test "ptype enum misordered" "type = enum misordered \{two = 2, one = 1, zero = 0, three = 3\}.*" "ptype misordered enumeration"
160 # test ptype command with a named enum's value
162 gdb_test "ptype three" "type = enum misordered \{two = 2, one = 1, zero = 0, three = 3\}.*" "ptype named enumeration member"
164 gdb_test "ptype red" "type = enum \{red, green, blue\}.*" "ptype unnamed enumeration member #2"
167 # test ptype command with basic C types
169 # I've commented most of this out because it duplicates tests in whatis.exp.
170 # I've just left in a token test or 2 which is designed to test that ptype
171 # acts like whatis for basic types. If it is thought to be necessary to
172 # test both whatis and ptype for all the types, the tests should be
173 # merged into whatis.exp, or else maintenance will be a royal pain -kingdon
174 #setup_xfail "mips-idt-*" "mips-sgi-*"
175 #send "ptype v_char\n"
177 # -re "type = char.*$gdb_prompt $" { pass "ptype char" }
178 # -re ".*$gdb_prompt $" { fail "ptype char" }
179 # timeout { fail "(timeout) ptype char" }
183 #setup_xfail "mips-*-*"
184 #send "ptype v_signed_char\n"
186 # -re "type = signed char.*$gdb_prompt $" { pass "ptype signed char" }
187 # -re ".*$gdb_prompt $" { fail "ptype signed char" }
188 # timeout { fail "(timeout) ptype signed char" }
192 #send "ptype v_unsigned_char\n"
194 # -re "type = unsigned char.*$gdb_prompt $" { pass "ptype unsigned char" }
195 # -re ".*$gdb_prompt $" { fail "ptype unsigned char" }
196 # timeout { fail "(timeout) ptype unsigned char" }
199 gdb_test "ptype v_short" "type = short(| int).*" "ptype short"
201 #send "ptype v_signed_short\n"
203 # -re "type = short.*$gdb_prompt $" { pass "ptype signed short" }
204 # -re ".*$gdb_prompt $" { fail "ptype signed short" }
205 # timeout { fail "(timeout) ptype signed short" }
209 #send "ptype v_unsigned_short\n"
211 # -re "type = unsigned short.*$gdb_prompt $" { pass "ptype unsigned short" }
212 # -re ".*$gdb_prompt $" { fail "ptype unsigned short" }
213 # timeout { fail "(timeout) ptype unsigned short" }
217 gdb_test "ptype v_int" "type = int.*" "ptype int"
219 #send "ptype v_signed_int\n"
221 # -re "type = int.*$gdb_prompt $" { pass "ptype signed int" }
222 # -re ".*$gdb_prompt $" { fail "ptype signed int" }
223 # timeout { fail "(timeout) ptype signed int" }
227 #send "ptype v_unsigned_int\n"
229 # -re "type = unsigned int.*$gdb_prompt $" { pass "ptype unsigned int" }
230 # -re ".*$gdb_prompt $" { fail "ptype unsigned int" }
231 # timeout { fail "(timeout) ptype unsigned int" }
235 #send "ptype v_long\n"
237 # -re "type = long.*$gdb_prompt $" { pass "ptype long" }
238 # -re ".*$gdb_prompt $" { fail "ptype long" }
239 # timeout { fail "(timeout) ptype long" }
243 #send "ptype v_signed_long\n"
245 # -re "type = long.*$gdb_prompt $" { pass "ptype signed long" }
246 # -re ".*$gdb_prompt $" { fail "ptype signed long" }
247 # timeout { fail "(timeout) ptype signed long" }
251 #send "ptype v_unsigned_long\n"
253 # -re "type = unsigned long.*$gdb_prompt $" { pass "ptype unsigned long" }
254 # -re ".*$gdb_prompt $" { fail "ptype unsigned long" }
255 # timeout { fail "(timeout) ptype unsigned long" }
259 #send "ptype v_float\n"
261 # -re "type = float.*$gdb_prompt $" { pass "ptype float" }
262 # -re ".*$gdb_prompt $" { fail "ptype float" }
263 # timeout { fail "(timeout) ptype float" }
267 #send "ptype v_double\n"
269 # -re "type = double.*$gdb_prompt $" { pass "ptype double" }
270 # -re ".*$gdb_prompt $" { fail "ptype double" }
271 # timeout { fail "(timeout) ptype double" }
276 # test ptype command with arrays
278 #setup_xfail "mips-idt-*" "mips-sgi-*"
279 #send "ptype v_char_array\n"
281 # -re "type = char .2..*$gdb_prompt $" { pass "ptype char array" }
282 # -re ".*$gdb_prompt $" { fail "ptype char array" }
283 # timeout { fail "(timeout) ptype char array" }
287 #setup_xfail "mips-*-*"
288 #send "ptype v_signed_char_array\n"
290 # -re "type = (|signed )char .2..*$gdb_prompt $" { pass "ptype signed char array" }
291 # -re ".*$gdb_prompt $" { fail "ptype signed char array" }
292 # timeout { fail "(timeout) ptype signed char array" }
296 #send "ptype v_unsigned_char_array\n"
298 # -re "type = unsigned char .2..*$gdb_prompt $" { pass "ptype unsigned char array" }
299 # -re ".*$gdb_prompt $" { fail "ptype unsigned char array" }
300 # timeout { fail "(timeout) ptype unsigned char array" }
305 #send "ptype v_int_array\n"
307 # -re "type = int .2..*$gdb_prompt $" { pass "ptype int array" }
308 # -re ".*$gdb_prompt $" { fail "ptype int array" }
309 # timeout { fail "(timeout) ptype int array" }
313 #send "ptype v_signed_int_array\n"
315 # -re "type = int .2..*$gdb_prompt $" { pass "ptype signed int array" }
316 # -re ".*$gdb_prompt $" { fail "ptype signed int array" }
317 # timeout { fail "(timeout) ptype signed int array" }
321 #send "ptype v_unsigned_int_array\n"
323 # -re "type = unsigned int .2..*$gdb_prompt $" { pass "ptype unsigned int array" }
324 # -re ".*$gdb_prompt $" { fail "ptype unsigned int array" }
325 # timeout { fail "(timeout) ptype unsigned int array" }
329 #send "ptype v_long_array\n"
331 # -re "type = (long|int|long int) .2..*$gdb_prompt $" {
332 # pass "ptype long array" }
333 # -re ".*$gdb_prompt $" { fail "ptype long array" }
334 # timeout { fail "(timeout) ptype long array" }
338 #send "ptype v_signed_long_array\n"
340 # -re "type = (long|int|long int) .2..*$gdb_prompt $" {
341 # pass "ptype signed long array" }
342 # -re ".*$gdb_prompt $" { fail "ptype signed long array" }
343 # timeout { fail "(timeout) ptype signed long array" }
347 #send "ptype v_unsigned_long_array\n"
349 # -re "type = unsigned long .2..*$gdb_prompt $" { pass "ptype unsigned long array" }
350 # -re ".*$gdb_prompt $" { fail "ptype unsigned long array" }
351 # timeout { fail "(timeout) ptype unsigned long array" }
355 #send "ptype v_float_array\n"
357 # -re "type = float .2..*$gdb_prompt $" { pass "ptype float array" }
358 # -re ".*$gdb_prompt $" { fail "ptype float array" }
359 # timeout { fail "(timeout) ptype float array" }
363 #send "ptype v_double_array\n"
365 # -re "type = double .2..*$gdb_prompt $" { pass "ptype double array" }
366 # -re ".*$gdb_prompt $" { fail "ptype double array" }
367 # timeout { fail "(timeout) ptype double array" }
371 if {!$gcc_compiled} then { setup_xfail "rs6000-*-*" "i*86-*-sysv4*" }
372 if {$hp_aCC_compiler} {setup_xfail "hppa*-*-*"}
373 gdb_test "ptype t_char_array" "type = (|unsigned )char \\\[0?\\\]"
377 ## test ptype command with pointers
379 #setup_xfail "mips-idt-*" "mips-sgi-*"
380 #send "ptype v_char_pointer\n"
382 # -re "type = char \*.*$gdb_prompt $" { pass "ptype char pointer" }
383 # -re ".*$gdb_prompt $" { fail "ptype char pointer" }
384 # timeout { fail "(timeout) ptype char pointer" }
388 #setup_xfail "mips-*-*"
389 #send "ptype v_signed_char_pointer\n"
391 # -re "type = (|signed )char \*.*$gdb_prompt $"
392 # { pass "ptype signed char pointer" }
393 # -re ".*$gdb_prompt $" { fail "ptype signed char pointer" }
394 # timeout { fail "(timeout) ptype signed char pointer" }
398 #send "ptype v_unsigned_char_pointer\n"
400 # -re "type = unsigned char \*.*$gdb_prompt $" { pass "ptype unsigned char pointer" }
401 # -re ".*$gdb_prompt $" { fail "ptype unsigned char pointer" }
402 # timeout { fail "(timeout) ptype unsigned char pointer" }
406 #send "ptype v_short_pointer\n"
408 # -re "type = (short|short int) \*.*$gdb_prompt $" { pass "ptype short pointer" }
409 # -re ".*$gdb_prompt $" { fail "ptype short pointer" }
410 # timeout { fail "(timeout) ptype short pointer" }
414 #send "ptype v_signed_short_pointer\n"
416 # -re "type = short \*.*$gdb_prompt $" { pass "ptype signed short pointer" }
417 # -re ".*$gdb_prompt $" { fail "ptype signed short pointer" }
418 # timeout { fail "(timeout) ptype signed short pointer" }
422 #send "ptype v_unsigned_short_pointer\n"
424 # -re "type = unsigned short \*.*$gdb_prompt $" { pass "ptype unsigned short pointer" }
425 # -re ".*$gdb_prompt $" { fail "ptype unsigned short pointer" }
426 # timeout { fail "(timeout) ptype unsigned short pointer" }
430 #send "ptype v_int_pointer\n"
432 # -re "type = int \*.*$gdb_prompt $" { pass "ptype int pointer" }
433 # -re ".*$gdb_prompt $" { fail "ptype int pointer" }
434 # timeout { fail "(timeout) ptype int pointer" }
438 #send "ptype v_signed_int_pointer\n"
440 # -re "type = int \*.*$gdb_prompt $" { pass "ptype signed int pointer" }
441 # -re ".*$gdb_prompt $" { fail "ptype signed int pointer" }
442 # timeout { fail "(timeout) ptype signed int pointer" }
446 #send "ptype v_unsigned_int_pointer\n"
448 # -re "type = unsigned int \*.*$gdb_prompt $" { pass "ptype unsigned int pointer" }
449 # -re ".*$gdb_prompt $" { fail "ptype unsigned int pointer" }
450 # timeout { fail "(timeout) ptype unsigned int pointer" }
454 #send "ptype v_long_pointer\n"
456 # -re "type = long \*.*$gdb_prompt $" { pass "ptype long pointer" }
457 # -re ".*$gdb_prompt $" { fail "ptype long pointer" }
458 # timeout { fail "(timeout) ptype long pointer" }
462 #send "ptype v_signed_long_pointer\n"
464 # -re "type = long \*.*$gdb_prompt $" { pass "ptype signed long pointer" }
465 # -re ".*$gdb_prompt $" { fail "ptype signed long pointer" }
466 # timeout { fail "(timeout) ptype signed long pointer" }
470 #send "ptype v_unsigned_long_pointer\n"
472 # -re "type = unsigned long \*.*$gdb_prompt $" { pass "ptype unsigned long pointer" }
473 # -re ".*$gdb_prompt $" { fail "ptype unsigned long pointer" }
474 # timeout { fail "(timeout) ptype unsigned long pointer" }
478 #send "ptype v_float_pointer\n"
480 # -re "type = float \*.*$gdb_prompt $" { pass "ptype float pointer" }
481 # -re ".*$gdb_prompt $" { fail "ptype float pointer" }
482 # timeout { fail "(timeout) ptype float pointer" }
486 #send "ptype v_double_pointer\n"
488 # -re "type = double \*.*$gdb_prompt $" { pass "ptype double pointer" }
489 # -re ".*$gdb_prompt $" { fail "ptype double pointer" }
490 # timeout { fail "(timeout) ptype double pointer" }
494 # test ptype command with nested structure and union
496 if {$hp_aCC_compiler} {
497 set outer "outer_struct::"
505 gdb_test "ptype struct outer_struct" "type = struct outer_struct \{.*\[\r\n\]+\
506 .*int outer_int;.*\[\r\n\]+\
507 .*(struct|) ${outer}inner_struct inner_struct_instance;.*\[\r\n\]+\
508 .*(union|) ${outer}inner_union inner_union_instance;.*\[\r\n\]+\
509 .*(long|long int|int) outer_long;.*\[\r\n\]\}.*" "ptype outer structure"
511 gdb_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"
513 gdb_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"
515 gdb_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"
517 gdb_test "ptype nested_su.outer_int" "type = int.*" "ptype outer int"
519 gdb_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"
521 gdb_test "ptype nested_su.inner_struct_instance.inner_int" "type = int.*" "ptype inner int"
523 gdb_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"
528 # Print the type of the identifier ID, and check the response:
529 # - Expect to see PROTOTYPED as the type. PROTOTYPED is not a regular
530 # expression; it's a literal string.
531 # - If we instead see the unprototyped type PLAIN, and we're using STABS
532 # generated by GCC, that's an xfail; as of 9 Feb 2002, GCC never emits
533 # prototyped function types in STABS. Like PROTOTYPED, PLAIN is a
534 # literal string, not a regular expression.
535 # - Otherwise, it's a failure.
536 proc ptype_maybe_prototyped { id prototyped plain } {
540 # Turn `prototyped' and `plain', which are literal strings, into
541 # regular expressions by quoting any special characters they contain.
542 regsub -all "\[\]\[*()\]" $prototyped "\\\\&" prototyped
543 regsub -all "\[\]\[*()\]" $plain "\\\\&" plain
545 send_gdb "ptype $id\n"
547 -re "type = $prototyped\[\r\n\]+$gdb_prompt $" {
550 -re "type = $plain\[\r\n\]+$gdb_prompt $" {
551 if {$gcc_compiled} { setup_xfail_format "stabs" }
552 fail "ptype $id (compiler doesn't emit prototyped types)"
554 -re "$gdb_prompt $" {
558 fail "ptype $id (timeout)"
563 ptype_maybe_prototyped "func_type" "int (*)(int (*)(int, float), float)" \
565 ptype_maybe_prototyped "old_fptr" "double (*)()" "double (*)()"
566 ptype_maybe_prototyped "new_fptr" "double (*)(void)" "double (*)()"
567 ptype_maybe_prototyped "fptr" "int (*)(int, float)" "int (*)()"
568 ptype_maybe_prototyped "fptr2" "int *(*)(int (*)(int, float), float)" \
570 ptype_maybe_prototyped "xptr" "int (*)(int (*)(), int (*)(void), int)" \
572 ptype_maybe_prototyped "ffptr" "int (*(*)(char))(short int)" \
574 ptype_maybe_prototyped "fffptr" "int (*(*(*)(char))(short int))(long int)" \
575 "int (*(*(*)())())()"
577 # Test printing type of string constants and array constants, but
578 # requires a running process. These call malloc, and can take a long
579 # time to execute over a slow serial link, so increase the timeout.
581 # UDI can't do this (PR 2416). XFAIL is not suitable, because attempting
582 # the operation causes a slow painful death rather than a nice simple failure.
584 if [runto_main] then {
586 if [target_info exists gdb,cannot_call_functions] {
587 setup_xfail "*-*-*" 2416
588 fail "This target can not call functions"
592 # We need to up this because this can be really slow on some boards.
593 # (malloc() is called as part of the test).
596 gdb_test "ptype \"abc\"" "type = char \\\[4\\\]"
597 gdb_test "ptype {'a','b','c'}" "type = char \\\[3\\\]"
598 gdb_test "ptype {0,1,2}" "type = int \\\[3\\\]"
599 gdb_test "ptype {(long)0,(long)1,(long)2}" "type = long \\\[3\\\]"
600 gdb_test "ptype {(float)0,(float)1,(float)2}" "type = float \\\[3\\\]"
601 gdb_test "ptype {{0,1,2},{3,4,5}}" "type = int \\\[2\\\]\\\[3\\\]"
602 gdb_test "ptype {4,5,6}\[2\]" "type = int"
603 gdb_test "ptype *&{4,5,6}\[1\]" "type = int"