1 # Copyright 2007-2023 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 !skip_ada_tests
20 standard_ada_testfile foo
22 if {[gdb_compile_ada "${srcfile}" "${binfile}" executable [list debug additional_flags=-gnata ]] != "" } {
26 clean_restart ${testfile}
28 # Some global variables used to simplify the maintenance of some of
29 # the regular expressions below.
31 set any_addr "0x\[0-9a-zA-Z\]+"
35 set info_break_header "Num${sp}Type${sp}Disp${sp}Enb${sp}Address${sp}What"
36 set catch_exception_info \
37 "$any_nb${sp}catchpoint${sp}keep${sp}y${sp}all Ada exceptions"
39 ####################################
40 # 1. Try catching all exceptions. #
41 ####################################
47 set msg "insert catchpoint on all Ada exceptions"
48 gdb_test_multiple "catch exception" $msg {
49 -re "Catchpoint $any_nb: all Ada exceptions$eol$gdb_prompt $" {
52 -re "Your Ada runtime appears to be missing some debugging information.*$eol$gdb_prompt $" {
53 # If the runtime was not built with enough debug information,
54 # or if it was stripped, we can not test exception
61 gdb_test "info break" \
62 "$info_break_header$eol.*$catch_exception_info" \
63 "info break, catch all Ada exceptions"
66 "Catchpoint $any_nb, CONSTRAINT_ERROR (\\\(ignore C_E\\\) )?at $any_addr in foo \\\(\\\).*at .*foo.adb:$any_nb"
68 "Continuing\.$eol$catchpoint_msg$eol.*SPOT1" \
69 "continuing to first exception"
72 "Catchpoint $any_nb, PROGRAM_ERROR (\\\(foo\\.adb:$decimal explicit raise\\\) )?at $any_addr in foo \\\(\\\).*at .*foo.adb:$any_nb"
74 "Continuing\.$eol$catchpoint_msg$eol.*SPOT2" \
75 "continuing to second exception"
77 ################################################
78 # 2. Try catching only some of the exceptions. #
79 ################################################
81 # Here is the scenario:
82 # - Restart the debugger from scratch, runto_main
83 # - We'll catch only "Program_Error"
84 # We'll catch assertions
85 # We'll catch unhandled exceptions
86 # - continue, we should see the first Program_Error exception
87 # - continue, we should see the failed assertion
88 # - continue, we should see the unhandled Constrait_Error exception
89 # - continue, the program exits.
95 gdb_test "catch exception Program_Error" \
96 "Catchpoint $any_nb: \`Program_Error' Ada exception" \
97 "insert catchpoint on Program_Error"
99 gdb_test "catch assert" \
100 "Catchpoint $any_nb: failed Ada assertions" \
101 "insert catchpoint on failed assertions"
103 gdb_test "catch exception unhandled" \
104 "Catchpoint $any_nb: unhandled Ada exceptions" \
105 "insert catchpoint on unhandled exceptions"
107 set catch_exception_entry \
108 "$any_nb${sp}catchpoint${sp}keep${sp}y${sp}\`Program_Error' Ada exception"
109 set catch_assert_entry \
110 "$any_nb${sp}catchpoint${sp}keep${sp}y${sp}failed Ada assertions"
111 set catch_unhandled_entry \
112 "$any_nb${sp}catchpoint${sp}keep${sp}y${sp}unhandled Ada exceptions"
114 gdb_test "info break" \
115 "$info_break_header$eol.*$catch_exception_entry$eol$catch_assert_entry$eol$catch_unhandled_entry" \
116 "info break, second run"
119 "Catchpoint $any_nb, PROGRAM_ERROR (\\\(foo.adb:$decimal explicit raise\\\) )?at $any_addr in foo \\\(\\\).*at .*foo.adb:$any_nb"
120 gdb_test "continue" \
121 "Continuing\.$eol$catchpoint_msg$eol.*SPOT2" \
122 "continuing to Program_Error exception"
125 "Catchpoint $any_nb, failed assertion at $any_addr in foo \\\(\\\).*at .*foo.adb:$any_nb"
126 gdb_test "continue" \
127 "Continuing\.$eol$catchpoint_msg$eol.*SPOT3" \
128 "continuing to failed assertion"
131 "Catchpoint $any_nb, unhandled CONSTRAINT_ERROR at $any_addr in foo \\\(\\\).*at .*foo.adb:$any_nb"
132 gdb_test "continue" \
133 "Continuing\.$eol$catchpoint_msg$eol.*SPOT4" \
134 "continuing to unhandled exception"
136 gdb_test "continue" \
137 "Continuing\..*$inferior_exited_re.*" \
138 "continuing to program completion"
140 #################################
141 # 3. Try temporary catchpoints. #
142 #################################
145 # - Insert a temporary catchpoint on all exceptions.
146 # - Run to that catchpoint
147 # - Continue; we should reach the program's exit, not stopping
148 # at any of the other exceptions that are being raised inside
155 gdb_test "tcatch exception" \
156 "Temporary catchpoint $any_nb: all Ada exceptions"
158 set temp_catchpoint_msg \
159 "Temporary catchpoint $any_nb, CONSTRAINT_ERROR (\\\(.*\\\) )?at $any_addr in foo \\\(\\\).*at .*foo.adb:$any_nb"
160 gdb_test "continue" \
161 "Continuing\.$eol$temp_catchpoint_msg$eol.*SPOT1" \
162 "continuing to temporary catchpoint"
164 with_test_prefix "temporary catchpoint" {
165 gdb_test "continue" \
166 "Continuing\..*$inferior_exited_re.*" \
167 "continuing to program completion"