On Thu, 28 Jun 2018 at 12:49, Jonathan Wakely wrote: > Yes, please report it to our bugzilla. Ah, I've just seen https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86342 - thanks!