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: mrs at windriver dot com, torvalds at transmeta dot com
- Cc: gcc at gcc dot gnu dot org, rth at redhat dot com, trini at kernel dot crashing dot org
- Date: Sat, 5 Jan 2002 23:14:43 -0500 (EST)
- Subject: Re: [PATCH] C undefined behavior fix
<<And THAT makes me nervous. The fact is that the Linux kernel cares
_deeply_ about a lot of "implementation-defined" things, and that isn't
likely to change. If the people making optimizations in gcc do not care
about the historic meaning of these constructs, that screws the kernel
over.
>>
Let me say once again that what is important is for the Linux kernel folk
to clearly document what they are depending on, and the code should also
make clear the points at which the code is relying on implemenation
defined things (ideally such things should be clearly isolated in the code).