Messages in this thread | | | From | dewar@gnat ... | Subject | Re: [PATCH] C undefined behavior fix | Date | 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/
| |