http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53450
vincenzo Innocente <vincenzo.innocente at cern dot ch> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|WAITING |RESOLVED Resolution| |DUPLICATE --- Comment #3 from vincenzo Innocente <vincenzo.innocente at cern dot ch> 2012-05-22 13:06:58 UTC --- *** This bug has been marked as a duplicate of bug 53433 ***