aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/testsuite/gnat.dg/specs/elab2_pkg.ads
blob: 8d40cd1de9d1955811a44c0bbcb6b77ea1d91b2a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
-- { dg-excess-errors "no code generated" }

package Elab2_Pkg is

   function Get_Value (S : String) return Integer;

   Max_Limit : constant array(1..2) of Integer :=
     (1 => Get_Value ("One"), 2 => Get_Value ("Two"));

   type Index_Type is new Natural range 0 .. Max_Limit(1);

   type Array_Type is array (Index_Type range <>) of Natural;

   type Rec1(D : Index_Type) is record
      A : Array_Type(1 .. D);
   end record;

end Elab2_Pkg;