http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53780
--- Comment #2 from vincenzo Innocente <vincenzo.innocente at cern dot ch> 2012-06-29 06:11:19 UTC --- seems fixed by the back-port published in comment 4 PR53768
vincenzo.innocente at cern dot ch Thu, 28 Jun 2012 23:11:40 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53780
--- Comment #2 from vincenzo Innocente <vincenzo.innocente at cern dot ch> 2012-06-29 06:11:19 UTC --- seems fixed by the back-port published in comment 4 PR53768