https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85290
--- Comment #1 from Thorsten Otto <ad...@tho-otto.de> --- Created attachment 43879 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=43879&action=edit header file marked as system header
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85290
--- Comment #1 from Thorsten Otto <ad...@tho-otto.de> --- Created attachment 43879 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=43879&action=edit header file marked as system header