Thorsten Glaser wrote:
>  Christian Biere dixit:
>  > >  >For what it's worth, this has undefined behaviour even though it probably
>  > >  just works with the current GCC.

>  > >  Hm, "in theory" true, but "our" integers are 32 bits, and
>  > >  the new value is either larger or equal, or it isn't.

>  > Undefined behaviour doesn't work that way.
>  
>  Sure, but get real. We're talking real world code here.

You mean as real as this?

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30477

-- 
Christian