This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: g++ and aliasing bools
- From: Neil Booth <neil at daikokuya dot demon dot co dot uk>
- To: Mark Mitchell <mark at codesourcery dot com>
- Cc: Joe Buck <jbuck at synopsys dot COM>, Paolo Carlini <pcarlini at unitus dot it>,"gcc at gcc dot gnu dot org" <gcc at gcc dot gnu dot org>
- Date: Fri, 25 Jan 2002 22:50:41 +0000
- Subject: Re: g++ and aliasing bools
- References: <200201252116.NAA21326@atrus.synopsys.com> <33490000.1011994098@gandalf.codesourcery.com>
Mark Mitchell wrote:-
> OK, I like this argument. *I* find it convincing, at least. :-)
[...]
> So, after the branch, let's have a patch to do this.
Great; I think that Joe's "proof" should go in as a comment; both to
explain the ideas and subtleties behind the code, but also so we can
point at it and extract a similar argument from anyone who wants to
tighten the logic in future.
Neil.