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