This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Sorry to mention aliasing again, but is the standard IN6_ARE_ADDR_EQUAL really wrong?
Andreas Schwab wrote:
> Dave Korn <dave.korn.cygwin@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