gcc/testsuite/gnat.dg/no_exc_prop.adb

   1 --  { dg-do compile }
   2 --  { dg-options "-gnatwa" }
   3
   4 package body no_exc_prop is
   5    protected body Simple_Barrier is
   6       entry Wait when Signaled is
   7       begin
   8         Signaled := False;
   9       end Wait;
  10       procedure Signal is
  11       begin
  12         Signaled := True;
  13       end Signal;
  14    end Simple_Barrier;
  15 end no_exc_prop;