g++ and aliasing bools

[Daniel Berlin]

On Fri, 25 Jan 2002, Robert Dewar wrote:

> <<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!
But it's *not* necessary when we've restricted ourselves to a subset of 
C++ structs and classes that correspond to C structs and classes!