https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89858
--- Comment #8 from Hans Buchmann <hans.buchmann at fhnw dot ch> --- Created attachment 46054 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=46054&action=edit /proc/cpuinfo Sincerely Hans Buchmann
