Sorry to mention aliasing again, but is the standard IN6_ARE_ADDR_EQUAL really wrong?

[Dave Korn]

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