]>
Commit | Line | Data |
---|---|---|
3666a048 | 1 | # Copyright 2011-2021 Free Software Foundation, Inc. |
956a9fb9 JB |
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 | load_lib "ada.exp" | |
17 | ||
7a82e903 PA |
18 | if { [skip_ada_tests] } { return -1 } |
19 | ||
8223e12c | 20 | standard_ada_testfile foo |
956a9fb9 | 21 | |
956a9fb9 JB |
22 | if {[gdb_compile_ada "${srcfile}" "${binfile}" executable [list debug additional_flags=-gnata ]] != "" } { |
23 | return -1 | |
24 | } | |
25 | ||
26 | # Some global variables used to simplify the maintenance of some of | |
27 | # the regular expressions below. | |
28 | set any_nb "\[0-9\]+" | |
29 | set eol "\[\r\n\]+" | |
30 | ||
31 | # Before going any further, verify that we can insert exception | |
32 | # catchpoints... That way, we won't have to do this while doing | |
33 | # the actual GDB/MI testing. | |
34 | ||
35 | clean_restart ${testfile} | |
36 | ||
37 | if ![runto_main] then { | |
bc6c7af4 | 38 | fail "cannot run to main, testcase aborted" |
956a9fb9 JB |
39 | return 0 |
40 | } | |
41 | ||
42 | set msg "insert catchpoint on all Ada exceptions" | |
43 | gdb_test_multiple "catch exception" $msg { | |
44 | -re "Catchpoint $any_nb: all Ada exceptions$eol$gdb_prompt $" { | |
45 | pass $msg | |
46 | } | |
a6af7abe | 47 | -re "Your Ada runtime appears to be missing some debugging information.*\[\r\n\]+$gdb_prompt $" { |
956a9fb9 JB |
48 | # If the runtime was not built with enough debug information, |
49 | # or if it was stripped, we can not test exception | |
50 | # catchpoints. | |
51 | unsupported $msg | |
52 | return -1 | |
53 | } | |
54 | } | |
55 | ||
56 | # Now, we can start the GDB/MI testing itself... | |
57 | ||
58 | load_lib mi-support.exp | |
59 | set MIFLAGS "-i=mi" | |
60 | ||
b75d55d4 | 61 | mi_clean_restart $binfile |
956a9fb9 JB |
62 | |
63 | #################################### | |
64 | # 1. Try catching all exceptions. # | |
65 | #################################### | |
66 | ||
dbb0ab10 | 67 | with_test_prefix "scenario 1" { |
b75d55d4 | 68 | if {[mi_runto_main] < 0} { |
dbb0ab10 TV |
69 | fail "cannot run to main, testcase aborted" |
70 | return 0 | |
71 | } | |
956a9fb9 JB |
72 | } |
73 | ||
2a3be966 | 74 | mi_gdb_test "-catch-exception" \ |
f06f1252 | 75 | "\\^done,bkptno=\"$decimal\",bkpt={.*disp=\"keep\",enabled=\"y\",what=\"all Ada exceptions\",.*}" \ |
2a3be966 | 76 | "catch all exceptions" |
956a9fb9 | 77 | |
45db7c09 PA |
78 | # Continue to caught exception. |
79 | ||
e547c119 | 80 | proc continue_to_exception { exception_name exception_message test } { |
45db7c09 PA |
81 | global hex any_nb |
82 | ||
83 | mi_send_resuming_command "exec-continue" "$test" | |
84 | ||
85 | # Match console stream output. | |
86 | gdb_expect { | |
10329bb2 | 87 | -re " $exception_name\( \\($exception_message\\)\)? at $hex in foo " { |
45db7c09 PA |
88 | } |
89 | timeout { | |
90 | fail "$test (timeout)" | |
91 | return -1 | |
92 | } | |
93 | } | |
94 | ||
95 | # Now MI stream output. | |
96 | mi_expect_stop \ | |
10329bb2 | 97 | "breakpoint-hit\",disp=\"keep\",bkptno=\"$any_nb\",exception-name=\"$exception_name\(\",exception-message=\"$exception_message\)?" \ |
45db7c09 PA |
98 | "foo" "" ".*" ".*" \ |
99 | ".*" \ | |
100 | $test | |
101 | } | |
102 | ||
103 | continue_to_exception \ | |
e547c119 | 104 | "CONSTRAINT_ERROR" "foo\\.adb:$decimal explicit raise" \ |
45db7c09 PA |
105 | "continue until CE caught by all-exceptions catchpoint" |
106 | ||
107 | continue_to_exception \ | |
e547c119 | 108 | "PROGRAM_ERROR" "foo\\.adb:$decimal explicit raise" \ |
45db7c09 | 109 | "continue until PE caught by all-exceptions catchpoint" |
956a9fb9 JB |
110 | |
111 | ################################################ | |
112 | # 2. Try catching only some of the exceptions. # | |
113 | ################################################ | |
114 | ||
115 | # Here is the scenario: | |
116 | # - Restart the debugger from scratch, runto_main | |
117 | # - We'll catch only "Program_Error" | |
118 | # We'll catch assertions | |
119 | # We'll catch unhandled exceptions | |
120 | # - continue, we should see the first Program_Error exception | |
121 | # - continue, we should see the failed assertion | |
122 | # - continue, we should see the unhandled Constrait_Error exception | |
123 | # - continue, the program exits. | |
124 | ||
dbb0ab10 | 125 | with_test_prefix "scenario 2" { |
8c8bd0ba | 126 | mi_delete_breakpoints |
b75d55d4 | 127 | if {[mi_runto_main] < 0} { |
dbb0ab10 TV |
128 | fail "cannot run to main, testcase aborted" |
129 | return 0 | |
130 | } | |
956a9fb9 JB |
131 | } |
132 | ||
2a3be966 | 133 | mi_gdb_test "-catch-exception -e Program_Error" \ |
f06f1252 | 134 | "\\^done,bkptno=\"$decimal\",bkpt={.*disp=\"keep\",enabled=\"y\",what=\"`Program_Error' Ada exception\",.*}" \ |
2a3be966 | 135 | "catch Program_Error" |
956a9fb9 | 136 | |
2a3be966 | 137 | mi_gdb_test "-catch-assert" \ |
f06f1252 | 138 | "\\^done,bkptno=\"$decimal\",bkpt={.*disp=\"keep\",enabled=\"y\",what=\"failed Ada assertions\",.*}" \ |
2a3be966 | 139 | "catch assert failures" |
956a9fb9 | 140 | |
2a3be966 | 141 | mi_gdb_test "-catch-exception -u" \ |
f06f1252 | 142 | "\\^done,bkptno=\"$decimal\",bkpt={.*disp=\"keep\",enabled=\"y\",what=\"unhandled Ada exceptions\",.*}" \ |
2a3be966 | 143 | "catch unhandled exceptions" |
956a9fb9 JB |
144 | |
145 | mi_execute_to "exec-continue" \ | |
e547c119 | 146 | "breakpoint-hit\",disp=\"keep\",bkptno=\"$any_nb\",exception-name=\"PROGRAM_ERROR(\",exception-message=\"foo\\.adb:$decimal explicit raise)?" \ |
956a9fb9 JB |
147 | "foo" "" ".*" ".*" \ |
148 | ".*" \ | |
149 | "continue to exception catchpoint hit" | |
150 | ||
151 | mi_execute_to "exec-continue" \ | |
152 | "breakpoint-hit\",disp=\"keep\",bkptno=\"$any_nb" \ | |
153 | "foo" "" ".*" ".*" \ | |
154 | ".*" \ | |
c968bd18 | 155 | "continue to assert failure catchpoint hit" |
956a9fb9 JB |
156 | |
157 | mi_execute_to "exec-continue" \ | |
158 | "breakpoint-hit\",disp=\"keep\",bkptno=\"$any_nb\",exception-name=\"CONSTRAINT_ERROR" \ | |
159 | "foo" "" ".*" ".*" \ | |
160 | ".*" \ | |
c968bd18 | 161 | "continue to unhandled exception catchpoint hit" |
956a9fb9 | 162 |