1 # Copyright 2017-2024 Free Software Foundation, Inc.
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.
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.
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/>.
18 require allow_ada_tests
20 standard_ada_testfile foo_p708_025
22 if {[gdb_compile_ada "${srcfile}" "${binfile}" executable {debug}] != ""} {
26 clean_restart ${testfile}
28 set bp_location [gdb_get_line_number "START" ${testdir}/pck.adb]
29 runto "pck.adb:$bp_location"
31 # Insert a watchpoint on local variable "result"
33 gdb_test "watch result" \
34 ".*atchpoint \[0-9\]+: result"
36 # Insert a breakpoint we'll reach after returning from the current
39 set bp_location [gdb_get_line_number "Do_Nothing" ${testdir}/foo_p708_025.adb]
40 gdb_test "break foo_p708_025.adb:$bp_location" \
41 "Breakpoint \[0-9\]+ at.*: file .*foo_p708_025.adb, line \[0-9\]+."
43 # This breakpoint will be there to stop us after we test what happens
44 # during a continue (see below...)
46 gdb_test "break pck.increment" \
47 "Breakpoint \[0-9\]+ at.*: file .*pck.adb, line \[0-9\]+."
49 # Continue until we reach our watchpoint. It isn't strictly necessary
50 # for our purpose that the watchpoint actually triggers, but this shows
51 # that the watchpoint exists and is active.
53 ".*atchpoint \[0-9\]+: result.*Old value = 8.*New value = 64.*" \
54 "continuing to watchpoint hit"
56 # Continue again. We should be stopped at the (internal) breakpoint
57 # that we setup to delete the watchpoint as soon as the program leaves
62 ".*atchpoint \[0-9\]+ deleted because the program has left the block.*" \
63 "continuing until watchpoint automatic deletion"
65 # Continue one more time. We should be reaching one of the breakpoints
66 # (on the call to Do_Nothing) we set earlier.
69 "Breakpoint \[0-9\]+.*Do_Nothing.*" \
70 "continuing to breakpoint on call to Do_Nothing"
72 # Do a next, to verify that it works...
76 "next to call to Call_Me"
78 # And finally, one more continue.
82 "Breakpoint \[0-9\]+.*pck\\.increment.*" \
83 "continuing to breakpoint in pck.increment"