[PATCH] C undefined behavior fix

Richard Henderson rth@redhat.com
Fri Jan 4 14:36:00 GMT 2002


On Fri, Jan 04, 2002 at 02:23:41PM -0800, Linus Torvalds wrote:
> It does NOT allow for saying that the implementation can turn something
> into "undefined".

Show me.  I maintain that the standard does not proscribe this.

The entire description is 

  3.4.1 implementation-defined behavior
  unspecified behavior where each implementation documents how
  the choice is made.

and 

  J.3 Implementation-defined behavior
  A conforming implementation is required to document its choice
  of behavior in each of the areas listed in this subclause.

GCC's choice of behaviour is to not cater to smart-asses who are
trying weasel-word their way around 6.5.6/8.


r~



More information about the Gcc mailing list