gcc/testsuite/gnat.dg/no_exc_prop.ads

   1 pragma Restrictions (No_Exception_Propagation);
   2 package no_exc_prop is
   3    protected Simple_Barrier is
   4       entry Wait;
   5       procedure Signal;
   6    private
   7          Signaled : Boolean := False;
   8    end Simple_Barrier;
   9 end no_exc_prop;