gcc/testsuite/gnat.dg/asynch.adb

   1 --  { dg-do compile }
   2
   3 package 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;
  24 end asynch;