Fix CI (formatting, make semantics tests require experimental)

Author: var-const

libcxx/test/libcxx/assertions/semantics/assertion_semantic_incorrect_value.sh.cpp

@@ -11,7 +11,7 @@
 
 // Modules build produces a different error ("Could not build module 'std'").
 // UNSUPPORTED: clang-modules-build
-// UNSUPPORTED: c++03
+// UNSUPPORTED: c++03, libcpp-has-no-experimental-hardening-observe-semantic
 // REQUIRES: verify-support
 
 // Note that GCC doesn't support `-Wno-macro-redefined`.

libcxx/test/libcxx/assertions/semantics/override_with_enforce_semantic.pass.cpp

@@ -12,7 +12,7 @@
 // `check_assertion.h` is only available starting from C++11 and requires Unix headers and regex support.
 // REQUIRES: has-unix-headers
 // UNSUPPORTED: c++03, no-localization
-// UNSUPPORTED: libcpp-hardening-mode=none
+// UNSUPPORTED: libcpp-hardening-mode=none, libcpp-has-no-experimental-hardening-observe-semantic
 // The ability to set a custom abort message is required to compare the assertion message.
 // XFAIL: availability-verbose_abort-missing
 // ADDITIONAL_COMPILE_FLAGS: -U_LIBCPP_ASSERTION_SEMANTIC -D_LIBCPP_ASSERTION_SEMANTIC=_LIBCPP_ASSERTION_SEMANTIC_ENFORCE

libcxx/test/libcxx/assertions/semantics/override_with_ignore_semantic.pass.cpp

@@ -12,6 +12,7 @@
 // `check_assertion.h` is only available starting from C++11 and requires Unix headers and regex support.
 // REQUIRES: has-unix-headers
 // UNSUPPORTED: c++03, no-localization
+// UNSUPPORTED: libcpp-has-no-experimental-hardening-observe-semantic
 // ADDITIONAL_COMPILE_FLAGS: -U_LIBCPP_ASSERTION_SEMANTIC -D_LIBCPP_ASSERTION_SEMANTIC=_LIBCPP_ASSERTION_SEMANTIC_IGNORE
 
 #include <cassert>

libcxx/test/libcxx/assertions/semantics/override_with_observe_semantic.pass.cpp

@@ -11,7 +11,7 @@
 // `check_assertion.h` is only available starting from C++11 and requires Unix headers and regex support.
 // REQUIRES: has-unix-headers
 // UNSUPPORTED: c++03, no-localization
-// UNSUPPORTED: libcpp-hardening-mode=none
+// UNSUPPORTED: libcpp-hardening-mode=none, libcpp-has-no-experimental-hardening-observe-semantic
 // ADDITIONAL_COMPILE_FLAGS: -U_LIBCPP_ASSERTION_SEMANTIC -D_LIBCPP_ASSERTION_SEMANTIC=_LIBCPP_ASSERTION_SEMANTIC_OBSERVE
 
 #include <cassert>

libcxx/test/libcxx/assertions/semantics/override_with_quick_enforce_semantic.pass.cpp

@@ -12,7 +12,7 @@
 // `check_assertion.h` is only available starting from C++11 and requires Unix headers and regex support.
 // REQUIRES: has-unix-headers
 // UNSUPPORTED: c++03, no-localization
-// UNSUPPORTED: libcpp-hardening-mode=none
+// UNSUPPORTED: libcpp-hardening-mode=none, libcpp-has-no-experimental-hardening-observe-semantic
 // ADDITIONAL_COMPILE_FLAGS: -U_LIBCPP_ASSERTION_SEMANTIC -D_LIBCPP_ASSERTION_SEMANTIC=_LIBCPP_ASSERTION_SEMANTIC_QUICK_ENFORCE
 
 #include <cassert>
@@ -26,4 +26,3 @@ int main(int, char**) {
 
   return 0;
 }
-