https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84155
--- Comment #23 from Jürgen Reuter <juergen.reuter at desy dot de> --- All our code is fine also with this fix.
juergen.reuter at desy dot de Sun, 11 Feb 2018 08:50:44 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84155
--- Comment #23 from Jürgen Reuter <juergen.reuter at desy dot de> --- All our code is fine also with this fix.