gdb/testsuite/gdb.base/ptype.exp

   1 # Copyright 1988, 1990, 1991, 1992, 1994, 1995, 1996, 1997, 1999, 2000, 2002,
   2 # 2003, 2007, 2008 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
  22 if $tracelevel then {
  23         strace $tracelevel
  24         }
  25
  26 #
  27 # test running programs
  28 #
  29 set prms_id 0
  30 set bug_id 0
  31
  32 set testfile "ptype"
  33 set srcfile0 ${testfile}.c
  34 set srcfile1 ${testfile}1.c
  35 set binfile ${objdir}/${subdir}/${testfile}
  36
  37 if  { [gdb_compile "${srcdir}/${subdir}/${srcfile0}" "${binfile}0.o" object {debug}] != "" } {
  38      untested ptype.exp
  39      return -1
  40 }
  41 if  { [gdb_compile "${srcdir}/${subdir}/${srcfile1}" "${binfile}1.o" object {debug}] != "" } {
  42      untested ptype.exp
  43      return -1
  44 }
  45 if  { [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.
  52 if [get_compiler_info ${binfile}] {
  53     return -1;
  54 }
  55
  56 gdb_exit
  57 gdb_start
  58 gdb_reinitialize_dir $srcdir/$subdir
  59 gdb_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
  66 send_gdb "ptype red1\n"
  67 gdb_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).
  86 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"
  87
  88
  89 # Test the equivalence between '.' and '->' for struct member references.
  90
  91 if [gdb_test "ptype v_struct1.v_float_member"   "type = float"]<0 then {
  92     return -1
  93 }
  94 if [gdb_test "ptype v_struct1->v_float_member"  "type = float"]<0 then {
  95     return -1
  96 }
  97 if [gdb_test "ptype v_t_struct_p.v_float_member"        "type = float"]<0 then {
  98     return -1
  99 }
 100 if [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
 108 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"
 109
 110 #
 111 # test ptype command with unions
 112 #
 113 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"
 114
 115 # IBM's xlc puts out bogus stabs--the stuff field is type 42,
 116 # which isn't defined.
 117 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"
 118
 119 #
 120 # test ptype command with enums
 121 #
 122
 123 gdb_test "ptype primary" "type = enum .red, green, blue.*" "ptype unnamed enumeration"
 124
 125 gdb_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 #
 131 gdb_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
 142 if {!$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.
 148 gdb_test "list main" ""
 149 get_debug_format
 150 gdb_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.
 154 gdb_test "ptype t_struct3" "type = struct (t_struct3 |)\{.*
 155  *double v_double_member;.*
 156  *int v_int_member;.*\}" "printing typedef'd struct"
 157
 158 gdb_test "ptype t_union3" "type = union (t_union3 |)\{.*
 159  *double v_double_member;.*
 160  *int v_int_member;.*\}" "printing typedef'd union"
 161
 162 gdb_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 #
 167 gdb_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 #
 172 gdb_test "ptype three" "type = enum misordered \{two = 2, one = 1, zero = 0, three = 3\}.*" "ptype named enumeration member"
 173
 174 gdb_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
 209 gdb_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
 227 gdb_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
 381 if {!$gcc_compiled} then { setup_xfail "rs6000-*-*" "i*86-*-sysv4*" }
 382 if {$hp_aCC_compiler} {setup_xfail "hppa*-*-*"}
 383 gdb_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 #
 506 if {$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 }
 515 gdb_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
 521 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"
 522
 523 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"
 524
 525 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"
 526
 527 gdb_test "ptype nested_su.outer_int" "type = int.*" "ptype outer int"
 528
 529 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"
 530
 531 gdb_test "ptype nested_su.inner_struct_instance.inner_int" "type = int.*" "ptype inner int"
 532
 533 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"
 534
 535 # Print the type description of variable the_highest, and verify that
 536 # the type description for the fields whose type is anonymous are
 537 # correctly printed (at nesting level 1 and 2).
 538
 539 gdb_test "ptype the_highest" \
 540          "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\]}.*" \
 541          "ptype the_highest"
 542
 543 # Print the type descrption for one of the fields of variable the_highest.
 544 # The purpose is to verify that the type of a field that was printed above
 545 # as "struct {...}" is now printed in a more descriptive way (because the
 546 # nesting level is now one level less).
 547
 548 gdb_test "ptype the_highest.anonymous_level_1" \
 549          "type = struct \{.*\[\r\n\] *int b;.*\[\r\n\] *struct \{.*\[\r\n\] *int c;.*\[\r\n\] *\} anonymous_level_2;.*\[\r\n\]}.*" \
 550          "ptype the_highest"
 551
 552 get_debug_format
 553
 554 # Print the type of the identifier ID, and check the response:
 555 # - Expect to see PROTOTYPED as the type.  PROTOTYPED is not a regular
 556 #   expression; it's a literal string.
 557 # - If we instead see the unprototyped type PLAIN, and we're using STABS
 558 #   generated by GCC, that's an xfail; as of 9 Feb 2002, GCC never emits
 559 #   prototyped function types in STABS.  Like PROTOTYPED, PLAIN is a
 560 #   literal string, not a regular expression.
 561 # - Otherwise, it's a failure.
 562 proc ptype_maybe_prototyped { id prototyped plain } {
 563     global gdb_prompt
 564     global gcc_compiled
 565
 566     # Turn `prototyped' and `plain', which are literal strings, into
 567     # regular expressions by quoting any special characters they contain.
 568     regsub -all "\[\]\[*()\]" $prototyped "\\\\&" prototyped
 569     regsub -all "\[\]\[*()\]" $plain "\\\\&" plain
 570
 571     send_gdb "ptype $id\n"
 572     gdb_expect {
 573         -re "type = $prototyped\[\r\n\]+$gdb_prompt $" {
 574             pass "ptype $id"
 575         }
 576         -re "type = $plain\[\r\n\]+$gdb_prompt $" {
 577             if {$gcc_compiled} { setup_xfail_format "stabs" }
 578             fail "ptype $id (compiler doesn't emit prototyped types)"
 579         }
 580         -re "$gdb_prompt $" {
 581             fail "ptype $id"
 582         }
 583         timeout {
 584             fail "ptype $id (timeout)"
 585         }
 586     }
 587 }
 588
 589 ptype_maybe_prototyped "func_type" "int (*)(int (*)(int, float), float)" \
 590                                    "int (*)()"
 591 ptype_maybe_prototyped "old_fptr" "double (*)()" "double (*)()"
 592 ptype_maybe_prototyped "new_fptr" "double (*)(void)" "double (*)()"
 593 ptype_maybe_prototyped "fptr" "int (*)(int, float)" "int (*)()"
 594 ptype_maybe_prototyped "fptr2" "int *(*)(int (*)(int, float), float)" \
 595                                "int *(*)()"
 596 ptype_maybe_prototyped "xptr" "int (*)(int (*)(), int (*)(void), int)" \
 597                               "int (*)()"
 598 ptype_maybe_prototyped "ffptr" "int (*(*)(char))(short int)" \
 599                                "int (*(*)())()"
 600 ptype_maybe_prototyped "fffptr" "int (*(*(*)(char))(short int))(long int)" \
 601                                 "int (*(*(*)())())()"
 602
 603 # Test printing type of typedefs in different scopes, with same name
 604 # but different type.
 605
 606 gdb_test "list intfoo" ""
 607 gdb_test "ptype foo" "type = int" "ptype foo typedef after first list of intfoo"
 608 gdb_test "list charfoo" ""
 609 gdb_test "ptype foo" "type = char" "ptype foo typedef after first list of charfoo"
 610 gdb_test "list intfoo" ""
 611 gdb_test "ptype foo" "type = int" "ptype foo typedef after second list of intfoo"
 612 gdb_test "list charfoo" ""
 613 gdb_test "ptype foo" "type = char" "ptype foo typedef after second list of charfoo"
 614
 615 # Test printing type of string constants and array constants, but
 616 # requires a running process.  These call malloc, and can take a long
 617 # time to execute over a slow serial link, so increase the timeout.
 618
 619 # UDI can't do this (PR 2416).  XFAIL is not suitable, because attempting
 620 # the operation causes a slow painful death rather than a nice simple failure.
 621
 622 if [runto_main] then {
 623
 624   if [target_info exists gdb,cannot_call_functions] {
 625     setup_xfail "*-*-*" 2416
 626     fail "This target can not call functions"
 627     continue
 628   }
 629
 630   # We need to up this because this can be really slow on some boards.
 631   # (malloc() is called as part of the test).
 632   set timeout 60;
 633
 634   gdb_test "ptype \"abc\""      "type = char \\\[4\\\]"
 635   gdb_test "ptype {'a','b','c'}"        "type = char \\\[3\\\]"
 636   gdb_test "ptype {0,1,2}"              "type = int \\\[3\\\]"
 637   gdb_test "ptype {(long)0,(long)1,(long)2}"      "type = long \\\[3\\\]"
 638   gdb_test "ptype {(float)0,(float)1,(float)2}" "type = float \\\[3\\\]"
 639   gdb_test "ptype {{0,1,2},{3,4,5}}"    "type = int \\\[2\\\]\\\[3\\\]"
 640   gdb_test "ptype {4,5,6}\[2\]" "type = int"
 641   gdb_test "ptype *&{4,5,6}\[1\]"       "Attempt to take address of value not located in memory."
 642
 643   # Test ptype of user register
 644   gdb_test "ptype \$pc" "void \\(\\*\\)\\(\\)" "ptype \$pc"
 645 }