================ @@ -1223,28 +1221,106 @@ 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 ``core.FixedAddressDereference`` to detect + dereferences of fixed addresses, which can be useful for finding hard-coded memory + accesses. (#GH127191, #GH132404) ---------------- balazske wrote:
This checker should not be called "experimental" if it is not an alpha checker. 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
