gcc/testsuite/gnat.dg/opt96_pkg.ads

   1 with System;
   2
   3 package Opt96_Pkg is
   4
   5    type Baz_Type is delta (1.0 / 2.0**16) range 0.0 .. 1.0 - (1.0 / 2.0**16);
   6    for Baz_Type'Small use (1.0 / 2.0**16);
   7    for Baz_Type'Size use 16;
   8
   9    type Bar_Type is record
  10      X : Baz_Type;
  11      Y : Baz_Type;
  12    end record;
  13    for Bar_Type use record
  14      X at 0 range 0 .. 15;
  15      Y at 2 range 0 .. 15;
  16    end record;
  17    for Bar_Type'Bit_Order use System.High_Order_First;
  18    for Bar_Type'Scalar_Storage_Order use System.High_Order_First;
  19
  20    type Foo_Type is record
  21       Bar : Bar_Type;
  22    end record;
  23
  24    type Data is tagged record
  25      Foo : Foo_Type;
  26    end record;
  27
  28    type Rec is tagged null record;
  29
  30    function F (Self : Rec; D  : Data'Class) return Integer;
  31
  32 end Opt96_Pkg;