gcc/testsuite/gnat.dg/nested_float_packed.ads

   1 -- { dg-do compile }
   2
   3 package Nested_Float_Packed is
   4
   5    type Float_Type is record
   6       Value : Float;
   7       Valid : Boolean;
   8    end record;
   9
  10    type Data_Type is record
  11       Data : Float_Type;
  12    end record;
  13
  14    Default_Data : constant Data_Type :=
  15      (Data => (Value => 1.0, Valid => False));
  16
  17    type Range_Type is (RV1, RV2, RV3);
  18    for Range_Type use (1, 2, 3);
  19
  20    Data_Block : array (Range_Type)
  21      of Data_Type := (others => Default_Data);
  22 end;
  23
  24