gcc/testsuite/gnat.dg/specs/lto3_pkg1.ads

   1 -- { dg-excess-errors "no code generated" }
   2
   3 with Lto3_Pkg2;
   4
   5 generic
   6   type Id_T is range <>;
   7 package Lto3_Pkg1 is
   8
   9   type Variable_Data_T (Fixed : Boolean := False) is
  10     record
  11       case Fixed is
  12         when True =>
  13           Length : Natural;
  14         when False =>
  15           null;
  16       end case;
  17     end record;
  18
  19   function Is_Fixed return Boolean;
  20
  21   type Variable_Data_Fixed_T is new Variable_Data_T (Is_Fixed);
  22
  23   package Db is new Lto3_Pkg2 (Id_T => Id_T,
  24                                Data_T => Variable_Data_Fixed_T);
  25
  26 end Lto3_Pkg1;