http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47456
Kai Tietz <ktietz at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|WAITING |RESOLVED Resolution| |FIXED --- Comment #15 from Kai Tietz <ktietz at gcc dot gnu.org> 2012-01-10 16:57:02 UTC --- Hmm, neither an new report about this, nor confirmation that issue still happens. We waited long enough. Closing it.