This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] C undefined behavior fix
- From: dewar at gnat dot com
- To: dewar at gnat dot com, fw at deneb dot enyo dot de
- Cc: Dautrevaux at microprocess dot com, Franz dot Sirl-kernel at lauterbach dot com,benh at kernel dot crashing dot org, gcc at gcc dot gnu dot org, jtv at xs4all dot nl,linux-kernel at vger dot kernel dot org, linuxppc-dev at lists dot linuxppc dot org,minyard at acm dot org, paulus at samba dot org, rth at redhat dot com,trini at kernel dot crashing dot org, velco at fadata dot bg
- Date: Fri, 4 Jan 2002 07:14:03 -0500 (EST)
- Subject: Re: [PATCH] C undefined behavior fix
<<We have seen much trouble in this area before, but I doubt we can
avoid all of them by proper documentation. Quite a few people seem to
write some C code, check that it works, look at the generated machine
code, and if it seems to be correct, the C code is considered to be
correct.
>>
We can't avoid people writing wrong code, but we can avoid debate as to
whether the code is right or wrong :-)