http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50598
--- Comment #30 from vincenzo Innocente <vincenzo.innocente at cern dot ch> 2011-11-20 14:20:14 UTC --- sorry Dominique not to have been clear, Jonathan answer is correct. For what I'm concerned this specific PR can be closed. vincenzo