https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61831
--- Comment #27 from Jürgen Reuter <juergen.reuter at desy dot de> --- Dominique, I tested your proposed fix from https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61831#c23 But it doesn't work, the problem still occurs.