------- Comment #16 from pinskia at gcc dot gnu dot org 2006-02-20 05:11 ------- (In reply to comment #15) > With my reduced testcase (well s/long long/long/), we get: > D.1552_8 = -a_7; > a_7: [0, +INF] EQUIVALENCES: { } (0 elements) Shouldn't that just be marked as varying instead as a_7 is unsigned?
Likewise for the orginal testcase in this bug. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26361