This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: g++ and aliasing bools
- From: dewar at gnat dot com (Robert Dewar)
- To: dan at dberlin dot org, dewar at gnat dot com
- Cc: gcc at gcc dot gnu dot org, kenner at vlsi1 dot ultra dot nyu dot edu
- Date: Fri, 25 Jan 2002 11:11:03 -0500 (EST)
- Subject: Re: g++ and aliasing bools
<<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!