aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/testsuite/gnat.dg/loop_bound.adb
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.9/gcc/testsuite/gnat.dg/loop_bound.adb')
-rw-r--r--gcc-4.9/gcc/testsuite/gnat.dg/loop_bound.adb26
1 files changed, 26 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gnat.dg/loop_bound.adb b/gcc-4.9/gcc/testsuite/gnat.dg/loop_bound.adb
new file mode 100644
index 000000000..c08a21585
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gnat.dg/loop_bound.adb
@@ -0,0 +1,26 @@
+-- { dg-do compile }
+
+procedure loop_bound is
+ package P is
+ type Base is new Integer;
+ Limit : constant Base := 10;
+ type Index is private;
+ generic package Gen is end;
+ private
+ type Index is new Base range 0 .. Limit;
+ end P;
+ package body P is
+ package body Gen is
+ type Table is array (Index) of Integer;
+ procedure Init (X : in out Table) is
+ begin
+ for I in 1..Index'last -1 loop
+ X (I) := -1;
+ end loop;
+ end Init;
+ end Gen;
+ end P;
+ package Inst is new P.Gen;
+begin
+ null;
+end;