https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116951
--- Comment #7 from Sam James <sjames at gcc dot gnu.org> --- The approach is fine with me, I'll wait a few days for bikeshedding on name and then submit something. I agree there's no harm in yet another option and we can just include it in yes later if things go OK.
