http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58669 --- Comment #4 from Andrew John Hughes <gnu_andrew at member dot fsf.org> --- Yes, I just said that above. I'll propose a patch when I get chance.