[all-commits] [llvm/llvm-project] 6943f1: [libc++][hardening] Introduce assertion semantics....

[Konstantin Varlamov via All-commits]

  Branch: refs/heads/release/21.x
  Home:   https://github.com/llvm/llvm-project
  Commit: 6943f1bf77976cc6ddfaf7017bbd08058cb988c0
      https://github.com/llvm/llvm-project/commit/6943f1bf77976cc6ddfaf7017bbd08058cb988c0
  Author: Konstantin Varlamov <varconsteq at gmail.com>
  Date:   2025-08-01 (Fri, 01 Aug 2025)

  Changed paths:
    M .github/workflows/libcxx-build-and-test.yaml
    A libcxx/cmake/caches/Generic-hardening-mode-extensive-observe-semantic.cmake
    M libcxx/docs/Hardening.rst
    M libcxx/docs/ReleaseNotes/21.rst
    M libcxx/docs/UserDocumentation.rst
    M libcxx/include/__config
    M libcxx/include/__cxx03/__config
    M libcxx/test/libcxx/thread/thread.barrier/assert.arrive.pass.cpp
    M libcxx/test/libcxx/thread/thread.latch/assert.arrive_and_wait.pass.cpp
    M libcxx/test/support/check_assertion.h
    M libcxx/test/support/test.support/test_check_assertion.pass.cpp
    M libcxx/utils/ci/run-buildbot
    M libcxx/utils/libcxx/test/params.py
    M libcxx/vendor/llvm/default_assertion_handler.in
    M libcxxabi/src/demangle/DemangleConfig.h

  Log Message:
  -----------
  [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).

(cherry picked from commit 3eee9fc2c4d1973904b1a26fa96a8c7473ef6a5e)



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications