gcc/testsuite/gnat.dg/aggr18.adb

   1 -- { dg-do compile }\r
   2 -- { dg-options "-gnatws" }\r
   3 \r
   4 procedure Aggr18 is\r
   5 \r
   6    type Enum is (A, B);\r
   7 \r
   8    type Rec (D : Enum := Enum'First) is record\r
   9       case D is\r
  10          when A => X : Integer;\r
  11          when B => null;\r
  12       end case;\r
  13    end record;\r
  14    for Rec'Size use 128;\r
  15    pragma Volatile (Rec);\r
  16 \r
  17    type Config_T (D : Enum := Enum'First) is record\r
  18       N : Natural;\r
  19       R : Rec (D);\r
  20    end record;\r
  21 \r
  22    C : Config_T := (D => A, N => 1, R => (D => A, X => 0));\r
  23 \r
  24    type Arr is array (Natural range 1 .. C.N) of Boolean;\r
  25 \r
  26 begin\r
  27    null;\r
  28 end;\r