https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252
--- Comment #15 from Roger Orr <rogero at howzatt dot demon.co.uk> --- Sorry for the noise; I'd not noticed there had been a relevant commit. I'll re-check against trunk.
rogero at howzatt dot demon.co.uk Thu, 26 May 2016 05:02:24 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71252
--- Comment #15 from Roger Orr <rogero at howzatt dot demon.co.uk> --- Sorry for the noise; I'd not noticed there had been a relevant commit. I'll re-check against trunk.