[Bug tree-optimization/111407] 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 #9 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Qing Zhao <qinz...@gcc.gnu.org>:

https://gcc.gnu.org/g:4aca1cfd6235090e48a53dab734437740671bbf3

commit r14-4034-g4aca1cfd6235090e48a53dab734437740671bbf3
Author: Qing Zhao <qing.z...@oracle.com>
Date:   Fri Sep 15 13:46:52 2023 +0000

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

    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.