From f9c112822a7f4616f26ade0a947135c9ba319f9e Mon Sep 17 00:00:00 2001
From: Joel Brobecker <brobecker@gnat.com>
Date: Sat, 5 Jan 2008 15:48:08 +0000
Subject: [PATCH]         * gdb.ada/packed_tagged/comp_bug.adb: New file.      
   * gdb.ada/packed_tagged.exp: New testcase.

---
 gdb/testsuite/ChangeLog                          |  5 ++
 gdb/testsuite/gdb.ada/packed_tagged.exp          | 65 ++++++++++++++++++++++++
 gdb/testsuite/gdb.ada/packed_tagged/comp_bug.adb | 40 +++++++++++++++
 3 files changed, 110 insertions(+)
 create mode 100644 gdb/testsuite/gdb.ada/packed_tagged.exp
 create mode 100644 gdb/testsuite/gdb.ada/packed_tagged/comp_bug.adb

diff --git a/gdb/testsuite/ChangeLog b/gdb/testsuite/ChangeLog
index a44408b..e2f9933 100644
--- a/gdb/testsuite/ChangeLog
+++ b/gdb/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2008-01-05  Joel Brobecker  <brobecker@adacore.com>
+
+	* gdb.ada/packed_tagged/comp_bug.adb: New file.
+	* gdb.ada/packed_tagged.exp: New testcase.
+
 2008-01-04  Joel Brobecker  <brobecker@adacore.com>
 
 	* gdb.ada/homonym/homonym.ads, gdb.ada/homonym/homonym.adb,
diff --git a/gdb/testsuite/gdb.ada/packed_tagged.exp b/gdb/testsuite/gdb.ada/packed_tagged.exp
new file mode 100644
index 0000000..04755a5
--- /dev/null
+++ b/gdb/testsuite/gdb.ada/packed_tagged.exp
@@ -0,0 +1,65 @@
+# 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 "packed_tagged"
+set testfile "${testdir}/comp_bug"
+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
+}
+
+# A convenience function that joins all the arguments together,
+# with a regexp that matches zero-or-more end of lines in between
+# each argument.  This function is ideal to write the expected output
+# of a GDB command that generates more than a couple of lines, as
+# this allows us to write each line as a separate string, which is
+# easier to read by a human being.
+
+proc multi_line { args } {
+    return [join $args "\[\r\n\]*"]
+}
+
+gdb_exit
+gdb_start
+gdb_reinitialize_dir $srcdir/$subdir
+gdb_load ${binfile}
+
+set bp_location [gdb_get_line_number "STOP" ${testdir}/comp_bug.adb]
+runto "comp_bug.adb:$bp_location"
+
+gdb_test "print x" \
+         "\\(exists => true, value => 10\\)" \
+         "print x"
+
+gdb_test "ptype x" \
+         [multi_line "type = record" \
+                     "    exists: range false \\.\\. true;" \
+                     "    case exists is" \
+                     "        when true =>" \
+                     "            value: range 0 \\.\\. 255;" \
+                     "        when others => null;" \
+                     "    end case;" \
+                     "end record" ] \
+         "ptype x"
+
diff --git a/gdb/testsuite/gdb.ada/packed_tagged/comp_bug.adb b/gdb/testsuite/gdb.ada/packed_tagged/comp_bug.adb
new file mode 100644
index 0000000..ad0d4cc
--- /dev/null
+++ b/gdb/testsuite/gdb.ada/packed_tagged/comp_bug.adb
@@ -0,0 +1,40 @@
+--  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/>.
+
+procedure Comp_Bug is
+
+   type Number_T (Exists : Boolean := False) is
+      record
+         case Exists is
+            when True =>
+               Value : Natural range 0 .. 255;
+            when False =>
+               null;
+         end case;
+      end record;
+   pragma Pack (Number_T);
+
+   X : Number_T;
+   --  brobecker/2007-09-06: At the time when this issue (G904-017) was
+   --  reported, the problem only reproduced if the variable was declared
+   --  inside a function (in other words, stored on stack).  Although
+   --  the issue probably still existed when I tried moving this variable
+   --  to a package spec, the symptoms inside GDB disappeared.
+begin
+   X := (Exists => True, Value => 10);
+   if X.Exists then -- STOP
+      X.Value := X.Value + 1;
+   end if;
+end Comp_Bug;
-- 
2.7.4