https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86713
ktkachov at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2018-07-28 CC| |ktkachov at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #1 from ktkachov at gcc dot gnu.org --- That does look like a bug. Please send patches to gcc-patc...@gcc.gnu.org following the guidelines at https://gcc.gnu.org/contribute.html