[Bug c/46619] gcc thinks line of code can be removed.

[pinskia at gcc dot gnu.org]

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

--- Comment #15 from Andrew Pinski <pinskia at gcc dot gnu.org> 2010-11-23 22:09:44 UTC ---
>Not true. it is not undefined, it is implementation specific. 

Huh?  Why do you think that is true?  The C standard is explicit when it comes
to signed integer overflow is undefined behavior.  In fact when talking about
an undefined behavior at the very beginning of the standard, it lists it.

-- Pinski