http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54844
vincenzo Innocente <vincenzo.innocente at cern dot ch> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |vincenzo.innocente at cern | |dot ch --- Comment #9 from vincenzo Innocente <vincenzo.innocente at cern dot ch> 2012-10-20 15:26:03 UTC --- *** Bug 54999 has been marked as a duplicate of this bug. ***