https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115929
--- Comment #3 from Richard Sandiford <rsandifo at gcc dot gnu.org> --- As it turned out, the two tests exposed different bugs. I've submitted a patch for the other one and will close once that's resolved.