From 554fd8c5195424bdbcabf5de30fdc183aba391bd Mon Sep 17 00:00:00 2001
From: upstream source tree <ports@midipix.org>
Date: Sun, 15 Mar 2015 20:14:05 -0400
Subject: obtained gcc-4.6.4.tar.bz2 from upstream website; verified
 gcc-4.6.4.tar.bz2.sig; imported gcc-4.6.4 source tree from verified upstream
 tarball.

downloading a git-generated archive based on the 'upstream' tag
should provide you with a source tree that is binary identical
to the one extracted from the above tarball.

if you have obtained the source via the command 'git clone',
however, do note that line-endings of files in your working
directory might differ from line-endings of the respective
files in the upstream repository.
---
 gcc/testsuite/gnat.dg/bip_aggregate_bug.adb | 49 +++++++++++++++++++++++++++++
 1 file changed, 49 insertions(+)
 create mode 100644 gcc/testsuite/gnat.dg/bip_aggregate_bug.adb

(limited to 'gcc/testsuite/gnat.dg/bip_aggregate_bug.adb')

diff --git a/gcc/testsuite/gnat.dg/bip_aggregate_bug.adb b/gcc/testsuite/gnat.dg/bip_aggregate_bug.adb
new file mode 100644
index 000000000..ce8daeb5e
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/bip_aggregate_bug.adb
@@ -0,0 +1,49 @@
+--  { dg-do run }
+
+procedure BIP_Aggregate_Bug is
+
+   package Limited_Types is
+
+      type Lim_Tagged is tagged limited record
+         Root_Comp : Integer;
+      end record;
+
+      type Lim_Ext is new Lim_Tagged with record
+         Ext_Comp : Integer;
+      end record;
+
+      function Func_Lim_Tagged (Choice : Integer) return Lim_Tagged'Class;
+
+   end Limited_Types;
+
+   package body Limited_Types is
+
+      function Func_Lim_Tagged (Choice : Integer) return Lim_Tagged'Class is
+      begin
+         case Choice is
+            when 111 =>
+               return Lim_Ext'(Root_Comp => Choice, Ext_Comp => Choice);
+            when 222 =>
+               return Result : Lim_Tagged'Class
+                        := Lim_Ext'(Root_Comp => Choice, Ext_Comp => Choice);
+            when others =>
+               return Lim_Tagged'(Root_Comp => Choice);
+         end case;
+      end Func_Lim_Tagged;
+
+   end Limited_Types;
+
+   use Limited_Types;
+
+   LT_Root : Lim_Tagged'Class := Func_Lim_Tagged (Choice => 999);
+   LT_Ext1 : Lim_Tagged'Class := Func_Lim_Tagged (Choice => 111);
+   LT_Ext2 : Lim_Tagged'Class := Func_Lim_Tagged (Choice => 222);
+
+begin
+   if LT_Root.Root_Comp /= 999
+     or else Lim_Ext (LT_Ext1).Ext_Comp /= 111
+     or else Lim_Ext (LT_Ext2).Ext_Comp /= 222
+   then
+      raise Program_Error;
+   end if;
+end BIP_Aggregate_Bug;
-- 
cgit v1.2.3