1--  { dg-do compile }
2
3package body asynch is
4   function null_ctrl return t_ctrl is
5   begin
6      return (Ada.Finalization.Controlled with stuff => 0);
7   end null_ctrl;
8
9   procedure Proc (msg : String; c : t_ctrl := null_ctrl) is
10   begin
11      null;
12   end Proc;
13
14   task type tsk;
15   task body tsk is
16   begin
17      select
18         delay 10.0;
19         Proc ("A message.");
20      then abort
21         null;
22      end select;
23   end tsk;
24end asynch;
25