gcc/testsuite/gnat.dg/dflt_init_cond_pkg.ads

   1 package Dflt_Init_Cond_Pkg is
   2    type Explicit is limited private with Default_Initial_Condition => True;
   3    type Implicit is limited private with Default_Initial_Condition;
   4
   5    procedure Read (Obj : Explicit);
   6    procedure Read (Obj : Implicit);
   7
   8 private
   9    type Implicit is access all Integer;
  10    type Explicit is access all Integer;
  11 end Dflt_Init_Cond_Pkg;