------- Comment #1 from pinskia at gcc dot gnu dot org 2006-04-03 18:59 ------- x+1 can wrap so try x be UINT_MAX.
In fact x != -1 is valid for unsigned as -1 is casted to unsigned and you get UINT_MAX :). -- pinskia at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution| |INVALID http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27007