Re: little precision about anonymous access types

[AdaMagica <christ-usch.grein@t-online.de>]

Am Montag, 19. März 2018 02:18:34 UTC+1 schrieb Mehdi Saada:
> At last, I would like to know what happens exactly when one tries to deallocate a pointer, referencing a variable *on the stack* ?

This is erroneous. See in the RM what erroneous means.

Also note that deallocation of an object allocated via new is erroneous when done with a different access type than was used to allocate the object.

Do never ever allocate with anonymous access types.
(Exception: coextensions - which some Ada aficionados consider a bad mistake.)

I do not know where such an object is allocated, so I cannot tell what happens when you convert to a named access type:

declare
   type A_TYPE is access all INTEGER;
   A : A_TYPE;
begin
   declare
      B: access INTEGER := new INTEGER'(7);
   begin
      A := A_TYPE(B);
   end;
end;