------- 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
