Should this bug be marked as forwarded to http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12278 (or perhaps better http://gcc.gnu.org/bugzilla/show_bug.cgi?id=12223)? -- Colin Watson [cjwatson@flatline.org.uk]