https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111411
--- Comment #6 from Richard Sandiford <rsandifo at gcc dot gnu.org> --- Thanks, I can reproduce it now. I had been trying with tip of trunk, but it seems to have gone latent after 9ea74d235c7e7816b996a17c61288f02ef767985.
