[Bug tree-optimization/110508] [14 Regression] ICE (Segfault) during widening_mul, in match_uaddc_usubc

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>:

https://gcc.gnu.org/g:83733be3f7583f75f626c57e49679cfb9d877c5f

commit r14-2242-g83733be3f7583f75f626c57e49679cfb9d877c5f
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Sun Jul 2 17:36:33 2023 +0200

    tree-ssa-math-opts: Fix up ICE in match_uaddc_usubc [PR110508]

    The match_uaddc_usubc matching doesn't require that the second
    .{ADD,SUB}_OVERFLOW has REALPART_EXPR of its lhs used, only that there is
    at most one.  So, in the weird case where the REALPART_EXPR of it isn't
    present, we shouldn't ICE trying to replace that REALPART_EXPR with
    REALPART_EXPR of .U{ADD,SUB}C result.

    2023-07-02  Jakub Jelinek  <jakub@redhat.com>

            PR tree-optimization/110508
            * tree-ssa-math-opts.cc (match_uaddc_usubc): Only replace re2 with
            REALPART_EXPR opf nlhs if re2 is non-NULL.

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