https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63342
--- Comment #6 from Julian Taylor <jtaylor.debian at googlemail dot com> --- thanks, head (and branches) work fine now
jtaylor.debian at googlemail dot com Thu, 02 Oct 2014 08:39:08 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63342
--- Comment #6 from Julian Taylor <jtaylor.debian at googlemail dot com> --- thanks, head (and branches) work fine now