[Bug tree-optimization/114672] during GIMPLE pass: widening_mul ICE: verify_gimple failed: type mismatch in 'widen_mult_plus_expr' at -O2

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

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

--- Comment #6 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-12 branch has been updated by Richard Ball
<ricba...@gcc.gnu.org>:

https://gcc.gnu.org/g:87e37c72cfb153d65ac8b26d6f2d1fe155818318

commit r12-10410-g87e37c72cfb153d65ac8b26d6f2d1fe155818318
Author: Richard Biener <rguent...@suse.de>
Date:   Wed Apr 10 10:33:40 2024 +0200

    tree-optimization/114672 - WIDEN_MULT_PLUS_EXPR type mismatch

    The following makes sure to restrict WIDEN_MULT*_EXPR to a mode
    precision final compute type as the mode is used to find the optab
    and type checking chokes when seeing bit-precisions later which
    would likely also not properly expanded to RTL.

            PR tree-optimization/114672
            * tree-ssa-math-opts.cc (convert_plusminus_to_widen): Only
            allow mode-precision results.

            * gcc.dg/torture/pr114672.c: New testcase.

    (cherry picked from commit 912753cc5f18d786e334dd425469fa7f93155661)