This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: g++ and aliasing bools
- From: Joe Buck <jbuck at synopsys dot COM>
- To: dewar at gnat dot com (Robert Dewar)
- Cc: dje at watson dot ibm dot com, jbuck at synopsys dot COM, gcc at gcc dot gnu dot org,mark at codesourcery dot com, pcarlini at unitus dot it
- Date: Fri, 25 Jan 2002 12:10:10 -0800 (PST)
- Subject: Re: g++ and aliasing bools
> >>While this is not a formal proof, it's enough to convince me that Daniel's
> change is safe.
>
> It is "convincing" that is important, a formal proof is a means to an end
> not an end in itself :-)
Fortunately Mark was not convinced.