------- Comment #11 from roger at eyesopen dot com 2006-02-20 03:52 ------- Hmmm. Looks like the problem is in .088t.vrp2....
We have unsigned int D.1981; unsigned int D.1982; D.1982_9 = -D.1981_1; D.1981_1: [0, +INF] EQUIVALENCES: { } (0 elements) D.1982_9: [0, 1] EQUIVALENCES: { } (0 elements) Seems like a bug in the interval arithmetic of NEGATE_EXPR for unsigned types. - [0, (unsigned)-1] seems to be converted to [0, 1]!!? I hope this helps. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26361