https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96872
--- Comment #2 from gcc-bugs at marehr dot dialup.fu-berlin.de --- Thank you; was fixed!
gcc-bugs at marehr dot dialup.fu-berlin.de via Gcc-bugs Tue, 03 Nov 2020 08:17:38 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96872
--- Comment #2 from gcc-bugs at marehr dot dialup.fu-berlin.de --- Thank you; was fixed!