Re: A simple question about the "new" allocator

[Adam Beneschan <adambeneschan@gmail.com>]

On Tuesday, August 12, 2014 11:49:03 AM UTC-7, Shark8 wrote:
> 
> > procedure main is
> > begin
> >    loop
> >      declare
> >        Test : access Positive := new Positive;
> >      begin
> >        null;
> >      end;
> >    end loop;
> > end main;
> 
> I /think/ you can do it with a type definition on the inner-block:
> 
> declare
>    Type Inner_Access is not null access positive;
>    Test : Inner_Access := new Positive;
> begin
>    null;
> end;
> 
> The reason is that leaving the nested-block's scope should force the 
> deallocation of all Inner_Access types if I'm remembering the RM correctly.

No, I don't think that's correct.  When an access type is declared in a nested block, all objects allocated using that access type (and not already deallocated) are *finalized*, but deallocation isn't required.  I don't see anything in the RM that says the storage must be reclaimed.

                               -- Adam