Initial checkin of GCC 4.9.0 from trunk (r208799).

Change-Id: I48a3c08bb98542aa215912a75f03c0890e497dba

1 files changed, 33 insertions, 0 deletions

diff --git a/gcc-4.9/gcc/testsuite/gnat.dg/opt16.adb b/gcc-4.9/gcc/testsuite/gnat.dg/opt16.adb
new file mode 100644
index 000000000..d8e93bda2
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gnat.dg/opt16.adb
@@ -0,0 +1,33 @@
+-- { dg-do compile }
+-- { dg-options "-O2 -gnatws" }
+
+procedure Opt16 is
+
+   generic
+      type T (<>) is private;
+      V, V1 : T;
+      with function F1 (X : T) return T;
+   package GP is
+      R : Boolean := F1 (V) = V1;
+   end GP;
+
+   type AB is array (Boolean range <>) of Boolean;
+
+begin
+   for I1 in Boolean loop
+      for I2 in Boolean loop
+         declare
+            B1 : Boolean := I1;
+            B2 : Boolean := I2;
+            AB1 : AB (Boolean) := (I1, I2);
+            T : AB (B1 .. B2) := (B1 .. B2 => True);
+            F : AB (B1 .. B2) := (B1 .. B2 => False);
+
+            package P is new GP (AB, AB1, NOT AB1, "NOT");
+
+         begin
+            null;
+         end;
+      end loop;
+   end loop;
+end;