Re: Asynchronous abort not working in Debian GNAT?

[Georg Bauhaus <rm.tsoh.plus-bug.bauhaus@maps.futureapps.de>]

Niklas Holsti wrote:
> Under Debian Sarge on Intel, gnat 3.15p, I implemented a time-out for an
> application using the canonical construct:
> 
>     select
>        delay Time_Out;
>        Error (...);
>     then abort
>        Processing (...);
>     end select;
> 
> After upgrading to Debian Lenny, FSF GNAT 4.3.2, it appears that this no
> longer works; instead, Processing completes without being aborted,
> unless Processing does something that probably invokes scheduling, for
> example "delay 0.0" or Text_IO output to the console.

FWIW, with Windows GNAT GPL 2007 (gcc 4.1.3), it doesn't abort either,

with Ada.Text_IO;

procedure Time_Out is

   procedure Processing is
      type T is mod 2**16;
      X: T;
   begin
      Very_Busy: loop
         X := T'Succ(X);
      end loop Very_Busy;
   end Processing;

   procedure Error(Message: String) is
      use Ada;
   begin
      Text_IO.Put_Line(Text_Io.Current_Error,
        MEssage);
   end Error;

begin
   select
      delay 10.0;
      Error("over");
   then abort
      Processing;
   end select;
end Time_Out;