[Bug tree-optimization/111407] [11/12/13 Regression] ICE: SSA corruption due to widening_mul opt on conflict across an abnormal edge

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111407

--- Comment #15 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-12 branch has been updated by Qing Zhao <qinz...@gcc.gnu.org>:

https://gcc.gnu.org/g:5f23f9f141c4b52e8f4a9aadc88b8155cf1959a3

commit r12-10306-g5f23f9f141c4b52e8f4a9aadc88b8155cf1959a3
Author: Qing Zhao <qing.z...@oracle.com>
Date:   Thu Feb 29 15:07:49 2024 +0000

    Fix SSA corruption due to widening_mul opt on conflict across an abnormal
edge [PR111407]

    This is a bug in tree-ssa-math-opts.cc, when applying the widening mul
    optimization, the compiler needs to check whether the operand is in a
    ABNORMAL PHI, if YES, we should avoid the transformation.

            PR tree-optimization/111407

    gcc/ChangeLog:

            * tree-ssa-math-opts.cc (convert_mult_to_widen): Avoid the
transform
            when one of the operands is subject to abnormal coalescing.

    gcc/testsuite/ChangeLog:

            * gcc.dg/pr111407.c: New test.

    (cherry picked from commit 4aca1cfd6235090e48a53dab734437740671bbf3)