[libcxx-commits] [libcxx] [libc++] Add input validation for set_intersection() in debug mode. (PR #101508)

[Louis Dionne via libcxx-commits]

================
@@ -95,6 +98,14 @@ __set_intersection(
     _Compare&& __comp,
     std::forward_iterator_tag,
     std::forward_iterator_tag) {
+#if _LIBCPP_HARDENING_MODE == _LIBCPP_HARDENING_MODE_DEBUG
+  if (!__libcpp_is_constant_evaluated()) {
+    _LIBCPP_ASSERT_INTERNAL(
----------------
ldionne wrote:

This should likely be `_LIBCPP_ASSERT_ARGUMENT_WITHIN_DOMAIN` but I'd like @var-const to chime in.

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