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, gcc at gcc dot gnu dot org, torvalds at transmeta dot com
- Date: Fri, 4 Jan 2002 17:14:56 -0500 (EST)
- Subject: Re: [PATCH] C undefined behavior fix
<<And we can NOT avoid the debate on whether the code is right or wrong,
when the compiler writers themselves clearly aren't aware of all issues
either.
>>
My point was that things need to be rigorously documented, so that there
is no argument as to whether or not code is right or wrong.
<<The gcc-3 optimization is _bogus_ as per the C standard, and has to be
disabled at least for the case where the pointer was cast to an integer.
>>
I don't follow your reasoning here, can you be more clear about the exact
language in the standard that you are appealing to?