view gcc/testsuite/gnat.dg/no_exc_prop.ads @ 138:fc828634a951

merge
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 08 Nov 2018 14:17:14 +0900
parents 04ced10e8804
children
line wrap: on
line source

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;