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