gcc-4.9/gcc/testsuite/gnat.dg/no_exc_prop.ads


1
2
3
4
5
6
7
8
9

pragma Restrictions (No_Exception_Propagation);
package no_exc_prop is
   protected Simple_Barrier is
      entry Wait;
      procedure Signal;
   private
         Signaled : Boolean := False;
   end Simple_Barrier;
end no_exc_prop;