diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/asynch.adb')
-rw-r--r-- | gcc/testsuite/gnat.dg/asynch.adb | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/asynch.adb b/gcc/testsuite/gnat.dg/asynch.adb new file mode 100644 index 000000000..024af725c --- /dev/null +++ b/gcc/testsuite/gnat.dg/asynch.adb @@ -0,0 +1,24 @@ +-- { dg-do compile } + +package body asynch is + function null_ctrl return t_ctrl is + begin + return (Ada.Finalization.Controlled with stuff => 0); + end null_ctrl; + + procedure Proc (msg : String; c : t_ctrl := null_ctrl) is + begin + null; + end Proc; + + task type tsk; + task body tsk is + begin + select + delay 10.0; + Proc ("A message."); + then abort + null; + end select; + end tsk; +end asynch; |