------- Comment #4 from rguenth at gcc dot gnu dot org 2006-11-16 12:53 ------- Well, for integers i < 0x7fffffff is equal to i != 0x7fffffff as 0x7fffffff is the most positive number, any other bit-pattern will be less than that.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29868