https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103253
--- Comment #9 from Tamar Christina <tnfchris at gcc dot gnu.org> --- > We might want to eventually special-case some of the internal fns > in internal_fn_flags? Or have a special ECF_FP_TRAP which > we'd rewrite in internal_fn_flags based on flag_trapping_math > (but we'd need a caller context to be able to lookup the correct > flag_trapping_math here). Alternatively whoever adds those > patterns should mark the GIMPLE call as gimple_call_nothrow > (that might be genmatch generated code in this case). That last part seems easiest to do in this case, what's the best way to tell genmatch to do so for some internal-fns. does genmatch have access to the ECF attributes or is it just doing symbolic rewriting?