https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107667
--- Comment #1 from Christoph Müllner <christophm30 at gmail dot com> --- RFC patch can be found on list: https://gcc.gnu.org/pipermail/gcc-patches/2022-November/605936.html
christophm30 at gmail dot com via Gcc-bugs Sun, 13 Nov 2022 07:40:03 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107667
--- Comment #1 from Christoph Müllner <christophm30 at gmail dot com> --- RFC patch can be found on list: https://gcc.gnu.org/pipermail/gcc-patches/2022-November/605936.html