This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
[RFA/commit] testcase for "gdb-ax.c: Add handling of TYPE_CODE_RANGE types"
- From: Joel Brobecker <brobecker at adacore dot com>
- To: gdb-patches at sourceware dot org
- Cc: Joel Brobecker <brobecker at adacore dot com>
- Date: Thu, 8 Mar 2012 15:25:19 -0800
- Subject: [RFA/commit] testcase for "gdb-ax.c: Add handling of TYPE_CODE_RANGE types"
- References: <1331245714-12211-1-git-send-email-brobecker@adacore.com>
This is a testcase for:
[RFA] ax-gdb.c: Add handling of TYPE_CODE_RANGE types.
http://www.sourceware.org/ml/gdb-patches/2012-03/msg00299.html
Without the patch above, we get the following FAIL:
FAIL: gdb.ada/bp_range_type.exp: run to breakpoint (GDB internal error)
And once the patch is applied, we get all PASSes.
gdb/testsuite/ChangeLog:
* bp_range_type: New testcase.
Tested on x86_64-linux. Will commit once the code patch is approved,
unless there are comments, as always.
---
gdb/testsuite/gdb.ada/bp_range_type.exp | 41 +++++++++++++++++++++++++++
gdb/testsuite/gdb.ada/bp_range_type/foo.adb | 26 +++++++++++++++++
gdb/testsuite/gdb.ada/bp_range_type/pck.adb | 21 ++++++++++++++
gdb/testsuite/gdb.ada/bp_range_type/pck.ads | 19 ++++++++++++
4 files changed, 107 insertions(+), 0 deletions(-)
create mode 100644 gdb/testsuite/gdb.ada/bp_range_type.exp
create mode 100644 gdb/testsuite/gdb.ada/bp_range_type/foo.adb
create mode 100644 gdb/testsuite/gdb.ada/bp_range_type/pck.adb
create mode 100644 gdb/testsuite/gdb.ada/bp_range_type/pck.ads
diff --git a/gdb/testsuite/gdb.ada/bp_range_type.exp b/gdb/testsuite/gdb.ada/bp_range_type.exp
new file mode 100644
index 0000000..f65e0c7
--- /dev/null
+++ b/gdb/testsuite/gdb.ada/bp_range_type.exp
@@ -0,0 +1,41 @@
+# Copyright 2012 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/>.
+
+load_lib "ada.exp"
+
+set testdir "bp_range_type"
+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 ]] != "" } {
+ return -1
+}
+
+clean_restart ${testfile}
+
+set bp_location [gdb_get_line_number "STOP" ${testdir}/foo.adb]
+
+gdb_test "break foo.adb:$bp_location if small_value > 20" \
+ "Breakpoint $decimal at $hex: file .*foo.adb, line $decimal\\."
+
+gdb_run_cmd
+gdb_test "" \
+ "Breakpoint $decimal, foo \\(\\).*" \
+ "run to breakpoint"
+
+# Verify that we stopped at the correct iteration.
+gdb_test "print small_value" " = 25"
diff --git a/gdb/testsuite/gdb.ada/bp_range_type/foo.adb b/gdb/testsuite/gdb.ada/bp_range_type/foo.adb
new file mode 100644
index 0000000..53b9c4c
--- /dev/null
+++ b/gdb/testsuite/gdb.ada/bp_range_type/foo.adb
@@ -0,0 +1,26 @@
+-- Copyright 2012 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
+ type Small is range 0 .. 1000;
+ Small_Value : Small := 10;
+begin
+ for J in 1 .. 10 loop
+ Small_Value := Small_Value + Small (J);
+ Do_Nothing (Small_Value'Address); -- STOP
+ end loop;
+end Foo;
diff --git a/gdb/testsuite/gdb.ada/bp_range_type/pck.adb b/gdb/testsuite/gdb.ada/bp_range_type/pck.adb
new file mode 100644
index 0000000..1f7d45c
--- /dev/null
+++ b/gdb/testsuite/gdb.ada/bp_range_type/pck.adb
@@ -0,0 +1,21 @@
+-- Copyright 2012 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 Do_Nothing (A : System.Address) is
+ begin
+ null;
+ end Do_Nothing;
+end Pck;
diff --git a/gdb/testsuite/gdb.ada/bp_range_type/pck.ads b/gdb/testsuite/gdb.ada/bp_range_type/pck.ads
new file mode 100644
index 0000000..c20c0d8
--- /dev/null
+++ b/gdb/testsuite/gdb.ada/bp_range_type/pck.ads
@@ -0,0 +1,19 @@
+-- Copyright 2012 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 Do_Nothing (A : System.Address);
+end Pck;
--
1.7.1