http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53337
--- Comment #3 from vincenzo Innocente <vincenzo.innocente at cern dot ch> 2012-05-14 14:08:04 UTC --- I will try the trunk go binutils. Still I confirm that this warning does not appear at all (in real-life code, not just in the attached test case) with gcc 4.8
