https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63272

--- Comment #7 from David Binderman <dcb314 at hotmail dot com> ---
(In reply to Martin Sebor from comment #5)
> Patch: https://gcc.gnu.org/pipermail/gcc-patches/2021-November/583045.html

Weeks have rolled by and this patch doesn't seem to have made it into trunk.
Disappointing.

Time to nag someone with trunk write permission ?

Reply via email to