Re: Finalization and Self Assignment

[Robert A Duff <bobduff@world.std.com>]

"Frank J. Lhota" <lhotaf@lexma.meitech.com> writes:

> - For an assignment_statement that assigns to an object the value of that
> same object, the implementation need not do anything.

If the implementation doesn't take advantage of the above permission,
then it has to use an intermediate temporary variable, so the problem
you're worried about can't happen.  I don't have my RM in front of me,
but I'm sure that's what it says.

> ObjectAda as well as some (all?) versions of GNAT take advantage of this
> permission. I would recommend that this permission be promoted to a
> requirement. In other words, we should require that the compiler NOT do the
> Finalize / Adjust calls when an object is assigned to itself. The issue here
> is not so much efficiency as it is correctness. If we simply eliminate the
> Finalize / Adjust calls from self assignments, these problems go away.

In fact it's probably easier to implement that way (do nothing),
even though it requires a run-time check in general to detect
the self-assignment case.

Now think about array assignment, where they arrays could be overlapping
slices -- you don't know at compile time that they overlap, or even that
they are slices.  The RM allows various implementation strategies here,
too.

- Bob