https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105231
--- Comment #19 from Jakub Jelinek <jakub at gcc dot gnu.org> --- It is true that float_extend from a constant or constant pool memory if the constant isn't NaN should never raise any kind of exception or trap. Shouldn't we handle that in may_trap_p_1 or whatever considers the RTL potentially trapping or raising exception? At least assuming it is a conversion between modes where the outer mode can represent all the values of the inner mode.
