http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53646
--- Comment #19 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-06-21 14:46:22 UTC --- Do you have an opinion on PR 53673 ? Would having those symbols make debugging such problems easier, or did you already know there was a mix of c++98 and c++11 objects and the difficult part was identifying exactly where the problem happened?