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