[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 #5 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Richard Ball
<ricba...@gcc.gnu.org>:

https://gcc.gnu.org/g:0d625dc1bffd885b04eb90ff48a6d34acacc3e0b

commit r13-8676-g0d625dc1bffd885b04eb90ff48a6d34acacc3e0b
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)