gcc/testsuite/gnat.dg/dflt_init_cond.adb

   1 --  { dg-do compile }
   2
   3 with Dflt_Init_Cond_Pkg; use Dflt_Init_Cond_Pkg;
   4
   5 procedure Dflt_Init_Cond is
   6    E : Explicit;
   7    I : Implicit;
   8
   9 begin
  10    Read (E);
  11    Read (I);
  12 end Dflt_Init_Cond;