2018-03-15 Steven G. Kargl <kargl@gcc.gnu.org>
[official-gcc.git] / gcc / testsuite / gnat.dg / aggr18.adb
blob6b5281e41648ca45ef41c0c291bd33e40649dc4f
1 -- { dg-do compile }
2 -- { dg-options "-gnatws" }
4 procedure Aggr18 is
6 type Enum is (A, B);
8 type Rec (D : Enum := Enum'First) is record
9 case D is
10 when A => X : Integer;
11 when B => null;
12 end case;
13 end record;
14 for Rec'Size use 128;
15 pragma Volatile (Rec);
17 type Config_T (D : Enum := Enum'First) is record
18 N : Natural;
19 R : Rec (D);
20 end record;
22 C : Config_T := (D => A, N => 1, R => (D => A, X => 0));
24 type Arr is array (Natural range 1 .. C.N) of Boolean;
26 begin
27 null;
28 end;