Re: Memory leak - What the ...?

[Stephen Leake <stephen_leake@acm.org>]

Marius Amado Alves <amado.alves@netcabo.pt> writes:

> >> ... The only way for leaking not to take place is for the old
> >> This.Data value being held somewhere. Where?
> > In B, where it's been all the time. ...
> > ... If B was a temporary object, then the compiler is smart enough
> > to finalize it after A has been adjusted (or else the compiler is
> > broken).
> 
> Ok. This is probably what confuses me, that Finalize is called after,
> since Adjust is supposed to be the *last* step of an assignment 7.6
> (2).

Finalize is not called as the last step of assignement. Finalize (B)
is called when B goes out of scope.

For example:

declare
    A : foo;
    C : foo;
begin
    declare
        B : foo := initial;
    begin
        A := B; -- A Adjusted
        C := B; -- C Adjusted
        ... other code
    end; -- B finalized
end; -- A, C finalized

-- 
-- Stephe