obtained gcc-4.6.4.tar.bz2 from upstream website;upstream

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.

1 files changed, 33 insertions, 0 deletions

diff --git a/gcc/testsuite/gnat.dg/return2.adb b/gcc/testsuite/gnat.dg/return2.adb
new file mode 100644
index 000000000..65b7bf045
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/return2.adb
@@ -0,0 +1,33 @@
+-- { dg-do compile }
+-- { dg-options "-O" }
+
+with Return2_Pkg; use Return2_Pkg;
+
+package body Return2 is
+
+  function Value_Internal (Image : String) return Result_Internal_T is
+  begin
+    return (Member => False);
+  end;
+
+  type Result_T is array (1 .. 2) of Result_Internal_T;
+
+  function Value (Img : String) return T is
+    My_F : constant String := F;
+    Result : Result_T;
+    Value : T;
+  begin
+    for I in Result'Range loop
+      if G (My_F, I) /= "" then
+        Result (I) := Value_Internal (G (My_F, I));
+        if Result (I).Member then
+          Value (Result (I).Data) := True;
+        else
+          raise Program_Error;
+        end if;
+      end if;
+    end loop;
+    return Value;
+  end;
+
+end Return2;