gdb/testsuite/
[deliverable/binutils-gdb.git] / gdb / testsuite / gdb.base / watchpoint.exp
CommitLineData
28e7fd62 1# Copyright 1992-2013 Free Software Foundation, Inc.
c906108c
SS
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
e22f8b7c 5# the Free Software Foundation; either version 3 of the License, or
c906108c 6# (at your option) any later version.
e22f8b7c 7#
c906108c
SS
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.
e22f8b7c 12#
c906108c 13# You should have received a copy of the GNU General Public License
e22f8b7c 14# along with this program. If not, see <http://www.gnu.org/licenses/>.
c906108c 15
c906108c
SS
16# This file was written by Fred Fish. (fnf@cygnus.com)
17
c906108c
SS
18
19set testfile "watchpoint"
20set srcfile ${testfile}.c
21set binfile ${objdir}/${subdir}/${testfile}
22
4c93b1db 23if [get_compiler_info] {
c906108c
SS
24 return -1
25}
26
c906108c 27if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug}] != "" } {
b60f0898
JB
28 untested watchpoint.exp
29 return -1
c906108c
SS
30}
31
4b3c9f41
PA
32# True if we're forcing no hardware watchpoints.
33set no_hw 0
34
c906108c
SS
35# Prepare for watchpoint tests by setting up two breakpoints and one
36# watchpoint.
37#
38# We use breakpoints at marker functions to get past all the startup code,
39# so we can get to the watchpoints in a reasonable amount of time from a
40# known starting point.
41#
42# For simplicity, so we always know how to reference specific breakpoints or
43# watchpoints by number, we expect a particular ordering and numbering of
44# each in the combined breakpoint/watchpoint table, as follows:
45#
46# Number What Where
47# 1 Breakpoint marker1()
48# 2 Breakpoint marker2()
49# 3 Watchpoint ival3
50
51proc initialize {} {
52 global gdb_prompt
53 global hex
54 global decimal
55 global srcfile
56
57 if [gdb_test "break marker1" "Breakpoint 1 at $hex: file .*$srcfile, line $decimal.*" "set breakpoint at marker1" ] {
ae59b1da 58 return 0
c906108c
SS
59 }
60
61
62 if [gdb_test "break marker2" "Breakpoint 2 at $hex: file .*$srcfile, line $decimal.*" "set breakpoint at marker2" ] {
ae59b1da 63 return 0
c906108c
SS
64 }
65
66
67 if [gdb_test "info break" "1\[ \]*breakpoint.*marker1.*\r\n2\[ \]*breakpoint.*marker2.*" "info break in watchpoint.exp" ] {
ae59b1da 68 return 0
c906108c
SS
69 }
70
100aa3ae 71 gdb_test "watch ival3" ".*\[Ww\]atchpoint 3: ival3.*" "set watchpoint on ival3"
c906108c 72
d77f58be 73 if [gdb_test "info watch" "3\[ \]*.*watchpoint.*ival3" "watchpoint found in watchpoint/breakpoint table" ] {
ae59b1da 74 return 0
c906108c
SS
75 }
76
77
78 # After installing the watchpoint, we disable it until we are ready
79 # to use it. This allows the test program to run at full speed until
80 # we get to the first marker function.
81
82 if [gdb_test "disable 3" "disable 3\[\r\n\]+" "disable watchpoint" ] {
ae59b1da 83 return 0
c906108c
SS
84 }
85
86
87 return 1
88}
89
90#
91# Test simple watchpoint.
92#
93
94proc test_simple_watchpoint {} {
95 global gdb_prompt
96 global hex
97 global decimal
98
99 # Ensure that the watchpoint is disabled when we startup.
100
100aa3ae 101 if [gdb_test "disable 3" "^disable 3\[\r\n\]+" "disable watchpoint in test_simple_watchpoint" ] {
ae59b1da 102 return 0
c906108c
SS
103 }
104
c906108c
SS
105 # Run until we get to the first marker function.
106
107 gdb_run_cmd
108 set timeout 600
4033a6bf
PA
109 set test "run to marker1 in test_simple_watchpoint"
110 set retcode [gdb_test_multiple "" $test {
c906108c 111 -re "Breakpoint 1, marker1 .*$gdb_prompt $" {
4033a6bf 112 pass $test
c906108c 113 }
4033a6bf
PA
114 }]
115
116 if { $retcode != 0 } {
117 return
c906108c
SS
118 }
119
120 # After reaching the marker function, enable the watchpoint.
121
122 if [gdb_test "enable 3" "^enable 3\[\r\n\]+" "enable watchpoint" ] {
ae59b1da 123 return
c906108c
SS
124 }
125
126
127 gdb_test "break func1" "Breakpoint.*at.*"
27d3a1a2 128 gdb_test_no_output "set \$func1_breakpoint_number = \$bpnum"
c906108c
SS
129
130 gdb_test "continue" "Continuing.*Breakpoint \[0-9\]*, func1.*" \
131 "continue to breakpoint at func1"
132
133 # Continue until the first change, from -1 to 0
134
4033a6bf
PA
135 set test "watchpoint hit, first time"
136 gdb_test_multiple "cont" $test {
c906108c 137 -re "Continuing.*\[Ww\]atchpoint.*ival3.*Old value = -1.*New value = 0.*ival3 = count; ival4 = count;.*$gdb_prompt $" {
4033a6bf 138 pass $test
c906108c
SS
139 }
140 -re "Continuing.*Breakpoint.*func1.*$gdb_prompt $" {
141 setup_xfail "m68*-*-*" 2597
142 fail "thought it hit breakpoint at func1 twice"
27d3a1a2 143 gdb_test_no_output "delete \$func1_breakpoint_number"
c906108c
SS
144 gdb_test "continue" "\
145Continuing.*\[Ww\]atchpoint.*ival3.*Old value = -1.*New value = 0.*ival3 = count;" \
4033a6bf 146 $test
c906108c 147 }
c906108c
SS
148 }
149
c2d11a7d
JM
150 # Check that the hit count is reported correctly
151 gdb_test "info break" ".*watchpoint\[ \t\]+keep\[ \t\]+y\[ \t\]+ival3\r\n\[ \t]+breakpoint already hit 1 time.*" "Watchpoint hit count is 1"
152
27d3a1a2 153 gdb_test_no_output "delete \$func1_breakpoint_number"
c906108c
SS
154
155 # Continue until the next change, from 0 to 1.
156 gdb_test "cont" "Continuing.*\[Ww\]atchpoint.*ival3.*Old value = 0.*New value = 1.*ival3 = count; ival4 = count;.*" "watchpoint hit, second time"
157
c2d11a7d
JM
158 # Check that the hit count is reported correctly
159 gdb_test "info break" ".*watchpoint\[ \t\]+keep\[ \t\]+y\[ \t\]+ival3\r\n\[ \t]+breakpoint already hit 2 times.*" "Watchpoint hit count is 2"
160
c906108c
SS
161 # Continue until the next change, from 1 to 2.
162 gdb_test "cont" "Continuing.*\[Ww\]atchpoint.*ival3.*Old value = 1.*New value = 2.*ival3 = count; ival4 = count;.*" "watchpoint hit, third time"
c2d11a7d
JM
163
164 # Check that the hit count is reported correctly
165 gdb_test "info break" ".*watchpoint\[ \t\]+keep\[ \t\]+y\[ \t\]+ival3\r\n\[ \t]+breakpoint already hit 3 times.*" "Watchpoint hit count is 3"
c906108c
SS
166
167 # Continue until the next change, from 2 to 3.
168 gdb_test "cont" "Continuing.*\[Ww\]atchpoint.*ival3.*Old value = 2.*New value = 3.*ival3 = count; ival4 = count;.*" "watchpoint hit, fourth time"
169
c2d11a7d
JM
170 # Check that the hit count is reported correctly
171 gdb_test "info break" ".*watchpoint\[ \t\]+keep\[ \t\]+y\[ \t\]+ival3\r\n\[ \t]+breakpoint already hit 4 times.*" "Watchpoint hit count is 4"
172
c906108c
SS
173 # Continue until the next change, from 3 to 4.
174 # Note that this one is outside the loop.
175
176 gdb_test "cont" "Continuing.*\[Ww\]atchpoint.*ival3.*Old value = 3.*New value = 4.*ival3 = count; ival4 = count;.*" "watchpoint hit, fifth time"
177
c2d11a7d
JM
178 # Check that the hit count is reported correctly
179 gdb_test "info break" ".*watchpoint\[ \t\]+keep\[ \t\]+y\[ \t\]+ival3\r\n\[ \t]+breakpoint already hit 5 times.*" "Watchpoint hit count is 5"
180
c906108c
SS
181 # Continue until we hit the finishing marker function.
182 # Make sure we hit no more watchpoints.
183
184 gdb_test "cont" "Continuing.*Breakpoint.*marker2 \(\).*" \
185 "continue to marker2"
186
187 # Disable the watchpoint so we run at full speed until we exit.
188
189 if [gdb_test "disable 3" "^disable 3\[\r\n\]+" "watchpoint disabled" ] {
ae59b1da 190 return
c906108c
SS
191 }
192
193
194 # Run until process exits.
195
196 if [target_info exists gdb,noresults] { return }
197
7a292a7a 198 gdb_continue_to_end "continue to exit in test_simple_watchpoint"
c906108c
SS
199}
200
201# Test disabling watchpoints.
202
203proc test_disabling_watchpoints {} {
204 global gdb_prompt
205 global binfile
206 global srcfile
207 global decimal
208 global hex
209
e4d63ba2 210 gdb_test "info watch" "\[0-9]+\[ \]*.*watchpoint.*ival3.*" "watchpoints found in watchpoint/breakpoint table"
085dd6e6 211
c906108c
SS
212 # Ensure that the watchpoint is disabled when we startup.
213
214 if [gdb_test "disable 3" "^disable 3\[\r\n\]+" "disable watchpoint in test_disabling_watchpoints" ] {
ae59b1da 215 return 0
c906108c
SS
216 }
217
218
219 # Run until we get to the first marker function.
220
221 gdb_run_cmd
222 set timeout 600
4033a6bf
PA
223 set test "run to marker1 in test_disabling_watchpoints"
224 set retcode [gdb_test_multiple "" $test {
c906108c 225 -re "Breakpoint 1, marker1 .*$gdb_prompt $" {
4033a6bf 226 pass $test
c906108c 227 }
4033a6bf
PA
228 }]
229
230 if { $retcode != 0 } {
231 return
c906108c
SS
232 }
233
234 # After reaching the marker function, enable the watchpoint.
235
236 if [gdb_test "enable 3" "^enable 3\[\r\n\]+" "watchpoint enabled" ] {
ae59b1da 237 return
c906108c
SS
238 }
239
240
241 # Continue until the first change, from -1 to 0
242 # Don't check the old value, because on VxWorks the variable value
243 # will not have been reinitialized.
244 gdb_test "cont" "Continuing.*\[Ww\]atchpoint.*ival3.*Old value = .*New value = 0.*ival3 = count; ival4 = count;.*" "watchpoint hit in test_disabling_watchpoints, first time"
245
246 # Continue until the next change, from 0 to 1.
247 gdb_test "cont" "Continuing.*\[Ww\]atchpoint.*ival3.*Old value = 0.*New value = 1.*ival3 = count; ival4 = count;.*" "watchpoint hit in test_disabling_watchpoints, second time"
248
249 # Disable the watchpoint but leave breakpoints
250
251 if [gdb_test "disable 3" "^disable 3\[\r\n\]+" "disable watchpoint #2 in test_disabling_watchpoints" ] {
ae59b1da 252 return 0
c906108c
SS
253 }
254
255
256 # Check watchpoint list, looking for the entry that confirms the
257 # watchpoint is disabled.
085dd6e6 258 gdb_test "info watchpoints" "\[0-9]+\[ \]*.*watchpoint\[ \]*keep\[ \]*n\[ \]*ival3\r\n.*" "watchpoint disabled in table"
c906108c
SS
259
260 # Continue until we hit the finishing marker function.
261 # Make sure we hit no more watchpoints.
262 gdb_test "cont" "Continuing.*Breakpoint.*marker2 \\(\\).*" \
263 "disabled watchpoint skipped"
264
265 if [target_info exists gdb,noresults] { return }
266
7a292a7a 267 gdb_continue_to_end "continue to exit in test_disabling_watchpoints"
c906108c
SS
268}
269
270# Test stepping and other mundane operations with watchpoints enabled
271proc test_stepping {} {
272 global gdb_prompt
273
274 if [runto marker1] then {
275 gdb_test "watch ival2" ".*\[Ww\]atchpoint \[0-9\]*: ival2"
276
277 # Well, let's not be too mundane. It should be a *bit* of a challenge
278 gdb_test "break func2 if 0" "Breakpoint.*at.*"
279 gdb_test "p \$func2_breakpoint_number = \$bpnum" " = .*"
280
085dd6e6 281 gdb_test "p func1 ()" "= 73" \
4b2b3b3e 282 "calling function with watchpoint enabled"
c906108c
SS
283
284 #
285 # "finish" brings us back to main.
286 # On some targets (e.g. alpha) gdb will stop from the finish in midline
287 # of the marker1 call. This is due to register restoring code on
288 # the alpha and might be caused by stack adjustment instructions
289 # on other targets. In this case we will step once more.
290 #
291
292 send_gdb "finish\n"
293 gdb_expect {
2df3850c
JM
294 -re "Run.*exit from.*marker1.* at" {
295 pass "finish from marker1"
296 }
dfcd3bfb 297 default { fail "finish from marker1 (timeout)" ; return }
c906108c
SS
298 }
299
300 gdb_expect {
301 -re "marker1 \\(\\);.*$gdb_prompt $" {
302 send_gdb "step\n"
303 exp_continue
304 }
305 -re "func1 \\(\\);.*$gdb_prompt $" {
dfcd3bfb 306 pass "back at main from marker1"
c906108c
SS
307 }
308 -re ".*$gdb_prompt $" {
dfcd3bfb 309 fail "back at main from marker1"
c906108c 310 }
dfcd3bfb 311 default { fail "back at main from marker1 (timeout)" ; return }
c906108c
SS
312 }
313
314 gdb_test "next" "for \\(count = 0.*" "next to `for' in watchpoint.exp"
315
316 # Now test that "until" works. It's a bit tricky to test
317 # "until", because compilers don't always arrange the code
318 # exactly the same way, and we might get slightly different
319 # sequences of statements. But the following should be true
320 # (if not it is a compiler or a debugger bug): The user who
321 # does "until" at every statement of a loop should end up
322 # stepping through the loop once, and the debugger should not
323 # stop for any of the remaining iterations.
324
325 gdb_test "until" "ival1 = count.*" "until to ival1 assignment"
326 gdb_test "until" "ival3 = count.*" "until to ival3 assignment"
4033a6bf
PA
327 set test "until out of loop"
328 gdb_test_multiple "until" $test {
c906108c 329 -re "(for \\(count = 0|\}).*$gdb_prompt $" {
4033a6bf 330 gdb_test "until" "ival1 = count; /. Outside loop ./" $test
c906108c
SS
331 }
332 -re "ival1 = count; /. Outside loop ./.*$gdb_prompt $" {
4033a6bf 333 pass $test
c906108c 334 }
c906108c
SS
335 }
336
337 gdb_test "step" "ival2 = count.*" "step to ival2 assignment"
338 }
339}
340
341# Test stepping and other mundane operations with watchpoints enabled
342proc test_watchpoint_triggered_in_syscall {} {
343 global gdb_prompt
344
958a4e4c
MS
345 # These tests won't work without printf support.
346 if [gdb_skip_stdio_test "watchpoints triggered in syscall"] {
347 return;
c906108c
SS
348 }
349 # Run until we get to the first marker function.
350 set x 0
351 set y 0
352 set testname "Watch buffer passed to read syscall"
353 if [runto marker2] then {
354 gdb_test "watch buf\[0\]" ".*\[Ww\]atchpoint \[0-9\]*: buf\\\[0\\\]"
355 gdb_test "watch buf\[1\]" ".*\[Ww\]atchpoint \[0-9\]*: buf\\\[1\\\]"
356 gdb_test "watch buf\[2\]" ".*\[Ww\]atchpoint \[0-9\]*: buf\\\[2\\\]"
357 gdb_test "watch buf\[3\]" ".*\[Ww\]atchpoint \[0-9\]*: buf\\\[3\\\]"
358 gdb_test "watch buf\[4\]" ".*\[Ww\]atchpoint \[0-9\]*: buf\\\[4\\\]"
359 gdb_test "break marker4" ".*Breakpoint.*"
360
27d3a1a2 361 gdb_test_no_output "set doread = 1"
c906108c 362
4033a6bf 363 # If we send gdb "123\n" before gdb has switched the tty, then it goes
c906108c
SS
364 # to gdb, not the inferior, and we lose. So that is why we have
365 # watchpoint.c prompt us, so we can wait for that prompt.
02746bbc 366
c906108c
SS
367 send_gdb "continue\n";
368 gdb_expect {
369 -re "Continuing\\.\r\ntype stuff for buf now:" {
370 pass "continue to read"
371 }
372 default {
373 fail "continue to read";
ae59b1da 374 return
c906108c
SS
375 }
376 }
377
4033a6bf
PA
378 set test "sent 123"
379 gdb_test_multiple "123" $test {
c906108c
SS
380 -re ".*\[Ww\]atchpoint.*buf\\\[0\\\].*Old value = 0.*New value = 49\[^\n\]*\n" { set x [expr $x+1] ; exp_continue }
381 -re ".*\[Ww\]atchpoint.*buf\\\[1\\\].*Old value = 0.*New value = 50\[^\n\]*\n" { set x [expr $x+1] ; exp_continue }
382 -re ".*\[Ww\]atchpoint.*buf\\\[2\\\].*Old value = 0.*New value = 51\[^\n\]*\n" { set x [expr $x+1] ; exp_continue }
383 -re ".*\[Ww\]atchpoint.*buf\\\[3\\\].*Old value = 0.*New value = 10\[^\n\]*\n" { set x [expr $x+1] ; exp_continue }
4033a6bf 384 -re ".*$gdb_prompt $" { pass $test }
c906108c
SS
385 }
386
387 # Examine the values in buf to see how many watchpoints we
388 # should have printed.
4033a6bf
PA
389 set test "print buf\[0\]"
390 gdb_test_multiple $test $test {
391 -re ".*= 49.*$gdb_prompt $" { set y [expr $y+1]; pass $test }
392 -re ".*= 0.*$gdb_prompt $" { $test }
c906108c 393 }
4033a6bf
PA
394 set test "print buf\[1\]"
395 gdb_test_multiple $test $test {
396 -re ".*= 50.*$gdb_prompt $" { set y [expr $y+1]; pass $test }
397 -re ".*= 0.*$gdb_prompt $" { pass $test }
c906108c 398 }
4033a6bf
PA
399 set test "print buf\[2\]"
400 gdb_test_multiple $test $test {
401 -re ".*= 51.*$gdb_prompt $" { set y [expr $y+1]; pass $test }
402 -re ".*= 0.*$gdb_prompt $" { pass $test }
c906108c 403 }
4033a6bf
PA
404 set test "print buf\[3\]"
405 gdb_test_multiple $test $test {
406 -re ".*= 10.*$gdb_prompt $" { set y [expr $y+1]; pass $test }
407 -re ".*= 0.*$gdb_prompt $" { pass $test }
c906108c
SS
408 }
409
410 # Did we find what we were looking for? If not, flunk it.
411 if [expr $x==$y] then { pass $testname } else { fail "$testname (only triggered $x watchpoints, expected $y)"}
412
413 # Continue until we hit the finishing marker function.
414 # Make sure we hit no more watchpoints.
415 gdb_test "cont" "Continuing.*Breakpoint.*marker4 \\(\\).*" \
416 "continue to marker4"
417
418 # Disable everything so we can finish the program at full speed
27d3a1a2 419 gdb_test_no_output "disable" "disable in test_watchpoint_triggered_in_syscall"
c906108c
SS
420
421 if [target_info exists gdb,noresults] { return }
422
7a292a7a 423 gdb_continue_to_end "continue to exit in test_watchpoint_triggered_in_syscall"
c906108c
SS
424 }
425}
426
427# Do a simple test of of watching through a pointer when the pointer
428# itself changes. Should add some more complicated stuff here.
429
430proc test_complex_watchpoint {} {
431 global gdb_prompt
432
433 if [runto marker4] then {
434 gdb_test "watch ptr1->val" ".*\[Ww\]atchpoint \[0-9\]*: ptr1->val"
435 gdb_test "break marker5" ".*Breakpoint.*"
436
437 gdb_test "cont" "Continuing.*\[Ww\]atchpoint.*ptr1->val.*Old value = 1.*New value = 2.*" "Test complex watchpoint"
438
439 # Continue until we hit the marker5 function.
440 # Make sure we hit no more watchpoints.
441
442 gdb_test "cont" "Continuing.*Breakpoint.*marker5 \\(\\).*" \
443 "did not trigger wrong watchpoint"
444
085dd6e6
JM
445 # Test watches of things declared locally in a function.
446 # In particular, test that a watch of stack-based things
447 # is deleted when the stack-based things go out of scope.
448 #
27d3a1a2 449 gdb_test_no_output "disable" "disable in test_complex_watchpoint"
085dd6e6
JM
450 gdb_test "break marker6" ".*Breakpoint.*"
451 gdb_test "cont" "Continuing.*Breakpoint.*marker6 \\(\\).*" \
452 "continue to marker6"
bdddb4de
UW
453 gdb_breakpoint [gdb_get_line_number "func2 breakpoint here"]
454 gdb_continue_to_breakpoint "func2 breakpoint here"
085dd6e6
JM
455
456 # Test a watch of a single stack-based variable, whose scope
457 # is the function we're now in. This should auto-delete when
458 # execution exits the scope of the watchpoint.
459 #
460 gdb_test "watch local_a" ".*\[Ww\]atchpoint \[0-9\]*: local_a" "set local watch"
461 gdb_test "cont" "\[Ww\]atchpoint.*local_a.*" "trigger local watch"
e2de5390
JK
462
463 set test "self-delete local watch"
464 gdb_test_multiple "cont" $test {
465 -re "Continuing.*\[Ww\]atchpoint .* deleted because the program has left the block in.*which its expression is valid.*\r\n$gdb_prompt $" {
466 pass $test
467 }
468 -re "can't compute CFA for this frame.*\r\n$gdb_prompt $" {
469 global compiler_info no_hw
470
471 # GCC < 4.5.0 does not get LOCATIONS_VALID set by dwarf2read.c.
472 # Therefore epilogue unwinder gets applied which is
473 # incompatible with dwarf2_frame_cfa.
474 verbose -log "compiler_info: $compiler_info"
475 if {$no_hw && ([test_compiler_info {gcc-[0-3]-*}]
476 || [test_compiler_info {gcc-4-[0-4]-*}])} {
477 xfail "$test (old GCC has broken watchpoints in epilogues)"
478 return
479 }
480 fail $test
481 }
482 }
085dd6e6 483
bdddb4de 484 gdb_continue_to_breakpoint "func2 breakpoint here"
085dd6e6
JM
485 # We should be in "func2" again now. Test a watch of an
486 # expression which includes both a stack-based local and
487 # something whose scope is larger than this invocation
488 # of "func2". This should also auto-delete.
489 #
490 gdb_test "watch local_a + ival5" ".*\[Ww\]atchpoint \[0-9\]*: local_a . ival5" \
491 "set partially local watch"
492 gdb_test "cont" "Continuing.*\[Ww\]atchpoint .*: local_a . ival5.*" \
493 "trigger1 partially local watch"
494 gdb_test "cont" "Continuing.*\[Ww\]atchpoint .*: local_a . ival5.*" \
495 "trigger2 partially local watch"
496 gdb_test "cont" "Continuing.*\[Ww\]atchpoint .* deleted because the program has left the block in.*which its expression is valid.*" \
497 "self-delete partially local watch"
498
499 # We should be in "func2" again now. Test a watch of a
500 # static (non-stack-based) local. Since this has scope
501 # across any invocations of "func2", it should not auto-
502 # delete.
503 #
bdddb4de 504 gdb_continue_to_breakpoint "func2 breakpoint here"
085dd6e6
JM
505 gdb_test "watch static_b" ".*\[Ww\]atchpoint \[0-9\]*: static_b" \
506 "set static local watch"
507 gdb_test "cont" "Continuing.*\[Ww\]atchpoint .*: static_b.*" \
508 "trigger static local watch"
509 gdb_test "cont" "Continuing.*marker6 \\(\\).*" \
510 "continue after trigger static local watch"
511 gdb_test "info break" ".*watchpoint.*static_b.*" \
512 "static local watch did not self-delete"
513
514 # We should be in "recurser" now. Test a watch of a stack-
515 # based local. Symbols mentioned in a watchpoint are bound
516 # at watchpoint-creation. Thus, a watch of a stack-based
517 # local to a recursing function should be bound only to that
518 # one invocation, and should not trigger for other invocations.
519 #
18ac113b 520 gdb_test "tbreak recurser" ".*breakpoint.*"
085dd6e6 521 gdb_test "cont" "Continuing.*recurser.*"
97ddaa9b 522 gdb_test "next" "if \\(x > 0.*" "next past local_x initialization"
085dd6e6
JM
523 gdb_test "watch local_x" ".*\[Ww\]atchpoint \[0-9\]*: local_x" \
524 "set local watch in recursive call"
525 gdb_test "cont" "Continuing.*\[Ww\]atchpoint .*: local_x.*New value = 2.*" \
526 "trigger local watch in recursive call"
527 gdb_test "cont" "Continuing.*\[Ww\]atchpoint .* deleted because the program has left the block in.*which its expression is valid.*" \
528 "self-delete local watch in recursive call"
529
97ddaa9b
PH
530 # Repeat the preceding test, but this time use "recurser::local_x" as
531 # the variable to track.
532 gdb_test "cont" "Continuing.*marker6.*"
533 gdb_test "tbreak recurser" ".*breakpoint.*"
534 gdb_test "cont" "Continuing.*recurser.*"
535 gdb_test "next" "if \\(x > 0.*" "next past local_x initialization"
536 gdb_test "watch recurser::local_x" ".*\[Ww\]atchpoint \[0-9\]*: recurser::local_x" \
537 "set local watch in recursive call with explicit scope"
538 gdb_test "cont" "Continuing.*\[Ww\]atchpoint .*: recurser::local_x.*New value = 2.*" \
539 "trigger local watch with explicit scope in recursive call"
540 gdb_test "cont" "Continuing.*\[Ww\]atchpoint .* deleted because the program has left the block in.*which its expression is valid.*" \
541 "self-delete local watch with explicit scope in recursive call (2)"
542
c906108c 543 # Disable everything so we can finish the program at full speed
27d3a1a2 544 gdb_test_no_output "disable" "disable in test_complex_watchpoint"
c906108c
SS
545
546 if [target_info exists gdb,noresults] { return }
547
085dd6e6 548 gdb_continue_to_end "continue to exit in test_complex_watchpoint"
c906108c
SS
549 }
550}
551
293e9a31
DC
552proc test_watchpoint_and_breakpoint {} {
553 global gdb_prompt
554
555 # This is a test for PR gdb/38, which involves setting a
556 # watchpoint right after you've reached a breakpoint.
557
558 if [runto func3] then {
559 gdb_breakpoint [gdb_get_line_number "second x assignment"]
560 gdb_continue_to_breakpoint "second x assignment"
561 gdb_test "watch x" ".*atchpoint \[0-9\]+: x"
562 gdb_test_multiple "next" "next after watch x" {
563 -re ".*atchpoint \[0-9\]+: x\r\n\r\nOld value = 0\r\nNew value = 1\r\n.*$gdb_prompt $" {
564 pass "next after watch x"
565 }
566 -re "\[0-9\]+\[\t \]+y = 1;\r\n$gdb_prompt $" {
567 kfail "gdb/38" "next after watch x"
568 }
569 }
06a64a0b
TT
570
571 gdb_test_no_output "delete \$bpnum" "delete watch x"
293e9a31
DC
572 }
573}
65d79d4b
SDJ
574
575proc test_constant_watchpoint {} {
576 gdb_test "watch 5" "Cannot watch constant value `5'." "number is constant"
aeaa2474
SA
577 gdb_test "watch (int *)5" "Cannot watch constant value `\\(int \\*\\)5'." \
578 "number with cast is constant"
65d79d4b
SDJ
579 gdb_test "watch marker1" "Cannot watch constant value `marker1'." \
580 "marker1 is constant"
581 gdb_test "watch count + 6" ".*atchpoint \[0-9\]+: count \\+ 6"
582 gdb_test_no_output "delete \$bpnum" "delete watchpoint `count + 6'"
583 gdb_test "watch 7 + count" ".*atchpoint \[0-9\]+: 7 \\+ count"
584 gdb_test_no_output "delete \$bpnum" "delete watchpoint `7 + count'"
585}
586
efa80663
PA
587proc test_disable_enable_software_watchpoint {} {
588 # This is regression test for a bug that caused `enable' to fail
589 # for software watchpoints.
590
591 # Watch something not memory to force a software watchpoint.
592 gdb_test {watch $pc} ".*atchpoint \[0-9\]+: .pc"
593
594 gdb_test_no_output "disable \$bpnum" "disable watchpoint `\$pc'"
595 gdb_test_no_output "enable \$bpnum" "reenable watchpoint `\$pc'"
596
597 gdb_test "info watchpoint \$bpnum" \
598 ".*watchpoint\[ \t\]+keep\[ \t\]+y\[ \t\]+.pc.*" \
599 "watchpoint `\$pc' is enabled"
600
601 gdb_test_no_output "delete \$bpnum" "delete watchpoint `\$pc'"
602}
603
06a64a0b
TT
604proc test_watch_location {} {
605 gdb_breakpoint [gdb_get_line_number "func5 breakpoint here"]
606 gdb_continue_to_breakpoint "func5 breakpoint here"
607
608 gdb_test "watch -location *x" "atchpoint .*: .*" "watch -location .x"
609
610 gdb_test "continue" \
611 "Continuing.*\[Ww\]atchpoint .*: .*New value = 27.*" \
612 "continue with watch -location"
613
614 gdb_test_no_output "delete \$bpnum" "delete watch -location"
615}
616
fabde485
PA
617# Tests watching areas larger than a word.
618
619proc test_wide_location_1 {} {
4b3c9f41 620 global no_hw
b62e2b27 621 global gdb_prompt
4b3c9f41 622
fabde485
PA
623 # This test watches two words on most 32-bit ABIs, and one word on
624 # most 64-bit ABIs.
625
626 # Platforms where the target can't watch such a large region
627 # should clear hw_expected below.
b62e2b27 628 if { $no_hw || [target_info exists gdb,no_hardware_watchpoints]
bdddb4de
UW
629 || [istarget arm*-*-*]
630 || ([istarget powerpc*-*-*] && ![is_lp64_target])} {
fabde485
PA
631 set hw_expected 0
632 } else {
633 set hw_expected 1
634 }
635
636 gdb_breakpoint [gdb_get_line_number "func6 breakpoint here"]
637 gdb_continue_to_breakpoint "func6 breakpoint here"
638
639 if { $hw_expected } {
640 gdb_test "watch foo2" "Hardware watchpoint .*: .*" "watch foo2"
641 gdb_test "continue" \
642 "Continuing.*Hardware watchpoint .*: .*New value = \\\{val = \\\{0, 11\\\}\\\}.*" \
643 "continue with watch foo2"
644 } else {
645 gdb_test "watch foo2" "atchpoint .*: .*" "watch foo2"
b62e2b27
UW
646 set test "continue with watch foo2"
647 gdb_test_multiple "cont" $test {
648 -re "Continuing.*\[Ww\]atchpoint .*: .*New value = \\\{val = \\\{0, 11\\\}\\\}.*$gdb_prompt $" {
649 pass $test
650 }
651 -re "Could not insert hardware breakpoints:.*You may have requested too many hardware breakpoints/watchpoints.*$gdb_prompt $" {
652 # This may happen with remote targets that support
653 # hardware watchpoints. We only find out the
654 # watchpoint was too large, for example, at insert
655 # time. If GDB is ever adjusted to downgrade the
656 # watchpoint automatically in this case, this match
657 # should be removed.
658 pass $test
659 }
660 }
fabde485
PA
661 }
662
663 gdb_test_no_output "delete \$bpnum" "delete watch foo2"
664}
665
666proc test_wide_location_2 {} {
4b3c9f41 667 global no_hw
b62e2b27 668 global gdb_prompt
4b3c9f41 669
fabde485
PA
670 # This test watches four words on most 32-bit ABIs, and two words
671 # on 64-bit ABIs.
672
673 # Platforms where the target can't watch such a large region
674 # should clear hw_expected below.
b62e2b27 675 if { $no_hw || [target_info exists gdb,no_hardware_watchpoints]
bdddb4de
UW
676 || [istarget arm*-*-*]
677 || [istarget powerpc*-*-*]} {
fabde485
PA
678 set hw_expected 0
679 } else {
680 set hw_expected 1
681 }
682
683 gdb_breakpoint [gdb_get_line_number "func7 breakpoint here"]
684 gdb_continue_to_breakpoint "func7 breakpoint here"
685
686 if { $hw_expected } {
687 gdb_test "watch foo4" "Hardware watchpoint .*: .*" "watch foo4"
688 gdb_test "continue" \
689 "Continuing.*Hardware watchpoint .*: .*New value = \\\{val = \\\{0, 0, 0, 33\\\}\\\}.*" \
690 "continue with watch foo4"
691 } else {
692 gdb_test "watch foo4" "atchpoint .*: .*" "watch foo4"
b62e2b27
UW
693 set test "continue with watch foo4"
694 gdb_test_multiple "cont" $test {
695 -re "Continuing.*\[Ww\]atchpoint .*: .*New value = \\\{val = \\\{0, 0, 0, 33\\\}\\\}.*$gdb_prompt $" {
696 pass $test
697 }
698 -re "Could not insert hardware breakpoints:.*You may have requested too many hardware breakpoints/watchpoints.*$gdb_prompt $" {
699 # This may happen with remote targets that support
700 # hardware watchpoints. We only find out the
701 # watchpoint was too large, for example, at insert
702 # time. If GDB is ever adjusted to downgrade the
703 # watchpoint automatically in this case, this match
704 # should be removed.
705 pass $test
706 }
707 }
fabde485
PA
708 }
709
710 gdb_test_no_output "delete \$bpnum" "delete watch foo4"
711}
712
fa4727a6
DJ
713proc test_inaccessible_watchpoint {} {
714 global gdb_prompt
715
716 # This is a test for watchpoints on currently inaccessible (but later
717 # valid) memory.
718
719 if [runto func4] then {
ccc57cf9
PA
720 # Make sure we only allow memory access errors.
721 set msg "watchpoint refused to insert on nonexistent struct member"
722 gdb_test_multiple "watch struct1.nosuchmember" $msg {
723 -re ".*atchpoint \[0-9\]+: struct1.nosuchmember.*$gdb_prompt $" {
724 # PR breakpoints/9681
725 fail $msg
726 }
727 -re "There is no member named nosuchmember\\..*$gdb_prompt $" {
728 pass $msg
729 }
730 }
731
8464be76
DJ
732 # See whether a watchpoint on a normal variable is a hardware
733 # watchpoint or not. The watchpoints on NULL should be hardware
734 # iff this one is.
735 set watchpoint_msg "Watchpoint"
736 gdb_test_multiple "watch global_ptr" "watch global_ptr" {
737 -re "Watchpoint \[0-9\]+: global_ptr\r\n.*$gdb_prompt $" {
738 pass "watch global_ptr"
739 }
740 -re "Hardware watchpoint \[0-9\]+: global_ptr\r\n.*$gdb_prompt $" {
741 set watchpoint_msg "Hardware watchpoint"
742 pass "watch global_ptr"
743 }
744 }
745 delete_breakpoints
746
747 # Make sure that we can watch a constant address, and correctly
748 # use a HW watchpoint if supported.
749 gdb_test "watch *(int *) 0" \
750 "$watchpoint_msg \[0-9\]+: \\*\\(int \\*\\) 0"
751 delete_breakpoints
752
a1442452
PA
753 # The same, but using -location through an indirection.
754 gdb_test "watch -location *global_ptr" \
4a4106ca 755 "$watchpoint_msg \[0-9\]+: \-location \\*global_ptr"
a1442452
PA
756 delete_breakpoints
757
b800ec70
UW
758 # This step requires two HW watchpoints. Since some platforms only
759 # have a single one, accept either SW or HW watchpoint in this case.
760 if {[skip_hw_watchpoint_multi_tests]} {
761 set watchpoint_msg "(Watchpoint|Hardware watchpoint)"
efd11a33
JK
762 }
763
764 gdb_test "watch *global_ptr" "$watchpoint_msg \[0-9\]+: \\\*global_ptr"
65d79d4b
SDJ
765 gdb_test "set \$global_ptr_breakpoint_number = \$bpnum" ""
766 gdb_test "next" ".*global_ptr = buf.*" "global_ptr next"
fa4727a6
DJ
767 gdb_test_multiple "next" "next over ptr init" {
768 -re ".*atchpoint \[0-9\]+: \\*global_ptr\r\n\r\nOld value = .*\r\nNew value = 3 .*\r\n.*$gdb_prompt $" {
769 # We can not test for <unknown> here because NULL may be readable.
770 # This test does rely on *NULL != 3.
771 pass "next over ptr init"
772 }
773 }
774 gdb_test_multiple "next" "next over buffer set" {
775 -re ".*atchpoint \[0-9\]+: \\*global_ptr\r\n\r\nOld value = 3 .*\r\nNew value = 7 .*\r\n.*$gdb_prompt $" {
776 pass "next over buffer set"
777 }
778 }
65d79d4b
SDJ
779 gdb_test "delete \$global_ptr_breakpoint_number" ""
780 gdb_test "watch **global_ptr_ptr" ".*atchpoint \[0-9\]+: \\*\\*global_ptr_ptr"
781 gdb_test "set \$global_ptr_ptr_breakpoint_number = \$bpnum" ""
c79a8e11 782 gdb_test "next" ".*global_ptr_ptr = &global_ptr.*" "global_ptr_ptr next"
65d79d4b
SDJ
783 gdb_test "next" ".*atchpoint \[0-9\]+: \\*\\*global_ptr_ptr\[\r\n\]+Old value = .*\r\nNew value = 7 .*" "next over global_ptr_ptr init"
784 gdb_test "next" ".*atchpoint \[0-9\]+: \\*\\*global_ptr_ptr\[\r\n\]+Old value = 7 .*\r\nNew value = 9 .*" "next over global_ptr_ptr buffer set"
785 gdb_test "next" ".*atchpoint \[0-9\]+: \\*\\*global_ptr_ptr\[\r\n\]+Old value = 9 .*\r\nNew value = 5 .*" "next over global_ptr_ptr pointer advance"
786 gdb_test_no_output "delete \$global_ptr_ptr_breakpoint_number"
fa4727a6
DJ
787 }
788}
a13491c8
PA
789
790proc test_no_hw_watchpoints {} {
4b3c9f41
PA
791 global testfile
792
793 clean_restart $testfile
a13491c8
PA
794
795 # Verify that a user can force GDB to use "slow" watchpoints.
796 # (This proves rather little on kernels that don't support
797 # fast watchpoints, but still...)
798 #
799 if ![runto_main] then { fail "watch tests suppressed" }
800
801 gdb_test_no_output "set can-use-hw-watchpoints 0" "disable fast watches"
802
803 gdb_test "show can-use-hw-watchpoints" \
804 "Debugger's willingness to use watchpoint hardware is 0." \
805 "show disable fast watches"
806
807 gdb_test "watch ival3 if count > 1" \
808 "Watchpoint \[0-9\]*: ival3.*" \
809 "set slow conditional watch"
810
811 gdb_test "continue" \
812 "Watchpoint \[0-9\]*: ival3.*Old value = 1.*New value = 2.*" \
813 "trigger slow conditional watch"
814
815 gdb_test_no_output "delete \$bpnum" "delete watch ival3"
816
cb8ea32b
KS
817 gdb_test "watch ival3 if count > 1 thread 1 " \
818 "Watchpoint \[0-9\]*: ival3.*" \
819 "set slow condition watch w/thread"
820
821 gdb_test_no_output "delete \$bpnum" "delete watch w/condition and thread"
822
a13491c8
PA
823 # We've explicitly disabled hardware watches. Verify that GDB
824 # refrains from using them.
825 #
826 gdb_test "rwatch ival3" \
827 "Expression cannot be implemented with read/access watchpoint..*" \
828 "rwatch disallowed when can-set-hw-watchpoints cleared"
829
830 # Re-enable hardware watchpoints if necessary.
831 if ![target_info exists gdb,no_hardware_watchpoints] {
832 gdb_test_no_output "set can-use-hw-watchpoints 1" ""
833 }
834}
835
218d2fc6
TJB
836proc test_watchpoint_in_big_blob {} {
837 global gdb_prompt
838
274f47f3
PA
839 # On native targets where we do hardware resource accounting, this
840 # may end up as a software watchpoint.
841 set ok 0
842 set test "watch buf"
843 gdb_test_multiple "watch buf" $test {
844 -re "Hardware watchpoint \[0-9\]+: buf.*You may have requested too many hardware breakpoints/watchpoints.*$gdb_prompt $" {
845 # This may happen with remote targets (where we don't do
846 # resource accounting) that support hardware watchpoints,
847 # when breakpoint always-inserted is on. The watchpoint
848 # was too large, for example. If GDB is ever adjusted to
849 # downgrade the watchpoint automatically in this case,
850 # this match should be removed. Note the breakpoint has
851 # been created, and is in the list, so it needs deleting.
852 pass $test
853 }
854 -re ".*atchpoint \[0-9\]+: buf.*$gdb_prompt $" {
855 pass $test
856 set ok 1
857 }
858 }
859
860 if { $ok } {
861 set test "watchpoint on buf hit"
862 gdb_test_multiple "cont" $test {
863 -re "Continuing.*atchpoint \[0-9\]+: buf\r\n\r\nOld value = .*testte\".*$gdb_prompt $" {
864 pass $test
865 }
866 -re "Could not insert hardware breakpoints:.*You may have requested too many hardware breakpoints/watchpoints.*$gdb_prompt $" {
867 # This may happen with remote targets that support
868 # hardware watchpoints. We only find out the
869 # watchpoint was too large, for example, at insert
870 # time. If GDB is ever adjusted to downgrade the
871 # watchpoint automatically in this case, this match
872 # should be removed.
873 pass $test
874 }
875 }
876 }
06a64a0b
TT
877
878 gdb_test_no_output "delete \$bpnum" "delete watch buf"
218d2fc6
TJB
879}
880
c906108c
SS
881# Start with a fresh gdb.
882
78b4f468 883set prev_timeout $timeout
c906108c
SS
884set timeout 600
885verbose "Timeout now 600 sec.\n"
886
4b3c9f41 887test_no_hw_watchpoints
c906108c 888
4b3c9f41
PA
889proc do_tests {} {
890 global testfile
891 global no_hw
c906108c 892
4b3c9f41 893 clean_restart $testfile
c906108c 894
bdddb4de 895 if {$no_hw || [target_info exists gdb,no_hardware_watchpoints]} {
4b3c9f41
PA
896 gdb_test_no_output "set can-use-hw-watchpoints 0" ""
897 }
898
899 if [initialize] then {
900
901 test_simple_watchpoint
902
903 test_disabling_watchpoints
904
905 if ![target_info exists gdb,cannot_call_functions] {
906 test_stepping
907 }
c906108c
SS
908 }
909
f3ad2025
PA
910 # Tests below don't rely on the markers and watchpoint set by
911 # `initialize' anymore.
912 clean_restart $testfile
913
bdddb4de 914 if {$no_hw || [target_info exists gdb,no_hardware_watchpoints]} {
4b3c9f41
PA
915 gdb_test_no_output "set can-use-hw-watchpoints 0" ""
916 }
917
c906108c
SS
918 # Only enabled for some targets merely because it has not been tested
919 # elsewhere.
920 # On sparc-sun-sunos4.1.3, GDB was running all the way to the marker4
921 # breakpoint before stopping for the watchpoint. I don't know why.
922 if {[istarget "hppa*-*-*"]} then {
923 test_watchpoint_triggered_in_syscall
924 }
925
dbd95daf 926 test_complex_watchpoint
085dd6e6 927
8464be76
DJ
928 test_inaccessible_watchpoint
929
293e9a31 930 test_watchpoint_and_breakpoint
218d2fc6
TJB
931
932 test_watchpoint_in_big_blob
65d79d4b 933
65d79d4b 934 test_constant_watchpoint
06a64a0b 935
efa80663
PA
936 test_disable_enable_software_watchpoint
937
06a64a0b 938 test_watch_location
fabde485 939
fabde485
PA
940 test_wide_location_1
941 test_wide_location_2
c906108c 942}
78b4f468 943
4b3c9f41
PA
944# On targets that can do hardware watchpoints, run the tests twice:
945# once with hardware watchpoints enabled; another with hardware
946# watchpoints force-disabled.
947
948do_tests
949if ![target_info exists gdb,no_hardware_watchpoints] {
0f4d39d5 950 with_test_prefix "no-hw" {
6a5870ce
PA
951 set no_hw 1
952 do_tests
953 }
4b3c9f41
PA
954}
955
78b4f468
RE
956# Restore old timeout
957set timeout $prev_timeout
958verbose "Timeout now $timeout sec.\n"
This page took 1.346556 seconds and 4 git commands to generate.