diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2007-08-29 10:41:04 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2007-08-29 10:41:04 +0200 |
commit | e4170021a9453616a05e0fca735014b15b7a8353 (patch) | |
tree | 06b304274c8c626eb0436396893f517d833c29b3 | |
parent | 0f35a72c2a094bc1d66e75415d4fd7819c50d500 (diff) | |
download | gcc-e4170021a9453616a05e0fca735014b15b7a8353.zip gcc-e4170021a9453616a05e0fca735014b15b7a8353.tar.gz gcc-e4170021a9453616a05e0fca735014b15b7a8353.tar.bz2 |
Add test
From-SVN: r127884
-rw-r--r-- | gcc/testsuite/gnat.dg/requeue1.adb | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/requeue1.adb b/gcc/testsuite/gnat.dg/requeue1.adb new file mode 100644 index 0000000..f790296 --- /dev/null +++ b/gcc/testsuite/gnat.dg/requeue1.adb @@ -0,0 +1,51 @@ +-- { dg-do run } + +with Ada.Text_Io; use Ada.Text_Io; + +procedure requeue1 is + + protected P is + entry Requeue_Without_Abort; + entry Queue_Without; + procedure Open; + private + Opened: Boolean := False; + end P; + + protected body P is + entry Requeue_Without_Abort when True is + begin + -- BUG: after this requeue no time out of the call should be possible + requeue Queue_Without; + end Requeue_Without_Abort; + + entry Queue_Without when Opened is + begin + Opened := False; + end Queue_Without; + + procedure Open is + begin + Opened := True; + end Open; + end P; + + -- Test of timed entry call to an entry with requeue without abort + task T_Without; + task body T_Without is + begin + select + P.Requeue_Without_Abort; + or + delay 1.0; + Put_Line("failed"); + end select; + + exception + when others => Put_Line ("failed"); + end T_Without; + +begin + delay 3.0; + P.Open; +end; |