Re: Allocators and exceptions

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 9 Wrz, 14:17, a...@anon.org (anon) wrote:
> For deallocation
>
> Recheck RM 13.11.2 Unchecked Storage Deallocation
>
>        Paragragh (10) suggest that deallocation is guarantee, with
>        the exception if the object is a Task (9).

You probably misunderstood me. I'm asking what will happen when the
exception is raised when the allocator is evaluated.
Consider:

procedure P is

   type T (Init : Integer) is record
      C : Positive := Positive (Init);
   end record;

   type T_Access is access T;

   Ptr : T_Access;

begin
   Ptr := new T (-5);
exception
   when Constraint_Error =>
      -- is memory leaked or deallocated?
      null;
end;

I want to know whether the memory that was allocated for the new
object was immediately deallocated due to the exception.
By "immediately" I mean before the control even goes to the exception
part.

I don't find this guarantee anywhere in the AARM and it scares me.

--
Maciej Sobczak
http://www.msobczak.com/