[libcxx-commits] [libcxx] [libc++][hardening] Check bounds on arithmetic in __bounded_iter (PR #78876)

[David Benjamin via libcxx-commits]

================
@@ -91,21 +90,25 @@ struct __bounded_iter {
   // Dereference and indexing operations.
   //
   // These operations check that the iterator is dereferenceable, that is within [begin, end).
----------------
davidben wrote:

Done. Also elaborated a bit on "happens to be" in hopes of making it clear we're not just making assumptions about the current optimizer. :-)

https://github.com/llvm/llvm-project/pull/78876