https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109471
--- Comment #4 from Stefano <stefano.d at posteo dot de> --- Created attachment 54829 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54829&action=edit source code
stefano.d at posteo dot de via Gcc-bugs Tue, 11 Apr 2023 06:52:18 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109471
--- Comment #4 from Stefano <stefano.d at posteo dot de> --- Created attachment 54829 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54829&action=edit source code