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

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

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

Jakub Jelinek  changed:

   What|Removed |Added

 Resolution|--- |FIXED
 Status|ASSIGNED|RESOLVED

--- Comment #6 from Jakub Jelinek  ---
Fixed.

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

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

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

--- Comment #5 from CVS Commits  ---
The master branch has been updated by Jakub Jelinek :

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

commit r14-2242-g83733be3f7583f75f626c57e49679cfb9d877c5f
Author: Jakub Jelinek 
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  

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.

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

[ali.mpfard at gmail dot com via Gcc-bugs]

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

--- Comment #4 from Ali Mohammad Pur Fard  ---
Can confirm that the patch
() fixes the original
reproducer.

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

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

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

--- Comment #3 from Jakub Jelinek  ---
Created attachment 55439
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55439=edit
gcc14-pr110508.patch

Untested fix.