From d8a30dd2a692053165ff3dfad1e93164180fc974 Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Mon, 24 Feb 2025 15:36:28 -0700 Subject: [PATCH] Use gdb set and map in TUI This changes the TUI to use gdb::unordered_map and gdb::unordered_set rather than the std:: variants. Approved-By: Simon Marchi --- gdb/tui/tui-layout.c | 4 ++-- gdb/tui/tui-layout.h | 5 ++--- 2 files changed, 4 insertions(+), 5 deletions(-) diff --git a/gdb/tui/tui-layout.c b/gdb/tui/tui-layout.c index 79b7289c2a6..3fac65f356e 100644 --- a/gdb/tui/tui-layout.c +++ b/gdb/tui/tui-layout.c @@ -24,7 +24,7 @@ #include "frame.h" #include "cli/cli-decode.h" #include "cli/cli-utils.h" -#include +#include "gdbsupport/unordered_set.h" #include "tui/tui.h" #include "tui/tui-command.h" @@ -1221,7 +1221,7 @@ tui_new_layout_command (const char *spec, int from_tty) std::vector> splits; splits.emplace_back (new tui_layout_split (is_vertical)); - std::unordered_set seen_windows; + gdb::unordered_set seen_windows; while (true) { spec = skip_spaces (spec); diff --git a/gdb/tui/tui-layout.h b/gdb/tui/tui-layout.h index 22d7c722d6d..107b1238652 100644 --- a/gdb/tui/tui-layout.h +++ b/gdb/tui/tui-layout.h @@ -27,8 +27,7 @@ #include "tui/tui.h" #include "tui/tui-data.h" #include "gdbsupport/iterator-range.h" - -#include +#include "gdbsupport/unordered_map.h" /* Values that can be returned when handling a request to adjust a window's size. */ @@ -368,7 +367,7 @@ typedef std::function window_factory; /* The type for a data structure that maps a window name to that window's factory function. */ -typedef std::unordered_map window_types_map; +typedef gdb::unordered_map window_types_map; /* Register a new TUI window type. NAME is the name of the window type. FACTORY is a function that can be called to instantiate the -- 2.47.3