gcc/testsuite/gnat.dg/default_initial_condition_pack.ads

   1 package Default_Initial_Condition_Pack is
   2    type T;
   3    type T is private
   4      with Default_Initial_Condition => Is_OK (T);
   5
   6    function Is_OK (Val : T) return Boolean;
   7
   8    DIC_Called : Boolean := False;
   9
  10 private
  11    type T is null record;
  12 end Default_Initial_Condition_Pack;