gdb/testsuite/gdb.base/sizeof.exp

   1 # This testcase is part of GDB, the GNU debugger.
   2
   3 # Copyright 2000-2023 Free Software Foundation, Inc.
   4
   5 # This program is free software; you can redistribute it and/or modify
   6 # it under the terms of the GNU General Public License as published by
   7 # the Free Software Foundation; either version 3 of the License, or
   8 # (at your option) any later version.
   9 #
  10 # This program is distributed in the hope that it will be useful,
  11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 # GNU General Public License for more details.
  14 #
  15 # You should have received a copy of the GNU General Public License
  16 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
  17
  18 #
  19 # test running programs
  20 #
  21
  22 standard_testfile
  23
  24 if {[prepare_for_testing "failed to prepare" $testfile $srcfile debug]} {
  25     return -1
  26 }
  27
  28 #
  29 # set it up at a breakpoint so we can play with the variable values
  30 #
  31
  32 if {![runto_main]} {
  33     return
  34 }
  35
  36 #
  37 # Query GDB for the size of various types
  38 #
  39
  40 gdb_test "next"
  41
  42 set sizeof_char [get_sizeof "char" 1]
  43 set sizeof_short [get_sizeof "short" 2]
  44 set sizeof_int [get_sizeof "int" 4]
  45 set sizeof_long [get_sizeof "long" 4]
  46 set sizeof_long_long [get_sizeof "long long" 8]
  47
  48 set sizeof_data_ptr [get_sizeof "void *" 4]
  49 set sizeof_func_ptr [get_sizeof "void (*)(void)" 4]
  50
  51 set sizeof_float [get_sizeof "float" 4]
  52 set sizeof_double [get_sizeof "double" 8]
  53 set sizeof_long_double [get_sizeof "long double" 8]
  54
  55 #
  56 # Compare GDB's idea of types with the running program
  57 #
  58
  59 proc check_sizeof { type size } {
  60     with_test_prefix "check sizeof \"$type\"" {
  61         gdb_test "next"
  62         gdb_test "p size" " = ${size}" "size matches"
  63     }
  64 }
  65
  66 check_sizeof "char" ${sizeof_char}
  67 check_sizeof "short" ${sizeof_short}
  68 check_sizeof "int" ${sizeof_int}
  69 check_sizeof "long" ${sizeof_long}
  70 check_sizeof "long long" ${sizeof_long_long}
  71
  72 check_sizeof "void *" ${sizeof_data_ptr}
  73 check_sizeof "void (*)(void)" ${sizeof_func_ptr}
  74
  75 check_sizeof "float" ${sizeof_float}
  76 check_sizeof "double" ${sizeof_double}
  77 check_sizeof "long double" ${sizeof_long_double}
  78
  79 proc check_valueof { exp val } {
  80     with_test_prefix "check valueof \"$exp\"" {
  81         gdb_test "next"
  82         gdb_test "p /d value" " = ${val}" "value matches"
  83     }
  84 }
  85
  86 # Check that GDB and the target agree over the sign of a character.
  87
  88 set signof_byte [get_integer_valueof "(int) '\\377'" -1]
  89 set signof_char [get_integer_valueof "(int) (char) -1" -1]
  90 set signof_signed_char [get_integer_valueof "(int) (signed char) -1" -1]
  91 set signof_unsigned_char [get_integer_valueof "(int) (unsigned char) -1" -1]
  92
  93 check_valueof "'\\377'" ${signof_byte}
  94 check_valueof "(int) (char) -1" ${signof_char}
  95 check_valueof "(int) (signed char) -1" ${signof_signed_char}
  96 check_valueof "(int) (unsigned char) -1" ${signof_unsigned_char}
  97
  98 proc check_padding { fmt type val } {
  99     global gdb_prompt
 100     gdb_test_no_output "set padding_${type}.v = ${val}"
 101     gdb_test "print padding_${type}.p1" "= \"The quick brown \""
 102     gdb_test "print${fmt} padding_${type}.v" "= ${val}"
 103     gdb_test "print padding_${type}.p2" "\"The quick brown \".*"
 104 }
 105
 106 # Check that GDB is managing to store a value in a struct field
 107 # without corrupting the fields immediately adjacent to it.
 108
 109 check_padding "/d" "char" 1
 110 check_padding "/d" "short" 2
 111 check_padding "/d" "int" 4
 112 check_padding "/d" "long" 4
 113 check_padding "/d" "long_long" 8
 114
 115 # use multiples of two which can be represented exactly
 116 check_padding "/f" "float" 1
 117 check_padding "/f" "double" 2
 118 check_padding "/f" "long_double" 4
 119
 120 #
 121 # For reference, dump out the entire architecture
 122 #
 123 # The output is very long so use a while loop to consume it
 124 send_gdb "maint print arch\n"
 125 set ok 1
 126 while { $ok } {
 127     gdb_expect {
 128         -re ".*dump" {
 129             #pass "maint print arch $ok"
 130             #set ok [expr $ok + 1]
 131         }
 132         -re "$gdb_prompt $" {
 133             pass "maint print arch"
 134             set ok 0
 135         }
 136         timeout {
 137             fail "maint print arch (timeout)"
 138             set ok 0
 139         }
 140     }
 141 }