https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113954
--- Comment #3 from Sam James <sjames at gcc dot gnu.org> --- Indeed. I'm mostly interested in that being fixed in case people are using it as a safety blanket for unreported issues, or if there's some cleanups they're putting off doing.