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)

Reply via email to