1 # Copyright 2007-2012 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 set testdir "catch_ex"
19 set testfile "${testdir}/foo"
20 set srcfile ${srcdir}/${subdir}/${testfile}.adb
21 set binfile ${objdir}/${subdir}/${testfile}
23 file mkdir ${objdir}/${subdir}/${testdir}
24 if {[gdb_compile_ada "${srcfile}" "${binfile}" executable [list debug additional_flags=-gnata ]] != "" } {
28 clean_restart ${testfile}
30 # Some global variables used to simplify the maintenance of some of
31 # the regular expressions below.
33 set any_addr "0x\[0-9a-zA-Z\]+"
37 set info_break_header "Num${sp}Type${sp}Disp${sp}Enb${sp}Address${sp}What"
38 set catch_exception_info \
39 "$any_nb${sp}breakpoint${sp}keep${sp}y${sp}$any_addr${sp}all Ada exceptions"
41 ####################################
42 # 1. Try catching all exceptions. #
43 ####################################
45 if ![runto_main] then {
46 fail "Cannot run to main, testcase aborted"
50 set msg "insert catchpoint on all Ada exceptions"
51 gdb_test_multiple "catch exception" $msg {
52 -re "Catchpoint $any_nb: all Ada exceptions$eol$gdb_prompt $" {
55 -re "Your Ada runtime appears to be missing some debugging information.*$eol$gdb_prompt $" {
56 # If the runtime was not built with enough debug information,
57 # or if it was stripped, we can not test exception
64 gdb_test "info break" \
65 "$info_break_header$eol.*$catch_exception_info" \
66 "info break, catch all Ada exceptions"
69 "Catchpoint $any_nb, CONSTRAINT_ERROR at $any_addr in foo \\\(\\\).*at .*foo.adb:$any_nb"
71 "Continuing\.$eol$catchpoint_msg$eol.*SPOT1" \
72 "continuing to first exception"
75 "Catchpoint $any_nb, PROGRAM_ERROR at $any_addr in foo \\\(\\\).*at .*foo.adb:$any_nb"
77 "Continuing\.$eol$catchpoint_msg$eol.*SPOT2" \
78 "continuing to second exception"
80 ################################################
81 # 2. Try catching only some of the exceptions. #
82 ################################################
84 # Here is the scenario:
85 # - Restart the debugger from scratch, runto_main
86 # - We'll catch only "Program_Error"
87 # We'll catch assertions
88 # We'll catch unhandled exceptions
89 # - continue, we should see the first Program_Error exception
90 # - continue, we should see the failed assertion
91 # - continue, we should see the unhandled Constrait_Error exception
92 # - continue, the program exits.
94 if ![runto_main] then {
95 fail "Cannot run to main, testcase aborted"
99 gdb_test "catch exception Program_Error" \
100 "Catchpoint $any_nb: \`Program_Error' Ada exception" \
101 "insert catchpoint on Program_Error"
103 gdb_test "catch assert" \
104 "Catchpoint $any_nb: failed Ada assertions" \
105 "insert catchpoint on failed assertions"
107 gdb_test "catch exception unhandled" \
108 "Catchpoint $any_nb: unhandled Ada exceptions" \
109 "insert catchpoint on unhandled exceptions"
111 set catch_exception_entry \
112 "$any_nb${sp}breakpoint${sp}keep${sp}y${sp}$any_addr${sp}\`Program_Error' Ada exception"
113 set catch_assert_entry \
114 "$any_nb${sp}breakpoint${sp}keep${sp}y${sp}$any_addr${sp}failed Ada assertions"
115 set catch_unhandled_entry \
116 "$any_nb${sp}breakpoint${sp}keep${sp}y${sp}$any_addr${sp}unhandled Ada exceptions"
118 gdb_test "info break" \
119 "$info_break_header$eol.*$catch_exception_entry$eol$catch_assert_entry$eol$catch_unhandled_entry" \
120 "info break, second run"
123 "Catchpoint $any_nb, PROGRAM_ERROR at $any_addr in foo \\\(\\\).*at .*foo.adb:$any_nb"
124 gdb_test "continue" \
125 "Continuing\.$eol$catchpoint_msg$eol.*SPOT2" \
126 "continuing to Program_Error exception"
129 "Catchpoint $any_nb, failed assertion at $any_addr in foo \\\(\\\).*at .*foo.adb:$any_nb"
130 gdb_test "continue" \
131 "Continuing\.$eol$catchpoint_msg$eol.*SPOT3" \
132 "continuing to failed assertion"
135 "Catchpoint $any_nb, unhandled CONSTRAINT_ERROR at $any_addr in foo \\\(\\\).*at .*foo.adb:$any_nb"
136 gdb_test "continue" \
137 "Continuing\.$eol$catchpoint_msg$eol.*SPOT4" \
138 "continuing to unhandled exception"
140 gdb_test "continue" \
141 "Continuing\..*$inferior_exited_re.*" \
142 "continuing to program completion"
144 #################################
145 # 3. Try temporary catchpoints. #
146 #################################
149 # - Insert a temporary catchpoint on all exceptions.
150 # - Run to that catchpoint
151 # - Continue; we should reach the program's exit, not stopping
152 # at any of the other exceptions that are being raised inside
155 if ![runto_main] then {
156 fail "Cannot run to main, testcase aborted"
160 gdb_test "tcatch exception" \
161 "Temporary catchpoint $any_nb: all Ada exceptions"
163 set temp_catchpoint_msg \
164 "Temporary catchpoint $any_nb, CONSTRAINT_ERROR at $any_addr in foo \\\(\\\).*at .*foo.adb:$any_nb"
165 gdb_test "continue" \
166 "Continuing\.$eol$temp_catchpoint_msg$eol.*SPOT1" \
167 "continuing to temporary catchpoint"
169 gdb_test "continue" \
170 "Continuing\..*$inferior_exited_re.*" \
171 "continuing to program completion"