gcc/testsuite/gnat.dg/derived_type5_pkg.ads

   1 package Derived_Type5_Pkg is
   2
   3    type T_Unsigned8  is new Natural range 0 .. (2 ** 8 - 1);
   4
   5    type Rec (Discriminant : T_Unsigned8) is record
   6       Fixed_Field : T_Unsigned8;
   7       case Discriminant is
   8          when 0 =>
   9             Optional_Field : T_unsigned8;
  10          when others =>
  11             null;
  12       end case;
  13    end record;
  14
  15    type Derived is new Rec (0);
  16
  17    for Derived use record
  18       Fixed_Field    at 0 range 0  .. 7;
  19       Discriminant   at 0 range 8  .. 15;
  20       Optional_Field at 0 range 16 .. 23;
  21    end record;
  22
  23    procedure Proc1 (R : in out Rec);
  24
  25    procedure Proc2 (R : out Rec);
  26
  27 end Derived_Type5_Pkg;