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 <ja...@gcc.gnu.org>: https://gcc.gnu.org/g:83733be3f7583f75f626c57e49679cfb9d877c5f commit r14-2242-g83733be3f7583f75f626c57e49679cfb9d877c5f Author: Jakub Jelinek <ja...@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 <ja...@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.