https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84172
--- Comment #7 from Andreas Otto <aotto1...@t-online.de> --- Created attachment 43321 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=43321&action=edit cat /proc/cpuinfo
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84172
--- Comment #7 from Andreas Otto <aotto1...@t-online.de> --- Created attachment 43321 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=43321&action=edit cat /proc/cpuinfo