https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109209
--- Comment #7 from Jürgen Reuter <juergen.reuter at desy dot de> --- It looks like it is NOT Harald's and Tobias' commit, https://github.com/gcc-mirror/gcc/commit/901edd99b44976b3c2b13a7d525d9e315540186a I reverted that one, and still get the error.
