Re: Freeing access-to-task objects

["Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not>]

On 2022-10-10 10:13, Simon Wright wrote:
> "Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not> writes:
> 
>> http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-13-11.html#I5208).
> 
> I think you meant ARM 13.11(18/4),
> http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-13-11.html#p18
> (note simpler way of referencing a para in a link, works for rm12 or
> later).

I used the link from the index.

>     declare
>        type T_P is access T with Storage_Size => 1024;
>        P : T_P;
>     begin
>        P := new T;
>     end;
> 
> would you expect P to be deallocated as the block is left? because it
> isn't with GCC 12.1.0, x86_64-apple-darwin.

Technically, it says the storage for the implementation-defined storage pool 
associated with T_P is reclaimed, not that anything is deallocated. Still, 
sounds like a compiler error.

-- 
Jeff Carter
"Help! Help! I'm being repressed!"
Monty Python & the Holy Grail
67