https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125192
--- Comment #14 from Jürgen Reuter <juergen.reuter at desy dot de> --- Ah, one needs to include also this commit here, right? https://gcc.gnu.org/cgit/gcc/commit/?id=c5daf838d19adc39dab9601e996cb4ec08dedda5
