https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104154
Claudiu Zissulescu <claziss at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |claziss at gmail dot com
--- Comment #9 from Claudiu Zissulescu <claziss at gmail dot com> ---
I don't know why I haven't been notified for this PR, and I went a bit ahead
and pushed a patch on the subject:
https://gcc.gnu.org/pipermail/gcc-patches/2022-February/590929.html
I am bootstrapping and testing Robin's patch as well.
Thanks!
