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.

Reply via email to