| commit | 8eeec53078a5e67346123d2be6337ab0592e6435 | [log] [tgz] |
|---|---|---|
| author | Konstantin Varlamov <varconsteq@gmail.com> | Tue Jul 15 09:14:30 2025 |
| committer | Copybara-Service <copybara-worker@google.com> | Tue Jul 15 09:16:13 2025 |
| tree | fb9d3c5fef99b1e3f0192746ce2cefaa25d204a7 | |
| parent | 4a1b4864252ea043cb995be635c52a0888131308 [diff] |
[libc++][hardening] Introduce assertion semantics (#148268) 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). NOKEYCHECK=True GitOrigin-RevId: 7345508c6febc57eaac985ef2fb14beabdc4d461