[llvm-branch-commits] [clang] [analyzer][docs] CSA release notes for clang-21 (PR #154600)

[Arseniy Zaostrovnykh via llvm-branch-commits]

================
@@ -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)
----------------
necto wrote:

Later in "Moved Checkers" it is mentioned to be moved to stable:
> - Moved checker ``alpha.core.FixedAddressDereference`` out of the ``alpha`` package
  to ``core.FixedAddressDereference``. (#GH132404)
 
Should these two entries be combined?

https://github.com/llvm/llvm-project/pull/154600