https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94788
--- Comment #20 from Jürgen Reuter <juergen.reuter at desy dot de> --- Thanks a lot for reverting, Thomas, shall I further reduce the reproducer, or can you work with it now?
juergen.reuter at desy dot de Mon, 27 Apr 2020 15:03:11 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94788
--- Comment #20 from Jürgen Reuter <juergen.reuter at desy dot de> --- Thanks a lot for reverting, Thomas, shall I further reduce the reproducer, or can you work with it now?