[PATCH] C undefined behavior fix

[dewar@gnat.com]

<<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).