[PATCH] C undefined behavior fix

[dewar@gnat.com]

<<Yes. I agree. But the compiler has to say _what_ it does. It can't just
avoid the issue.
>>

Well, as I say, the gcc code constitutes a perfectly well defined 
statement of what it does. Since this is public code, that certainly
meets the requirements of the standard, which just goes to show how
useless it is to argue your position from the standard.

>>Yes yes yes. But gcc does NOT document what it does.


I thought the documentatoin was pretty clear, the rule about not misusing
integer arithmetic bla-bla seemed clearly stated to me, is that not part
of the documentation, or have I misunderstood?