summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/no_exc_prop.ads
blob: ef3caa3d20007a31d2b7c289520e07fb31929db0 (plain)
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;