https://gcc.gnu.org/bugzilla/show_bug.cgi?id=45516 --- Comment #10 from janus at gcc dot gnu.org --- (In reply to janus from comment #9) > Paul, can we close this PR, or is there anything left to do? ping!