https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79230
--- Comment #23 from Jürgen Reuter <juergen.reuter at desy dot de> --- I filed another PR: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79334
juergen.reuter at desy dot de Thu, 02 Feb 2017 08:22:26 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79230
--- Comment #23 from Jürgen Reuter <juergen.reuter at desy dot de> --- I filed another PR: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79334