diff options
| -rw-r--r-- | gdb/testsuite/ChangeLog | 6 | ||||
| -rw-r--r-- | gdb/testsuite/gdb.ada/char_param.exp | 65 | ||||
| -rw-r--r-- | gdb/testsuite/gdb.ada/char_param/foo.adb | 27 | ||||
| -rw-r--r-- | gdb/testsuite/gdb.ada/char_param/pck.adb | 33 | ||||
| -rw-r--r-- | gdb/testsuite/gdb.ada/char_param/pck.ads | 29 |
5 files changed, 160 insertions, 0 deletions
diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog index 38252d7..e12e4e8 100644 --- a/gdb/testsuite/ChangeLog +++ b/gdb/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2007-12-24 Joel Brobecker <brobecker@adacore.com> + + * gdb.ada/char_param/pck.ads, gdb.ada/char_param/pck.adb, + gdb.ada/char_param/foo.adb: New files. + * gdb.ada/char_param.exp: New testcase. + 2007-12-22 Jim Blandy <jimb@codesourcery.com> * gdb.asm/asm-source.exp: Use gdb_get_line_number, instead of diff --git a/gdb/testsuite/gdb.ada/char_param.exp b/gdb/testsuite/gdb.ada/char_param.exp new file mode 100644 index 0000000..cb66d0e --- /dev/null +++ b/gdb/testsuite/gdb.ada/char_param.exp @@ -0,0 +1,65 @@ +# 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 3 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, see <http://www.gnu.org/licenses/>. + +if $tracelevel then { + strace $tracelevel +} + +load_lib "ada.exp" + +set testdir "char_param" +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} + +set bp_location [gdb_get_line_number "STOP" ${testdir}/foo.adb] +runto "foo.adb:$bp_location" + +# Call same and next which are procedures that take a Character +# as a parameter. To verify that the call was performed correctly, +# we check the value of "Procedure_Result" which is set during +# the function call. + +gdb_test "print procedure_result" \ + "32 ' '" \ + "print procedure_result before calling same" + +gdb_test "call same (first)" \ + "" \ + "call same" + +gdb_test "print procedure_result" \ + "97 'a'" \ + "print procedure_result after calling same" + +gdb_test "call next (first)" \ + "98 'b'" \ + "call next" + +gdb_test "print procedure_result" \ + "98 'b'" \ + "print procedure_result after calling next" + + diff --git a/gdb/testsuite/gdb.ada/char_param/foo.adb b/gdb/testsuite/gdb.ada/char_param/foo.adb new file mode 100644 index 0000000..797e30a --- /dev/null +++ b/gdb/testsuite/gdb.ada/char_param/foo.adb @@ -0,0 +1,27 @@ +-- 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 3 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, see <http://www.gnu.org/licenses/>. + +with Pck; use Pck; + +procedure Foo is + First : Character := 'a'; +begin + Procedure_Result := ' '; + Same (First); -- STOP + Next (First); +end Foo; + + + diff --git a/gdb/testsuite/gdb.ada/char_param/pck.adb b/gdb/testsuite/gdb.ada/char_param/pck.adb new file mode 100644 index 0000000..90519d1 --- /dev/null +++ b/gdb/testsuite/gdb.ada/char_param/pck.adb @@ -0,0 +1,33 @@ +-- 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 3 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, see <http://www.gnu.org/licenses/>. + +package body Pck is + + procedure Same (C : Character) is + begin + Procedure_Result := C; + end Same; + + procedure Next (C : in out Character) is + begin + if C = Character'Last then + C := Character'First; + else + C := Character'Succ (C); + end if; + Procedure_Result := C; + end Next; + +end Pck; diff --git a/gdb/testsuite/gdb.ada/char_param/pck.ads b/gdb/testsuite/gdb.ada/char_param/pck.ads new file mode 100644 index 0000000..4ad66c6 --- /dev/null +++ b/gdb/testsuite/gdb.ada/char_param/pck.ads @@ -0,0 +1,29 @@ +-- 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 3 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, see <http://www.gnu.org/licenses/>. + +with System; + +package Pck is + + Procedure_Result : Character := ' '; + + procedure Same (C : Character); + -- Set Procedure_Result to C. + + procedure Next (C : in out Character); + -- Increment C (if C is the last character, then set C to the first + -- character). Set Procedure_Result to the new value of C. + +end Pck; |