On 20/02/17 17:42, Jonathan Wakely wrote: > This is a real problem: > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71255 Ah, thanks. So it's been diagnosed already. Andrew.
On 20/02/17 17:42, Jonathan Wakely wrote: > This is a real problem: > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71255 Ah, thanks. So it's been diagnosed already. Andrew.