https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113550
Richard Sandiford <rsandifo at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |rsandifo at gcc dot gnu.org Resolution|--- |FIXED Status|ASSIGNED |RESOLVED --- Comment #5 from Richard Sandiford <rsandifo at gcc dot gnu.org> --- Yeah, FWIW, I agree improving the define_split is probably best. Now fixed.