https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120951
--- Comment #11 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The trunk branch has been updated by Andrew Pinski <pins...@gcc.gnu.org>: https://gcc.gnu.org/g:e17e3de4bbb1848ce1ce7d69d7786b92f1969b11 commit r16-2039-ge17e3de4bbb1848ce1ce7d69d7786b92f1969b11 Author: Andrew Pinski <quic_apin...@quicinc.com> Date: Sat Jul 5 08:40:45 2025 -0700 cdce: Fix non-call exceptions with signaling nans [PR120951] The cdce code introduces a test for a NaN using the EQ_EXPR code. The problem is EQ_EXPR can cause an exception with non-call exceptions and signaling nans turned on. This is now correctly rejected by the verfier since r16-241-g4c40e3d7b9152f. The fix is seperate out the comparison into its own statement from the GIMPLE_COND. Bootstrapped and tested on x86_64-linux-gnu with no regressions. PR tree-optimization/120951 gcc/ChangeLog: * tree-call-cdce.cc (use_internal_fn): For non-call exceptions with EQ_EXPR can throw for floating point types, then create the EQ_EXPR seperately. gcc/testsuite/ChangeLog: * gcc.dg/torture/pr120951-1.c: New test. Signed-off-by: Andrew Pinski <quic_apin...@quicinc.com>
