aboutsummaryrefslogtreecommitdiff
path: root/gdb/testsuite/gdb.ada
diff options
context:
space:
mode:
authorJoel Brobecker <brobecker@gnat.com>2008-04-19 01:35:49 +0000
committerJoel Brobecker <brobecker@gnat.com>2008-04-19 01:35:49 +0000
commit9c1137add5cd5f2141ed9b645625e49c5dff2664 (patch)
tree23568f4040a207f367a1cf7d3859d88693074c54 /gdb/testsuite/gdb.ada
parent9e3867569f23210a07737188f53486630f2a4049 (diff)
downloadgdb-9c1137add5cd5f2141ed9b645625e49c5dff2664.zip
gdb-9c1137add5cd5f2141ed9b645625e49c5dff2664.tar.gz
gdb-9c1137add5cd5f2141ed9b645625e49c5dff2664.tar.bz2
* gdb.ada/atomic_enum: New test program.
* gdb.ada/atomic_enum.exp: New testcase.
Diffstat (limited to 'gdb/testsuite/gdb.ada')
-rw-r--r--gdb/testsuite/gdb.ada/atomic_enum.exp47
-rw-r--r--gdb/testsuite/gdb.ada/atomic_enum/foo.adb23
-rw-r--r--gdb/testsuite/gdb.ada/atomic_enum/pck.adb37
-rw-r--r--gdb/testsuite/gdb.ada/atomic_enum/pck.ads21
4 files changed, 128 insertions, 0 deletions
diff --git a/gdb/testsuite/gdb.ada/atomic_enum.exp b/gdb/testsuite/gdb.ada/atomic_enum.exp
new file mode 100644
index 0000000..79a0e61
--- /dev/null
+++ b/gdb/testsuite/gdb.ada/atomic_enum.exp
@@ -0,0 +1,47 @@
+# Copyright 2008 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 "atomic_enum"
+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=-gnat05 ]] != "" } {
+ return -1
+}
+
+gdb_exit
+gdb_start
+gdb_reinitialize_dir $srcdir/$subdir
+gdb_load ${binfile}
+
+set test "ptype pck.data_flag"
+gdb_test_multiple "$test" $test {
+ -re "type = \\(one, two, three\\).*$gdb_prompt $" {
+ pass $test
+ }
+ -re "type = \\(\\).*$gdb_prompt $" {
+ # This is a known compiler problem with Stabs.
+ xfail $test
+ }
+}
+
diff --git a/gdb/testsuite/gdb.ada/atomic_enum/foo.adb b/gdb/testsuite/gdb.ada/atomic_enum/foo.adb
new file mode 100644
index 0000000..b32a62e
--- /dev/null
+++ b/gdb/testsuite/gdb.ada/atomic_enum/foo.adb
@@ -0,0 +1,23 @@
+-- Copyright 2008 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
+begin
+ if Is_First then
+ Increment;
+ end if;
+end Foo;
diff --git a/gdb/testsuite/gdb.ada/atomic_enum/pck.adb b/gdb/testsuite/gdb.ada/atomic_enum/pck.adb
new file mode 100644
index 0000000..4c01f29
--- /dev/null
+++ b/gdb/testsuite/gdb.ada/atomic_enum/pck.adb
@@ -0,0 +1,37 @@
+-- Copyright 2008 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
+
+ type Data_T is (One, Two, Three);
+ pragma Atomic (Data_T);
+
+ Data_Flag : Data_T := One;
+
+ procedure Increment is
+ begin
+ if Data_Flag = Data_T'Last then
+ Data_Flag := Data_T'First;
+ else
+ Data_Flag := Data_T'Succ (Data_Flag);
+ end if;
+ end Increment;
+
+ function Is_First return Boolean is
+ begin
+ return Data_Flag = Data_T'First;
+ end Is_First;
+
+end Pck;
diff --git a/gdb/testsuite/gdb.ada/atomic_enum/pck.ads b/gdb/testsuite/gdb.ada/atomic_enum/pck.ads
new file mode 100644
index 0000000..2be6fa6
--- /dev/null
+++ b/gdb/testsuite/gdb.ada/atomic_enum/pck.ads
@@ -0,0 +1,21 @@
+-- Copyright 2008 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 Pck is
+
+ procedure Increment;
+ function Is_First return Boolean;
+
+end Pck;