http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57226
morandini at aero dot polimi.it changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |INVALID --- Comment #5 from morandini at aero dot polimi.it --- (In reply to Jonathan Wakely from comment #4) I've misread your comment #1. Apologize for the noise. I'm still convinced that it would be worth mentioning them in the doc. At the very least because this gdb warning warning: File "/home/marco/local/gcc-4.8.0/lib64/libstdc++.so.6.0.18-gdb.py" auto-loading has been declined by your `auto-load safe-path' set to "$debugdir:$datadir/auto-load". To enable execution of this file add add-auto-load-safe-path /home/marco/local/gcc-4.8.0/lib64/libstdc++.so.6.0.18-gdb.py could be somewhat cryptic if someone does not know that these pretty printers are installed by gcc. Anyway, I'm closing this as invalid.