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, 30 insertions, 0 deletions

diff --git a/gcc/testsuite/gnat.dg/loop_address.adb b/gcc/testsuite/gnat.dg/loop_address.adb
new file mode 100644
index 000000000..e8e93d440
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/loop_address.adb
@@ -0,0 +1,30 @@
+-- { dg-do compile }
+-- { dg-options "-O -gnatws" }
+
+-- PR middle-end/35136
+
+pragma Extend_System(AUX_DEC);
+with System;
+
+procedure Loop_Address is
+
+   function Y(E : Integer) return String is
+   begin
+      return "";
+   end Y;
+
+   function X(C : in System.Address) return String is
+      D : Integer;
+      for D use at C;
+   begin
+      return Y(D);
+   end X;
+
+   A : System.Address;
+   B : String := "";
+
+begin
+   for I in 0..1 loop
+      B := X(System."+"(A, I));
+   end loop;
+end;