g++ and aliasing bools

[Robert Dewar]

<<I've been told i need to come up with a formal proof that given certain
relationships between C++ types, that may-alias is always determinable
statically correctly, or that we always correctly determine that we can't
determine it (IE never claim wrong that things may not alias).
I've said before, and i'll say again, that i'm not going to do that.
>>

THat's fine, but the fact that you are not going to do it does not mean
that it is not desirable or not necessary!