https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118957
Richard Sandiford <rsandifo at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |rsandifo at gcc dot gnu.org
--- Comment #5 from Richard Sandiford <rsandifo at gcc dot gnu.org> ---
Sorry, I forgot to reference this PR in the commit message, but could you check
what the situation is after r15-7852-ge836d80374aa03a?
