gdb/testsuite/gdb.base/pointers.exp

   1 # Copyright 1998-2000, 2007-2012 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 # This file was written by Elena Zannoni (ezannoni@cygnus.com)
  17
  18 # This file is part of the gdb testsuite
  19 #
  20 # tests for pointer arithmetic and pointer dereferencing
  21 # with integer type variables and pointers to integers
  22 #
  23
  24 if $tracelevel then {
  25         strace $tracelevel
  26         }
  27
  28 #
  29 # test running programs
  30 #
  31
  32 set testfile "pointers"
  33 set srcfile ${testfile}.c
  34 set binfile ${objdir}/${subdir}/${testfile}
  35
  36 if  { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug nowarnings}] != "" } {
  37      untested pointers.exp
  38      return -1
  39     }
  40
  41 if [get_compiler_info ${binfile}] {
  42     return -1;
  43 }
  44
  45 gdb_exit
  46 gdb_start
  47 gdb_reinitialize_dir $srcdir/$subdir
  48 gdb_load ${binfile}
  49
  50
  51 #
  52 # set it up at a breakpoint so we can play with the variable values
  53 #
  54
  55 if ![runto_main] then {
  56     perror "couldn't run to breakpoint"
  57     continue
  58 }
  59
  60 gdb_test "next " "more_code.*;" "continuing after dummy()"
  61
  62
  63 #
  64 # let's see if gdb catches some illegal operations on pointers
  65 #
  66 # I must comment these out because strict type checking is not
  67 # supported in this version of GDB. I do not really know
  68 # what the expected gdb reply is.
  69 #
  70
  71 #send_gdb "print v_int_pointer2 = &v_int_pointer\n"
  72 #gdb_expect {
  73 #    -re ".*.*$gdb_prompt $" {
  74 #        pass "illegal pointer assignment rejected"
  75 #      }
  76 #    -re ".*$gdb_prompt $" { fail "illegal pointer assignment rejected" }
  77 #    timeout           { fail "(timeout) illegal pointer assignment rejected" }
  78 #  }
  79
  80
  81 #send_gdb "print v_unsigned_int_pointer = &v_int\n"
  82 #gdb_expect {
  83 #    -re ".*.*$gdb_prompt $" {
  84 #        pass "illegal pointer assignment rejected"
  85 #      }
  86 #    -re ".*$gdb_prompt $" { fail "illegal pointer assignment rejected" }
  87 #    timeout           { fail "(timeout) ilegal pointer assignment rejected" }
  88 #  }
  89
  90 #send_gdb "print v_unsigned_int_pointer == v_double_pointer\n"
  91 #gdb_expect {
  92 #    -re ".*.*$gdb_prompt $" {
  93 #        pass "illegal pointer operation (+) rejected"
  94 #      }
  95 #    -re ".*$gdb_prompt $" { fail "illegal pointer operation (+) rejected" }
  96 #    timeout           { fail "(timeout) illegal pointer operation (+) rejected" }
  97 #  }
  98
  99
 100 #send_gdb "print v_unsigned_int_pointer * v_double_pointer\n"
 101 #gdb_expect {
 102 #    -re ".*Argument to arithmetic operation not a number or boolean.*$gdb_prompt $" {
 103 #        pass "illegal pointer operation (*) rejected"
 104 #      }
 105 #    -re ".*$gdb_prompt $" { fail "illegal pointer operation (*) rejected" }
 106 #    timeout           { fail "(timeout) illegal pointer operation (*) rejected" }
 107 #  }
 108
 109
 110 #send_gdb "print v_unsigned_int_pointer = v_double_pointer\n"
 111 #gdb_expect {
 112 #    -re ".*.*$gdb_prompt $" {
 113 #        pass "ilegal pointer assignment rejected"
 114 #      }
 115 #    -re ".*$gdb_prompt $" { fail "illegal pointer assignment rejected" }
 116 #    timeout           { fail "(timeout) illegal pointer assignment rejected" }
 117 #  }
 118
 119
 120 #send_gdb "print v_unsigned_int_pointer = v_unsigned_int\n"
 121 #gdb_expect {
 122 #    -re ".*.*$gdb_prompt $" {
 123 #        pass "illegal pointer assignment rejected"
 124 #      }
 125 #    -re ".*$gdb_prompt $" { fail "illegal pointer assignment rejected" }
 126 #    timeout           { fail "(timeout) illegal pointer assignment rejected" }
 127 #  }
 128
 129 gdb_test_no_output "set variable v_int_pointer=&v_int_array\[0\]" \
 130     "set pointer to beginning of array"
 131 gdb_test_no_output "set variable v_int_pointer2=&v_int_array\[1\]" \
 132     "set pointer to end of array"
 133
 134
 135 gdb_test "print *v_int_pointer" " = 6" "print object pointed to"
 136
 137 gdb_test "print *v_int_pointer2" " = 18" "print object pointed to \#2"
 138
 139 gdb_test "print v_int_pointer == v_int_pointer2" " = $false" \
 140     "pointer1==pointer2"
 141
 142 gdb_test "print v_int_pointer != v_int_pointer2" " = $true" \
 143     "pointer1!=pointer2"
 144
 145 gdb_test "print v_int_pointer <= v_int_pointer2" " = $true" \
 146     "pointer1<=pointer2"
 147
 148 gdb_test "print v_int_pointer >= v_int_pointer2" " = $false" \
 149     "pointer1>=pointer2"
 150
 151 gdb_test "print v_int_pointer < v_int_pointer2" " = $true" \
 152     "pointer1<pointer2"
 153
 154 gdb_test "print v_int_pointer > v_int_pointer2" " = $false" \
 155     "pointer1>pointer2"
 156
 157 gdb_test_no_output "set variable y = *v_int_pointer++" \
 158     "set y = *v_int_pointer++"
 159 gdb_test "print y" " = 6" "pointer assignment"
 160 gdb_test "print *v_int_pointer" " = 18" "and post-increment"
 161
 162
 163
 164 gdb_test_no_output "set variable y = *--v_int_pointer2" \
 165     "set y = *--v_int_pointer2"
 166 gdb_test "print y" " = 6" "pointer assignment"
 167 gdb_test "print *v_int_pointer2" " = 6" "and pre-decrement"
 168
 169
 170
 171 gdb_test_no_output "set variable y =v_int_pointer-v_int_pointer2" \
 172     "set y =v_int_pointer-v_int_pointer2"
 173 gdb_test "print y" " = 1" "pointer1-pointer2"
 174
 175
 176 gdb_test_no_output "set variable v_int_pointer=v_int_array" \
 177     "set v_int_pointer=v_int_array"
 178 gdb_test "print *v_int_pointer" " = 6" \
 179     "print array element through pointer"
 180
 181 gdb_test "print *(v_int_pointer+1)" " = 18" \
 182     "print array element through pointer \#2"
 183
 184
 185 # test print elements of array through pointers
 186
 187 gdb_test "print (*rptr)\[0\]" " = 0" \
 188     "print array element through pointer \#3"
 189
 190 gdb_test "print (*rptr)\[1\]" " = 1" \
 191     "print array element through pointer \#4"
 192
 193 gdb_test "print (*rptr)\[2\]" " = 2" \
 194     "print array element through pointer \#5"
 195
 196 gdb_test_no_output "set variable rptr = rptr+1" "increment rptr"
 197
 198 gdb_test "print (*rptr)\[0\]" " = 3" \
 199     "print array element through pointer \#6"
 200
 201 gdb_test "print (*rptr)\[1\]" " = 4" \
 202     "print array element through pointer \#7"
 203
 204 gdb_test "print (*rptr)\[2\]" " = 5" \
 205     "print array element through pointer \#8"
 206
 207 gdb_test "print *( *(matrix+1) +2)" " = 5" \
 208     "print array element w/ pointer arithmetic"
 209
 210 gdb_test "print **ptr_to_ptr_to_float" " = 100" \
 211     "print through ptr to ptr"
 212
 213 # tests for pointers
 214 # with elementary type variables and pointers.
 215 #
 216
 217 gdb_test "break marker1" ".*" ""
 218 gdb_test "cont" "Break.* marker1 \\(\\) at .*:$decimal.*" \
 219     continue to marker1"
 220 gdb_test "up" "more_code.*" "up from marker1"
 221
 222 gdb_test "print *pUC" " = 21 \'.025\'.*" "print value of *pUC"
 223
 224 gdb_test "ptype pUC" "type = unsigned char \\*" "ptype pUC"
 225
 226 gdb_test "print *pS" " = -14" "print value of *pS"
 227
 228 gdb_test_multiple "ptype pS" "ptype pS" {
 229     -re "type = short \\*.*$gdb_prompt $"  { pass "ptype pS" }
 230     -re "type = short int \\*.*$gdb_prompt $"  { pass "ptype pS" }
 231 }
 232
 233 gdb_test "print *pUS" " = 7" "print value of *pUS"
 234
 235 gdb_test_multiple "ptype pUS" "ptype pUS" {
 236     -re "type = unsigned short \\*.*$gdb_prompt $"  { pass "ptype pUS" }
 237     -re "type = short unsigned int \\*.*$gdb_prompt $"  { pass "ptype pUS" }
 238 }
 239
 240 gdb_test "print *pI" " = 102" "print value of *pI"
 241
 242 gdb_test "ptype pI" "type = int \\*" "ptype pI"
 243
 244 gdb_test "print *pUI" " = 1002" "print value of *pUI"
 245
 246 gdb_test "ptype pUI" "type = unsigned int \\*" "ptype pUI"
 247
 248 gdb_test "print *pL" " = -234" "print value of *pL"
 249
 250 gdb_test_multiple "ptype pL" "ptype pL" {
 251     -re "type = long \\*.*$gdb_prompt $" { pass "ptype pL" }
 252     -re "type = long int \\*.*$gdb_prompt $" { pass "ptype pL" }
 253 }
 254
 255 gdb_test "print *pUL" " = 234" "print value of *pUL"
 256
 257 gdb_test_multiple "ptype pUL" "ptype pUL" {
 258     -re "type = unsigned long \\*.*$gdb_prompt $"  { pass "ptype pUL" }
 259     -re "type = long unsigned int \\*.*$gdb_prompt $"  { pass "ptype pUL" }
 260 }
 261
 262 gdb_test "print *pF" " = 1.2\[0-9\]*e\\+0?10" "print value of *pF"
 263
 264 gdb_test "ptype pF" "type = float \\*" "ptype pF"
 265
 266 gdb_test "print *pD" " = -1.2\[0-9\]*e\\-0?37" "print value of *pD"
 267
 268 gdb_test "ptype pD" "type = double \\*" "ptype pD"
 269
 270 gdb_test "print ******ppppppC" " = 65 \'A\'" \
 271     "print value of ******ppppppC"
 272
 273 gdb_test "ptype pC" "type = char \\*" "ptype pC"
 274
 275 gdb_test "ptype ppC" "type = char \\*\\*" "ptype ppC"
 276
 277 gdb_test "ptype pppC" "type = char \\*\\*\\*" "ptype pppC"
 278
 279 gdb_test "ptype ppppC" "type = char \\*\\*\\*\\*" "ptype ppppC"
 280
 281 gdb_test "ptype pppppC" "type = char \\*\\*\\*\\*\\*" "ptype pppppC"
 282
 283 gdb_test "ptype ppppppC" "type = char \\*\\*\\*\\*\\*\\*" "ptype ppppppC"
 284
 285 # Regression test for a crash.
 286
 287 gdb_test "p instance.array_variable + 0" \
 288   " = \\(long (int )?\\*\\) 0x\[0-9a-f\]*"