gcc/testsuite/gnat.dg/lto24_pkg1.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

with Lto24_Pkg2;

package Lto24_Pkg1 is

  Max_Elem : constant Natural := Lto24_Pkg2.Get;

  type Arr is array (Natural range <>) of Boolean;

  type Rec (B : Boolean) is record
     I : Integer;
     case B is
       when True => A : Arr (1 .. Max_Elem);
       when False => Empty : Boolean;
     end case;
  end record;

end Lto24_Pkg1;