================ @@ -1223,20 +1221,99 @@ New features - Implemented `P2719R5 Type-aware allocation and deallocation functions <https://wg21.link/P2719>`_ as an extension in all C++ language modes. +- Added support for the ``[[clang::assume(cond)]]`` attribute, treating it as + ``__builtin_assume(cond)`` for better static analysis. (#GH129234) + +- Introduced per-entry-point statistics to provide more detailed analysis metrics. + Documentation: :doc:`analyzer/developer-docs/Statistics` (#GH131175) + +- Added time-trace scopes for high-level analyzer steps to improve performance + debugging. Documentation: :doc:`analyzer/developer-docs/PerformanceInvestigation` + (#GH125508, #GH125884) + +- Enhanced the ``check::BlockEntrance`` checker callback to provide more granular + control over block-level analysis. + `Documentation (check::BlockEntrance) + <https://clang.llvm.org/doxygen/CheckerDocumentation_8cpp_source.html>`_ + (#GH140924) + +- Added a new experimental checker ``alpha.core.FixedAddressDereference`` to detect + dereferences of fixed addresses, which can be useful for finding hard-coded memory + accesses. (#GH127191) ---------------- steakhal wrote:
Great observation. Combined in a1a1d109b94ec7c9cc0a1a5272d973f4c407fa37 https://github.com/llvm/llvm-project/pull/154600 _______________________________________________ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
