[PATCH] C undefined behavior fix

[mike stump]

> From: Bernard Dautrevaux <Dautrevaux@microprocess.com>
> To: "'Laurent Guerby'" <guerby@acm.org>, dewar@gnat.com
> Date: Mon, 7 Jan 2002 14:29:15 +0100 

> It seems to me that you are right,

That's unfortunate.

> but there is other cases; for example:
> 	X := T(0)*256 + T(1);
> compiled on a big endian architecture may well generate just one
> 16-bit word read...

Not in my word, not in gcc's world.  That is just broken and wrong.

If you want/need the gcc doc to expound on this, write it up, and
we'll add it.