https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93444
Alexander Monakov <amonakov at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Summary|[8/9/10 Regression] |[8/9/10 Regression] |unswitching introduces |ssa-loop-im introduces |unconditional use of |unconditional use of |uninitialized variable |uninitialized variable --- Comment #1 from Alexander Monakov <amonakov at gcc dot gnu.org> --- Actually, scratch that. I should have double-checked the order of arguments to dominated_by_p (and the tree dump). This code is not to blame. The problem starts earlier when tree-ssa-loop-im moves _7 = (int) y_21(D); out of the loop, making the access unconditional when it was conditional in the loop and actually unreachable at runtime. (editing the subject to reflect this, but keeping the regression marker)