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: dje at watson dot ibm dot com, jbuck at synopsys dot COM
- Cc: gcc at gcc dot gnu dot org, mark at codesourcery dot com, pcarlini at unitus dot it
- Date: Fri, 25 Jan 2002 14:53:17 -0500 (EST)
- 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 :-)