https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96835
--- Comment #4 from Tobias Weinzierl <tobias.weinzierl at durham dot ac.uk> --- Created attachment 49339 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49339&action=edit Reproducer
tobias.weinzierl at durham dot ac.uk via Gcc-bugs Fri, 09 Oct 2020 03:52:31 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96835
--- Comment #4 from Tobias Weinzierl <tobias.weinzierl at durham dot ac.uk> --- Created attachment 49339 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49339&action=edit Reproducer