https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81751
--- Comment #9 from Volker Wehrs <bugzilla.volker at kabelmail dot de> --- Thank you, I guess that change should fix the bug.
bugzilla.volker at kabelmail dot de Fri, 11 Aug 2017 03:59:26 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81751
--- Comment #9 from Volker Wehrs <bugzilla.volker at kabelmail dot de> --- Thank you, I guess that change should fix the bug.