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>
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 @@ class source_cache
/* 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. */
