| commit | a7cd4dde79d88d3c7540c2f61dffe811c6e95edb | [log] [tgz] |
|---|---|---|
| author | Konstantin Varlamov <varconsteq@gmail.com> | Tue Jul 29 00:19:15 2025 -0700 |
| committer | Copybara-Service <copybara-worker@google.com> | Tue Jul 29 00:20:16 2025 -0700 |
| tree | f5e7f05fe30a6a7d6fd63ec9c171d6826a88dd8e | |
| parent | ca3e3ac3c5916b3c91f739f494177afa8d4a1956 [diff] |
[libc++][hardening] Introduce assertion semantics. (#149459) Assertion semantics closely mimic C++26 Contracts evaluation semantics. This brings our implementation closer in line with C++26 Library Hardening (one particular benefit is that using the `observe` semantic makes adopting hardening easier for projects). GitOrigin-RevId: 3eee9fc2c4d1973904b1a26fa96a8c7473ef6a5e