Andreas Schwab wrote:
> Dave Korn <dave.korn.cyg...@googlemail> writes:
>
>> Andreas, you wrote: "Aliasing is not symmetric". To be precise, we're
>> saying it's not commutative here; that (A aliases B) does not imply (B
>> aliases
>> A)? I don't think I've ever heard it expressed that explicitly before.
>
> Aliasing is not an operator, it's a property of an lvalue expression.
Yes, fair enough; but properties can commute just as much as operators can
(although it's perhaps less intuitively surprising when they don't). Anyway I
just mentioned it because I think it would be a useful term to bandy about a
bit more often in aliasing discussions!
cheers,
DaveK
