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