[libc++] Start classifying debug mode features with more granularity
I am starting to granularize debug-mode checks so they can be controlled
more individually. The goal is for vendors to eventually be able to select
which categories of checks they want embedded in their configuration of
the library with more granularity.
Note that this patch is a bit weird on its own because it does not touch
any of the containers that implement iterator bounds checking through the
__dereferenceable check of the legacy debug mode. However, I added TODOs
to string and vector to change that.
Differential Revision: https://reviews.llvm.org/D138033
NOKEYCHECK=True
GitOrigin-RevId: bf68a595f6f868393a231aea5f48273a81e650d9
diff --git a/include/string b/include/string
index 6aee5a4..03bb5ea 100644
--- a/include/string
+++ b/include/string
@@ -682,6 +682,7 @@
"[allocator.requirements] states that rebinding an allocator to the same type should result in the "
"original allocator");
+ // TODO: Implement iterator bounds checking without requiring the global database.
typedef __wrap_iter<pointer> iterator;
typedef __wrap_iter<const_pointer> const_iterator;
typedef std::reverse_iterator<iterator> reverse_iterator;