https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78788
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Found new range for msgcnt_138: [-2147483646, +INF] Found new range for msgcnt_228: [-2147483646, +INF] Found new range for msgcnt_172: [-INF, 2147483645] Found new range for msgcnt_138: [-2147483646, +INF(OVF)] Found new range for msgcnt_228: [-2147483646, +INF(OVF)] Found new range for msgcnt_172: [-INF(OVF), 2147483645] Found new range for msgcnt_138: [-2147483646, +INF] Found new range for msgcnt_228: [-2147483646, +INF] Found new range for msgcnt_172: [-INF, 2147483645] Found new range for msgcnt_138: [-2147483646, +INF(OVF)] Found new range for msgcnt_228: [-2147483646, +INF(OVF)] Found new range for msgcnt_172: [-INF(OVF), 2147483645] Found new range for msgcnt_138: [-2147483646, +INF] Found new range for msgcnt_228: [-2147483646, +INF] Found new range for msgcnt_172: [-INF, 2147483645] another case... (bah). And the issue is: Visiting PHI node: msgcnt_138 = PHI <msgcnt_7(40), msgcnt_172(35)> Argument #0 (40 -> 36 executable) msgcnt_7: [0, +INF(OVF)] Argument #1 (35 -> 36 executable) msgcnt_172: [-INF(OVF), 2147483645] Meeting [0, +INF(OVF)] and [-INF(OVF), 2147483645] to VARYING Intersecting [-2147483646, msgcnt_7] and [-INF, +INF] Applying pattern match.pd:2941, generic-match.c:6568 Applying pattern match.pd:2931, generic-match.c:6507 Applying pattern match.pd:2244, generic-match.c:4056 Applying pattern match.pd:2953, generic-match.c:6645 Applying pattern match.pd:2238, generic-match.c:3532 Applying pattern match.pd:2957, generic-match.c:6665 to [-2147483646, +INF] Found new range for msgcnt_138: [-2147483646, +INF]