https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84141
--- Comment #10 from Jürgen Reuter <juergen.reuter at desy dot de> --- Created attachment 43307 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=43307&action=edit Reproducer_2, a little smaller
juergen.reuter at desy dot de Wed, 31 Jan 2018 07:44:23 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84141
--- Comment #10 from Jürgen Reuter <juergen.reuter at desy dot de> --- Created attachment 43307 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=43307&action=edit Reproducer_2, a little smaller