gcc/testsuite/gnat.dg/stack_usage6_pkg.ads

   1 package Stack_Usage6_Pkg is
   2
   3    type Rec (D : Boolean := False) is record
   4       case D is
   5          when False =>
   6             Foo : Integer;
   7             Bar : Integer;
   8          when True =>
   9             null;
  10       end case;
  11    end record;
  12
  13    type Index_Type is new Integer range 0 .. 5;
  14
  15    type Arr is array (Index_Type) of Rec;
  16
  17    A : Arr;
  18
  19 end Stack_Usage6_Pkg;