gcc/testsuite/gnat.dg/loop_bound.adb

   1 -- { dg-do compile }
   2
   3 procedure loop_bound is
   4    package P is
   5       type Base is new Integer;
   6       Limit : constant Base := 10;
   7       type Index is private;
   8       generic package Gen is end;
   9    private
  10       type Index is new Base range 0 .. Limit;
  11    end P;
  12    package body P is
  13       package body Gen is
  14          type Table is array (Index) of Integer;
  15          procedure Init (X : in out Table) is
  16          begin
  17             for I in 1..Index'last -1 loop
  18                X (I) := -1;
  19             end loop;
  20          end Init;
  21       end Gen;
  22    end P;
  23    package Inst is new P.Gen;
  24 begin
  25    null;
  26 end;