PR target/84336
[official-gcc.git] / gcc / testsuite / gnat.dg / aggr17.adb
blob89e385e7983a5526d4a15f7c8f2ca269e421ace4
1 -- { dg-do compile }
2 -- { dg-options "-gnatws" }
4 procedure Aggr17 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 : constant 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;