Re: [PATCH] Cleanup gdb printers.py

2022-09-21 Thread Jonathan Wakely via Gcc-patches
On Wed, 21 Sept 2022 at 20:57, François Dumont via Libstdc++
 wrote:
>
> I stopped my research to find out if those types ever existed in 2001.
> Clearly they do not exist now.
>
>  libstdc++: Remove useless gdb printer registrations.
>
>  libstdc++-v3/ChangeLog:
>
>  * python/libstdcxx/v6/printers.py: Remove printer
> registration for non-existing
>  types std::__debug::unique_ptr, std::__debug::stack,
> std::__debug::queue,
>  std::__debug::priority_queue.
>
> Ok to commit ?

Oh good catch, please commit, thanks!



[PATCH] Cleanup gdb printers.py

2022-09-21 Thread François Dumont via Gcc-patches
I stopped my research to find out if those types ever existed in 2001. 
Clearly they do not exist now.


    libstdc++: Remove useless gdb printer registrations.

    libstdc++-v3/ChangeLog:

    * python/libstdcxx/v6/printers.py: Remove printer 
registration for non-existing
    types std::__debug::unique_ptr, std::__debug::stack, 
std::__debug::queue,

    std::__debug::priority_queue.

Ok to commit ?

François
diff --git a/libstdc++-v3/python/libstdcxx/v6/printers.py b/libstdc++-v3/python/libstdcxx/v6/printers.py
index bd4289c1c62..5a3dcbd13f9 100644
--- a/libstdc++-v3/python/libstdcxx/v6/printers.py
+++ b/libstdc++-v3/python/libstdcxx/v6/printers.py
@@ -2246,12 +2246,7 @@ def build_libstdcxx_dictionary ():
 libstdcxx_printer.add('std::__debug::map', StdMapPrinter)
 libstdcxx_printer.add('std::__debug::multimap', StdMapPrinter)
 libstdcxx_printer.add('std::__debug::multiset', StdSetPrinter)
-libstdcxx_printer.add('std::__debug::priority_queue',
-  StdStackOrQueuePrinter)
-libstdcxx_printer.add('std::__debug::queue', StdStackOrQueuePrinter)
 libstdcxx_printer.add('std::__debug::set', StdSetPrinter)
-libstdcxx_printer.add('std::__debug::stack', StdStackOrQueuePrinter)
-libstdcxx_printer.add('std::__debug::unique_ptr', UniquePointerPrinter)
 libstdcxx_printer.add('std::__debug::vector', StdVectorPrinter)
 
 # These are the TR1 and C++11 printers.