Re: ada compiler?

[Georg Bauhaus <rm.tsoh+bauhaus@maps.futureapps.de>]

On Wed, 2007-11-14 at 02:26 -0800, Ludovic Brenta wrote:
>  Also, if a stack overflow results in
> a SEGV (instead of Storage_Error), I don't clearly see the functional
> difference i.e. the stack overflow gets caught either way. 

But who catches? A player in the game (Ada partition),
or someone in the stadium (OS)?

Assume the desired bahavior is this. A message is emitted by
calling Storehouse.Notify in the exception handler below,
shouting "Hey! You!".

$ ./attempt 
Hey! You!

raised STORAGE_ERROR : stack overflow detected


Executable translated without -fstack-check:

$ ./attempt 
Segmentation fault (core dumped)

How would the other task (Storehouse) learn about the failure in
this case?

with Storehouse;

procedure attempt is

   type A is array (Positive range <>) of Natural;

   function Get_N return Positive is separate;

   function make_array return A is
      result : A (1 .. Get_N);
   begin
      return result;
   end make_array;

begin

   Sandbox : declare
      x : A := make_array;
   begin
      x (x'First) := x (x'Last);
   end Sandbox;

exception
   when Storage_Error =>
      Storehouse.Notify;  -- Hey! You!
      raise;
end attempt;