http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53195
--- Comment #1 from vincenzo Innocente <vincenzo.innocente at cern dot ch> 2012-05-04 09:22:30 UTC --- does not happen with latest version of gcc version 4.7.1 20120504 (prerelease) (GCC)
vincenzo.innocente at cern dot ch Fri, 04 May 2012 02:23:09 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53195
--- Comment #1 from vincenzo Innocente <vincenzo.innocente at cern dot ch> 2012-05-04 09:22:30 UTC --- does not happen with latest version of gcc version 4.7.1 20120504 (prerelease) (GCC)