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