Re: A simple question about the "new" allocator

[sbelmont700@gmail.com]

On Tuesday, August 12, 2014 2:54:50 AM UTC-4, NiGHTS wrote:
> With all default configurations using a typical Ada compiler, will the following code run indefinitely without fail or will it eventually crash?
> 

Note that you are (intentionally or otherwise) using an 'anonymous allocator' for which the rules are much different, however as written it would still eventually crash.  Apart from the simple advice of just not using an allocator to begin with, I would expect the following to not leak any memory:

procedure main is
begin 
  loop 
    declare
      Test : access Positive := new Positive;
    begin
      null;
    end;
  end loop; 
end main; 

But it seems hit or miss whether or not a given compiler does this in the advised manner (mine doesn't seem to).  On the other hand, this seems to work more consistently:

procedure main is
  type T (x : access Positive) is null record;
begin 
   loop 
     declare
       Test : T (x => new Positive);
     begin
       null;
     end;
    end loop; 
end main;

Of course, there is still no real advantage to any of this over just a regular object.

-sb