https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81849
--- Comment #10 from Jürgen Reuter <juergen.reuter at desy dot de> --- Actually, it was Thomas Koenig in r267953, so not your commits, but very close.^^ The report is PR88871.
juergen.reuter at desy dot de Wed, 16 Jan 2019 08:31:55 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81849
--- Comment #10 from Jürgen Reuter <juergen.reuter at desy dot de> --- Actually, it was Thomas Koenig in r267953, so not your commits, but very close.^^ The report is PR88871.