[Bug c/30475] assert(int+100 > int) optimized away

[pinskia at gcc dot gnu dot org]

------- Comment #46 from pinskia at gcc dot gnu dot org  2007-01-22 18:33 -------
> PS: Mr Simon, that link to a how-to that says "btw this doesn't work for this
> special input", is that supposed to impress anyone?  It certainly does not
> impress me very much, really.

yes and the special input is one value which is easy to add a check for
input == INT_MIN.
The reason why INT_MIN is "special" is because signed integer in C does not
have to be symetric.  Now if you take Fortran on the other hand, integers are
always symetric.


-- 


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