http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56609
--- Comment #2 from Daniel Krügler <daniel.kruegler at googlemail dot com> 2013-03-13 09:55:33 UTC --- (In reply to comment #1) > Seems straightforward enough to be fixable in 4.8.0 too. Does this patchlet > cover all the issues you can see? Thanks Paolo! I cannot test this from here, but this fix is what I would have thought of as well.