gcc/testsuite/gnat.dg/nested_float_packed.ads

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