http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53470
--- Comment #16 from vincenzo Innocente <vincenzo.innocente at cern dot ch> 2012-06-12 05:16:28 UTC --- Confirmed that the fix solves the problem as I originally observed.
vincenzo.innocente at cern dot ch Mon, 11 Jun 2012 22:17:13 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53470
--- Comment #16 from vincenzo Innocente <vincenzo.innocente at cern dot ch> 2012-06-12 05:16:28 UTC --- Confirmed that the fix solves the problem as I originally observed.