Add iterator fail test

Author: smallp-o-p

libcxx/test/libcxx/utilities/optional/optional.iterator/assert.arithmetic.pass.cpp

@@ -0,0 +1,46 @@
+//===----------------------------------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+// <optional>
+
+// Add to iterator out of bounds.
+
+// REQUIRES: std-at-least-c++26
+// UNSUPPORTED: libcpp-hardening-mode=none, libcpp-has-abi-bounded-iterators-in-optional
+
+#include <optional>
+
+#include "check_assertion.h"
+
+int main(int, char**) {
+  {
+    std::optional<int> opt(1);
+    auto i = opt.begin();
+
+    TEST_LIBCPP_ASSERT_FAILURE(
+        i += 2,
+        "__capacity_aware_iterator::operator+=: Attempting to advance iterator past its container's possible range");
+
+    TEST_LIBCPP_ASSERT_FAILURE(
+        i += -2, "__capacity_aware_iterator::operator+=: Attempting to rewind iterator past its container's start");
+
+    TEST_LIBCPP_ASSERT_FAILURE(
+        i -= 2, "__capacity_aware_iterator::operator-=: Attempting to rewind iterator before its container's start");
+
+    TEST_LIBCPP_ASSERT_FAILURE(
+        i -= -2,
+        "__capacity_aware_iterator::operator+=: Attempting to advance iterator past its container's possible range");
+
+    TEST_LIBCPP_ASSERT_FAILURE(
+        i[2],
+        "__capacity_aware_iterator::operator[]: Attempting to index iterator past its container's possible range");
+
+    TEST_LIBCPP_ASSERT_FAILURE(
+        i[-2], "__capacity_aware_iterator::operator[]: Attempting to index iterator before its container's start");
+  }
+}

libcxx/test/libcxx/utilities/optional/optional.iterator/iterator.compile.pass.cpp

@@ -10,6 +10,8 @@
 
 // <optional>
 
+// UNSUPPORTED: libcpp-has-abi-bounded-iterators-in-optional
+
 // template <class T> class optional::iterator;
 // template <class T> class optional::const_iterator;
 

libcxx/test/std/utilities/optional/optional.iterator/iterator_compare.pass.cpp

@@ -10,8 +10,8 @@
 
 // <optional>
 
-// template <class T> class optional::iterator;
-// template <class T> class optional::const_iterator;
+// template <class T> class optional::iterator::operator<=>;
+// template <class T> class optional::const_iterator::operator<=>;
 
 #include <cassert>
 #include <compare>

libcxx/utils/libcxx/test/features/libcxx_macros.py

@@ -25,6 +25,7 @@
     "_LIBCPP_ABI_VERSION": "libcpp-abi-version",
     "_LIBCPP_ABI_BOUNDED_ITERATORS": "libcpp-has-abi-bounded-iterators",
     "_LIBCPP_ABI_BOUNDED_ITERATORS_IN_STRING": "libcpp-has-abi-bounded-iterators-in-string",
+    "_LIBCPP_ABI_BOUNDED_ITERATORS_IN_OPTIONAL": "libcpp-has-abi-bounded-iterators-in-optional",
     "_LIBCPP_ABI_BOUNDED_ITERATORS_IN_VECTOR": "libcpp-has-abi-bounded-iterators-in-vector",
     "_LIBCPP_ABI_BOUNDED_ITERATORS_IN_STD_ARRAY": "libcpp-has-abi-bounded-iterators-in-std-array",
     "_LIBCPP_ABI_BOUNDED_UNIQUE_PTR": "libcpp-has-abi-bounded-unique_ptr",