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

[Konstantin Varlamov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3eee9fc2c4d1973904b1a26fa96a8c7473ef6a5e
      https://github.com/llvm/llvm-project/commit/3eee9fc2c4d1973904b1a26fa96a8c7473ef6a5e
  Author: Konstantin Varlamov <varconsteq at gmail.com>
  Date:   2025-07-29 (Tue, 29 Jul 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).



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