http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54107
--- Comment #34 from Mikael Morin <mikael at gcc dot gnu.org> 2013-02-05 21:31:20 UTC --- (In reply to comment #33) > Anything missing before this PR can be closed? Unburying the patch for comment #4, testing it, committing it. :-)