Commit | Line | Data |
---|---|---|
b811d2c2 | 1 | # Copyright 2019-2020 Free Software Foundation, Inc. |
30056ea0 AB |
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 | # Test the -catch-throw, -catch-rethrow, and -catch-catch MI commands. | |
17 | ||
18 | if { [skip_cplus_tests] } { continue } | |
19 | ||
20 | load_lib mi-support.exp | |
21 | set MIFLAGS "-i=mi" | |
22 | ||
23 | standard_testfile .cc | |
24 | ||
25 | if { [gdb_compile "${srcdir}/${subdir}/${srcfile}" "${binfile}" executable {debug c++}] != "" } { | |
26 | untested "failed to compile" | |
27 | return -1 | |
28 | } | |
29 | ||
297989a1 TV |
30 | if [mi_gdb_start] { |
31 | continue | |
32 | } | |
33 | mi_delete_breakpoints | |
34 | mi_gdb_reinitialize_dir $srcdir/$subdir | |
35 | mi_gdb_load ${binfile} | |
36 | if {![mi_run_to_main]} { | |
37 | return -1 | |
38 | } | |
b694989f | 39 | set libstdcxx_probe_tests_supported [expr ![mi_skip_libstdcxx_probe_tests]] |
297989a1 | 40 | |
30056ea0 AB |
41 | # Grab some line numbers we'll need. |
42 | set catch_1_lineno [gdb_get_line_number "Catch 1"] | |
43 | set catch_2_lineno [gdb_get_line_number "Catch 2"] | |
44 | set throw_1_lineno [gdb_get_line_number "Throw 1"] | |
45 | set throw_2_lineno [gdb_get_line_number "Throw 2"] | |
46 | set main_lineno [gdb_get_line_number "Stop here"] | |
47 | ||
48 | # Restart this test, load the test binary and set a breakpoint in | |
49 | # main. | |
50 | proc restart_for_test {} { | |
51 | global srcdir subdir binfile srcfile | |
52 | global main_lineno | |
53 | ||
54 | if {[mi_gdb_start]} { | |
55 | continue | |
56 | } | |
57 | ||
58 | mi_delete_breakpoints | |
59 | mi_gdb_reinitialize_dir $srcdir/$subdir | |
60 | mi_gdb_load ${binfile} | |
61 | ||
62 | mi_runto main | |
63 | ||
64 | mi_create_breakpoint \ | |
65 | "$srcfile:${main_lineno}" "break before exiting program" \ | |
66 | -disp keep -func "main.*" \ | |
67 | -file ".*mi-catch-cpp-exceptions.cc" -line ${main_lineno} | |
68 | } | |
69 | ||
70 | # Issue an -exec-continue then wait for GDB to catch a C++ exception | |
71 | # event in FUNC on LINE. Use TESTNAME to make tests unique. | |
72 | proc continue_to_next_exception { func line testname } { | |
73 | global hex | |
74 | ||
75 | mi_send_resuming_command "exec-continue" \ | |
76 | "exec-continue" | |
77 | mi_expect_stop "exception-caught" ".*" ".*" ".*" ".*" \ | |
78 | {} "run until an exception is caught: $testname" | |
79 | mi_gdb_test "-stack-list-frames 1 1" \ | |
80 | "\\^done,stack=\\\[frame=\{level=\"1\",addr=\"$hex\",func=\"${func}\",.*,line=\"${line}\".*\}\\\]" \ | |
81 | "check previous frame: $testname" | |
82 | } | |
83 | ||
84 | # Issue an -exec-continue and stop at the breakpoint in main. | |
85 | proc continue_to_breakpoint_in_main {} { | |
86 | global main_lineno | |
87 | ||
88 | mi_send_resuming_command "exec-continue" "exec-continue to main" | |
89 | mi_expect_stop "breakpoint-hit" "main" ".*" ".*" "${main_lineno}" \ | |
90 | {.* disp="keep"} "run until breakpoint in main" | |
91 | } | |
92 | ||
93 | # TYPE is one of throw, rethrow, or catch. This proc creates a catch | |
94 | # point using -catch-TYPE. The optional string EXTRA is any extra | |
95 | # arguments to pass when setting up the catchpoint. | |
96 | proc setup_catchpoint {type {extra ""}} { | |
97 | global decimal | |
98 | mi_gdb_test "-catch-${type} ${extra}" \ | |
cb1e4e32 | 99 | "\\^done,bkpt=\{number=\"$decimal\",type=\"catchpoint\".*what=\"exception ${type}\",catch-type=\"${type}\".*\}" \ |
30056ea0 AB |
100 | "Setup -catch-${type}" |
101 | } | |
102 | ||
103 | # Ensure that -catch-throw will catch only throws and nothing else. | |
104 | with_test_prefix "-catch-throw" { | |
105 | restart_for_test | |
106 | setup_catchpoint "throw" | |
107 | continue_to_next_exception "bar" "${throw_1_lineno}" "throw 1" | |
108 | continue_to_next_exception "bar" "${throw_1_lineno}" "throw 2" | |
109 | continue_to_next_exception "bar" "${throw_1_lineno}" "throw 3" | |
110 | continue_to_next_exception "bar" "${throw_1_lineno}" "throw 4" | |
111 | continue_to_breakpoint_in_main | |
112 | } | |
113 | ||
114 | # Ensure that -catch-rethrow catches only rethrows and nothing else. | |
115 | with_test_prefix "-catch-rethrow" { | |
116 | restart_for_test | |
117 | setup_catchpoint "rethrow" | |
118 | continue_to_next_exception "foo" "${throw_2_lineno}" "rethrow 1" | |
119 | continue_to_next_exception "foo" "${throw_2_lineno}" "rethrow 2" | |
120 | continue_to_breakpoint_in_main | |
121 | } | |
122 | ||
123 | # Ensure that -catch-catch catches only catch points, and nothing | |
124 | # else. | |
125 | with_test_prefix "-catch-catch" { | |
126 | restart_for_test | |
127 | setup_catchpoint "catch" | |
128 | continue_to_next_exception "foo" "${catch_1_lineno}" "catch 1" | |
129 | continue_to_next_exception "foo" "${catch_1_lineno}" "catch 2" | |
130 | continue_to_next_exception "main" "${catch_2_lineno}" "catch 3" | |
131 | continue_to_next_exception "foo" "${catch_1_lineno}" "catch 4" | |
132 | continue_to_next_exception "foo" "${catch_1_lineno}" "catch 5" | |
133 | continue_to_next_exception "main" "${catch_2_lineno}" "catch 6" | |
134 | continue_to_breakpoint_in_main | |
135 | } | |
136 | ||
297989a1 TV |
137 | if { $libstdcxx_probe_tests_supported == 1 } { |
138 | # Now check that all of the command with a regexp that doesn't match, | |
139 | # don't trigger. | |
140 | with_test_prefix "all with invalid regexp" { | |
141 | restart_for_test | |
142 | setup_catchpoint "throw" "-r blahblah" | |
143 | setup_catchpoint "rethrow" "-r woofwoof" | |
144 | setup_catchpoint "catch" "-r miowmiow" | |
145 | continue_to_breakpoint_in_main | |
146 | } | |
147 | } else { | |
148 | unsupported "all with invalid regexp" | |
30056ea0 AB |
149 | } |
150 | ||
297989a1 TV |
151 | if { $libstdcxx_probe_tests_supported == 1 } { |
152 | # Now check that all of the commands with a regexp that does match, | |
153 | # still trigger. | |
154 | with_test_prefix "all with valid regexp" { | |
155 | restart_for_test | |
156 | setup_catchpoint "throw" "-r my_ex" | |
157 | setup_catchpoint "rethrow" "-r _except" | |
158 | setup_catchpoint "catch" "-r my_exception" | |
159 | continue_to_next_exception "bar" "${throw_1_lineno}" "throw 1" | |
160 | continue_to_next_exception "foo" "${catch_1_lineno}" "catch 1" | |
161 | continue_to_next_exception "bar" "${throw_1_lineno}" "throw 2" | |
162 | continue_to_next_exception "foo" "${catch_1_lineno}" "catch 2" | |
163 | continue_to_next_exception "foo" "${throw_2_lineno}" "rethrow 1" | |
164 | continue_to_next_exception "main" "${catch_2_lineno}" "catch 3" | |
165 | continue_to_next_exception "bar" "${throw_1_lineno}" "throw 3" | |
166 | continue_to_next_exception "foo" "${catch_1_lineno}" "catch 4" | |
167 | continue_to_next_exception "bar" "${throw_1_lineno}" "throw 4" | |
168 | continue_to_next_exception "foo" "${catch_1_lineno}" "catch 5" | |
169 | continue_to_next_exception "foo" "${throw_2_lineno}" "rethrow 2" | |
170 | continue_to_next_exception "main" "${catch_2_lineno}" "catch 6" | |
171 | continue_to_breakpoint_in_main | |
172 | } | |
173 | } else { | |
174 | unsupported "all with valid regexp" | |
30056ea0 AB |
175 | } |
176 | ||
177 | # Check that the temporary switch works on its own. | |
178 | with_test_prefix "all with -t" { | |
179 | restart_for_test | |
180 | setup_catchpoint "throw" "-t" | |
181 | setup_catchpoint "rethrow" "-t" | |
182 | setup_catchpoint "catch" "-t" | |
183 | continue_to_next_exception "bar" "${throw_1_lineno}" "throw 1" | |
184 | continue_to_next_exception "foo" "${catch_1_lineno}" "catch 1" | |
185 | continue_to_next_exception "foo" "${throw_2_lineno}" "rethrow 1" | |
186 | continue_to_breakpoint_in_main | |
187 | } | |
188 | ||
297989a1 TV |
189 | if { $libstdcxx_probe_tests_supported == 1 } { |
190 | # Check that the temporary switch works when used with a regexp. | |
191 | restart_for_test | |
192 | with_test_prefix "all with -t and regexp" { | |
193 | setup_catchpoint "throw" "-t -r my_ex" | |
194 | setup_catchpoint "rethrow" "-t -r _except" | |
195 | setup_catchpoint "catch" "-t -r my_exception" | |
196 | continue_to_next_exception "bar" "${throw_1_lineno}" "throw 1" | |
197 | continue_to_next_exception "foo" "${catch_1_lineno}" "catch 1" | |
198 | continue_to_next_exception "foo" "${throw_2_lineno}" "rethrow 1" | |
199 | continue_to_breakpoint_in_main | |
200 | } | |
201 | } else { | |
202 | unsupported "all with -t and regexp" | |
30056ea0 | 203 | } |