diff options
| author | Tom Tromey <tom@tromey.com> | 2025-02-24 15:35:04 -0700 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2025-03-11 08:31:43 -0600 |
| commit | d9c531fd6478ccfcb7fd5baf0dad54549508db9f (patch) | |
| tree | 60ba953fdd614672088f5795af70cf1963207410 /gdb | |
| parent | 674d48567300d29db5f9759a78d987333b914d68 (diff) | |
| download | binutils-d9c531fd6478ccfcb7fd5baf0dad54549508db9f.zip binutils-d9c531fd6478ccfcb7fd5baf0dad54549508db9f.tar.gz binutils-d9c531fd6478ccfcb7fd5baf0dad54549508db9f.tar.bz2 | |
Use gdb set and map in source_cache
This changes source_cache to use gdb::unordered_map and
gdb::unordered_set rather than the std:: variants.
Approved-By: Simon Marchi <simon.marchi@efficios.com>
Diffstat (limited to 'gdb')
| -rw-r--r-- | gdb/source-cache.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gdb/source-cache.h b/gdb/source-cache.h index 35eeb1c..03f4b79 100644 --- a/gdb/source-cache.h +++ b/gdb/source-cache.h @@ -19,8 +19,8 @@ #ifndef GDB_SOURCE_CACHE_H #define GDB_SOURCE_CACHE_H -#include <unordered_map> -#include <unordered_set> +#include "gdbsupport/unordered_map.h" +#include "gdbsupport/unordered_set.h" /* This caches two things related to source files. @@ -95,10 +95,10 @@ private: /* The file offset cache. The key is the full name of the source file. */ - std::unordered_map<std::string, std::vector<off_t>> m_offset_cache; + gdb::unordered_map<std::string, std::vector<off_t>> m_offset_cache; /* The list of files where styling failed. */ - std::unordered_set<std::string> m_no_styling_files; + gdb::unordered_set<std::string> m_no_styling_files; }; /* The global source cache. */ |