Re: [PATCH] C undefined behavior fix
dewar@gnat.com
Fri, 4 Jan 2002 07:14:03 -0500 (EST)
<<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 :-)
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/