http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57208
Martin Jambor <jamborm at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #31 from Martin Jambor <jamborm at gcc dot gnu.org> --- All right. I hope the PR can be closed now. Please re-open if the bug is istill present.