http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52976
--- Comment #13 from vincenzo Innocente <vincenzo.innocente at cern dot ch> 2012-04-16 13:53:30 UTC --- I confirm that "revision 186494" fixed PR53007. btw: would it be possible to add the revision number to the oyuout of "c++ -v"? the current "version id" gcc version 4.8.0 20120416 (experimental) (GCC) does not uniquely identify the content of the build…