https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105414
--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Sure, but you don't want to do that at least if flag_trapping_math. Otherwise, the predicate would be tree_expr_signaling_nan_p and real_nan function with "", 1 as the middle 2 arguments can create it. But note that nothing in match.pd does that right now, so I don't think we should do it in this case either.