https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113357
--- Comment #19 from Thorsten Otto <ad...@tho-otto.de> --- I've already done that, as shown above in comment #7.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113357
--- Comment #19 from Thorsten Otto <ad...@tho-otto.de> --- I've already done that, as shown above in comment #7.