[libcxx-commits] [libcxx] [libcxxabi] [libc++][hardening] Implement support for assertion semantics. (PR #148172)

Louis Dionne via libcxx-commits libcxx-commits at lists.llvm.org
Fri Jul 11 12:23:24 PDT 2025


================
@@ -147,6 +147,36 @@ _LIBCPP_HARDENING_MODE_EXTENSIVE, \
 _LIBCPP_HARDENING_MODE_DEBUG
 #  endif
 
+// Hardening assertion semantics mirror the evaluation semantics of P3100 Contracts:
----------------
ldionne wrote:

```suggestion
// Hardening assertion semantics mirror the evaluation semantics of C++26 Contracts:
```

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


More information about the libcxx-commits mailing list