http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56204
Tobias Burnus <burnus at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution| |FIXED --- Comment #4 from Tobias Burnus <burnus at gcc dot gnu.org> 2013-02-13 12:06:02 UTC --- Thanks for testing. It looks as if it should have been FIXED by the committed patch. Please re-open if the issue still occurs.