https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100017
--- Comment #15 from Iain Sandoe <iains at gcc dot gnu.org> --- @dave Perhaps you could post the patch at C#12 for review (it would be useful to get this cleared)
iains at gcc dot gnu.org via Gcc-bugs Mon, 28 Jun 2021 13:00:31 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100017
--- Comment #15 from Iain Sandoe <iains at gcc dot gnu.org> --- @dave Perhaps you could post the patch at C#12 for review (it would be useful to get this cleared)