http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25643
Richard Guenther <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|REOPENED |NEW --- Comment #13 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-06-29 13:23:15 UTC --- (In reply to comment #5) > Grrr: > Visiting PHI node: i_3 = PHI <i_17(4), i_13(13)>; > Argument #0 (4 -> 12 executable) > i_17 > Value: [1, 1] EQUIVALENCES: { } (0 elements) > > Argument #1 (13 -> 12 executable) > i_13 > Value: [2, +INF] EQUIVALENCES: { } (0 elements) > > so we have [1,1] UNION [2, +INF] and we just get ~[0,0] bogus > and it also means this is PR 23744. This is now fixed but the rest still applies.