1# Copyright 2011-2020 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] then { 38 fail "cannot run to main, testcase aborted" 39 return 0 40} 41 42set msg "insert catchpoint on all Ada exceptions" 43gdb_test_multiple "catch exception" $msg { 44 -re "Catchpoint $any_nb: all Ada exceptions$eol$gdb_prompt $" { 45 pass $msg 46 } 47 -re "Your Ada runtime appears to be missing some debugging information.*\[\r\n\]+$gdb_prompt $" { 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 58load_lib mi-support.exp 59set MIFLAGS "-i=mi" 60 61gdb_exit 62if [mi_gdb_start] { 63 continue 64} 65 66mi_delete_breakpoints 67mi_gdb_reinitialize_dir $srcdir/$subdir 68mi_gdb_load ${binfile} 69 70#################################### 71# 1. Try catching all exceptions. # 72#################################### 73 74with_test_prefix "scenario 1" { 75 if ![mi_run_to_main] then { 76 fail "cannot run to main, testcase aborted" 77 return 0 78 } 79} 80 81mi_gdb_test "-catch-exception" \ 82 "\\^done,bkptno=\"$decimal\",bkpt={.*disp=\"keep\",enabled=\"y\",what=\"all Ada exceptions\",.*}" \ 83 "catch all exceptions" 84 85# Continue to caught exception. 86 87proc continue_to_exception { exception_name exception_message test } { 88 global hex any_nb 89 90 mi_send_resuming_command "exec-continue" "$test" 91 92 # Match console stream output. 93 gdb_expect { 94 -re " $exception_name\( \\($exception_message\\)\)? at $hex in foo " { 95 } 96 timeout { 97 fail "$test (timeout)" 98 return -1 99 } 100 } 101 102 # Now MI stream output. 103 mi_expect_stop \ 104 "breakpoint-hit\",disp=\"keep\",bkptno=\"$any_nb\",exception-name=\"$exception_name\(\",exception-message=\"$exception_message\)?" \ 105 "foo" "" ".*" ".*" \ 106 ".*" \ 107 $test 108} 109 110continue_to_exception \ 111 "CONSTRAINT_ERROR" "foo\\.adb:$decimal explicit raise" \ 112 "continue until CE caught by all-exceptions catchpoint" 113 114continue_to_exception \ 115 "PROGRAM_ERROR" "foo\\.adb:$decimal explicit raise" \ 116 "continue until PE caught by all-exceptions catchpoint" 117 118################################################ 119# 2. Try catching only some of the exceptions. # 120################################################ 121 122# Here is the scenario: 123# - Restart the debugger from scratch, runto_main 124# - We'll catch only "Program_Error" 125# We'll catch assertions 126# We'll catch unhandled exceptions 127# - continue, we should see the first Program_Error exception 128# - continue, we should see the failed assertion 129# - continue, we should see the unhandled Constrait_Error exception 130# - continue, the program exits. 131 132with_test_prefix "scenario 2" { 133 if ![mi_run_to_main] then { 134 fail "cannot run to main, testcase aborted" 135 return 0 136 } 137} 138 139mi_gdb_test "-catch-exception -e Program_Error" \ 140 "\\^done,bkptno=\"$decimal\",bkpt={.*disp=\"keep\",enabled=\"y\",what=\"`Program_Error' Ada exception\",.*}" \ 141 "catch Program_Error" 142 143mi_gdb_test "-catch-assert" \ 144 "\\^done,bkptno=\"$decimal\",bkpt={.*disp=\"keep\",enabled=\"y\",what=\"failed Ada assertions\",.*}" \ 145 "catch assert failures" 146 147mi_gdb_test "-catch-exception -u" \ 148 "\\^done,bkptno=\"$decimal\",bkpt={.*disp=\"keep\",enabled=\"y\",what=\"unhandled Ada exceptions\",.*}" \ 149 "catch unhandled exceptions" 150 151mi_execute_to "exec-continue" \ 152 "breakpoint-hit\",disp=\"keep\",bkptno=\"$any_nb\",exception-name=\"PROGRAM_ERROR(\",exception-message=\"foo\\.adb:$decimal explicit raise)?" \ 153 "foo" "" ".*" ".*" \ 154 ".*" \ 155 "continue to exception catchpoint hit" 156 157mi_execute_to "exec-continue" \ 158 "breakpoint-hit\",disp=\"keep\",bkptno=\"$any_nb" \ 159 "foo" "" ".*" ".*" \ 160 ".*" \ 161 "continue to assert failure catchpoint hit" 162 163mi_execute_to "exec-continue" \ 164 "breakpoint-hit\",disp=\"keep\",bkptno=\"$any_nb\",exception-name=\"CONSTRAINT_ERROR" \ 165 "foo" "" ".*" ".*" \ 166 ".*" \ 167 "continue to unhandled exception catchpoint hit" 168 169