diff options
| -rw-r--r-- | gdb/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gdb/testsuite/gdb.ada/catch_ex.exp | 143 | ||||
| -rw-r--r-- | gdb/testsuite/gdb.ada/catch_ex/foo.adb | 45 |
3 files changed, 193 insertions, 0 deletions
diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog index e8003af..f043993 100644 --- a/gdb/testsuite/ChangeLog +++ b/gdb/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2006-01-04 Joel Brobecker <brobecker@adacore.com> + + * gdb.ada/catch_ex/foo.adb: New file. + * gdb.ada/catch_ex.exp: New testcase. + 2007-01-03 Pedro Alves <pedro_alves@portugalmail.pt> * gdb.base/shreloc.exp: Use ldflags instead of additional_flags to diff --git a/gdb/testsuite/gdb.ada/catch_ex.exp b/gdb/testsuite/gdb.ada/catch_ex.exp new file mode 100644 index 0000000..603909c --- /dev/null +++ b/gdb/testsuite/gdb.ada/catch_ex.exp @@ -0,0 +1,143 @@ +# Copyright 2007 Free Software Foundation, Inc. +# +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 2 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, +# MA 02110-1301, USA + +if $tracelevel then { + strace $tracelevel +} + +load_lib "ada.exp" + +set testdir "catch_ex" +set testfile "${testdir}/foo" +set srcfile ${srcdir}/${subdir}/${testfile}.adb +set binfile ${objdir}/${subdir}/${testfile} + +file mkdir ${objdir}/${subdir}/${testdir} +if {[gdb_compile_ada "${srcfile}" "${binfile}" executable [list debug additional_flags=-gnata ]] != "" } { + return -1 +} + +gdb_exit +gdb_start +gdb_reinitialize_dir $srcdir/$subdir +gdb_load ${binfile} + +# Some global variables used to simplify the maintenance of some of +# the regular expressions below. +set any_nb "\[0-9\]+" +set any_addr "0x\[0-9a-zA-Z\]+" +set eol "\[\r\n\]+" +set sp "\[ \t\]*" + +set info_break_header "Num${sp}Type${sp}Disp${sp}Enb${sp}Address${sp}What" +set catch_exception_info \ + "$any_nb${sp}breakpoint${sp}keep${sp}y${sp}$any_addr${sp}all Ada exceptions" + +#################################### +# 1. Try catching all exceptions. # +#################################### + +if ![runto_main] then { + fail "Cannot run to main, testcase aborted" + return 0 +} + +gdb_test "catch exception" \ + "Catchpoint $any_nb: all Ada exceptions" \ + "insert catchpoint on all Ada exceptions" + +gdb_test "info break" \ + "$info_break_header$eol.*$catch_exception_info" \ + "info break, catch all Ada exceptions" + +set catchpoint_msg \ + "Catchpoint $any_nb, CONSTRAINT_ERROR at $any_addr in foo \\\(\\\).*at .*foo.adb:$any_nb" +gdb_test "continue" \ + "Continuing\.$eol$catchpoint_msg$eol.*SPOT1" \ + "continuing to first exception" + +set catchpoint_msg \ + "Catchpoint $any_nb, PROGRAM_ERROR at $any_addr in foo \\\(\\\).*at .*foo.adb:$any_nb" +gdb_test "continue" \ + "Continuing\.$eol$catchpoint_msg$eol.*SPOT2" \ + "continuing to second exception" + +################################################ +# 2. Try catching only some of the exceptions. # +################################################ + +# Here is the scenario: +# - Restart the debugger from scratch, runto_main +# - We'll catch only "Program_Error" +# We'll catch assertions +# We'll catch unhandled exceptions +# - continue, we should see the first Program_Error exception +# - continue, we should see the failed assertion +# - continue, we should see the unhandled Constrait_Error exception +# - continue, the program exits. + +if ![runto_main] then { + fail "Cannot run to main, testcase aborted" + return 0 +} + +gdb_test "catch exception Program_Error" \ + "Catchpoint $any_nb: \`Program_Error' Ada exception" \ + "insert catchpoint on Program_Error" + +gdb_test "catch assert" \ + "Catchpoint $any_nb: failed Ada assertions" \ + "insert catchpoint on failed assertions" + +gdb_test "catch exception unhandled" \ + "Catchpoint $any_nb: unhandled Ada exceptions" \ + "insert catchpoint on unhandled exceptions" + +set catch_exception_entry \ + "$any_nb${sp}breakpoint${sp}keep${sp}y${sp}$any_addr${sp}\`Program_Error' Ada exception" +set catch_assert_entry \ + "$any_nb${sp}breakpoint${sp}keep${sp}y${sp}$any_addr${sp}failed Ada assertions" +set catch_unhandled_entry \ + "$any_nb${sp}breakpoint${sp}keep${sp}y${sp}$any_addr${sp}unhandled Ada exceptions" + +gdb_test "info break" \ + "$info_break_header$eol.*$catch_exception_entry$eol$catch_assert_entry$eol$catch_unhandled_entry" \ + "info break, second run" + +set catchpoint_msg \ + "Catchpoint $any_nb, PROGRAM_ERROR at $any_addr in foo \\\(\\\).*at .*foo.adb:$any_nb" +gdb_test "continue" \ + "Continuing\.$eol$catchpoint_msg$eol.*SPOT2" \ + "continuing to Program_Error exception" + +set catchpoint_msg \ + "Catchpoint $any_nb, failed assertion at $any_addr in foo \\\(\\\).*at .*foo.adb:$any_nb" +gdb_test "continue" \ + "Continuing\.$eol$catchpoint_msg$eol.*SPOT3" \ + "continuing to Program_Error exception" + +set catchpoint_msg \ + "Catchpoint $any_nb, unhandled CONSTRAINT_ERROR at $any_addr in foo \\\(\\\).*at .*foo.adb:$any_nb" +gdb_test "continue" \ + "Continuing\.$eol$catchpoint_msg$eol.*SPOT4" \ + "continuing to Program_Error exception" + +gdb_test "continue" \ + "Continuing\..*Program exited.*" \ + "continuing to program completion" + + diff --git a/gdb/testsuite/gdb.ada/catch_ex/foo.adb b/gdb/testsuite/gdb.ada/catch_ex/foo.adb new file mode 100644 index 0000000..d8220d2 --- /dev/null +++ b/gdb/testsuite/gdb.ada/catch_ex/foo.adb @@ -0,0 +1,45 @@ +-- Copyright 2007 Free Software Foundation, Inc. +-- +-- This program is free software; you can redistribute it and/or modify +-- it under the terms of the GNU General Public License as published by +-- the Free Software Foundation; either version 2 of the License, or +-- (at your option) any later version. +-- +-- This program is distributed in the hope that it will be useful, +-- but WITHOUT ANY WARRANTY; without even the implied warranty of +-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +-- GNU General Public License for more details. +-- +-- You should have received a copy of the GNU General Public License +-- along with this program; if not, write to the Free Software +-- Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, +-- MA 02110-1301, USA + +procedure Foo is +begin + + begin + raise Constraint_Error; -- SPOT1 + exception + when others => + null; + end; + + begin + raise Program_Error; -- SPOT2 + exception + when others => + null; + end; + + begin + pragma Assert (False); -- SPOT3 + null; + exception + when others => + null; + end; + + raise Constraint_Error; -- SPOT4 + +end Foo; |