> this could be considered a GNU libstdc++ bug - how about reporting it to them? Good point: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40160 >> Attached is a patch to remove -fno-rtti when we enable GNU libstdc++ >> debugging mode. OK? > > This seems like a good solution to me. Can I take that as an approval? Thanks, Jay.