[clang] Thread Safety Analysis: Support reentrant capabilities (PR #137133)

Aaron Puchert via cfe-commits cfe-commits at lists.llvm.org
Thu Apr 24 17:12:52 PDT 2025


================
@@ -434,6 +434,16 @@ class can be used as a capability.  The string argument specifies the kind of
 capability in error messages, e.g. ``"mutex"``.  See the ``Container`` example
 given above, or the ``Mutex`` class in :ref:`mutexheader`.
 
+REENTRANT
----------------
aaronpuchert wrote:

I would suggest `REENTRANT_CAPABILITY` like the attribute because otherwise this could have a different meaning.

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


More information about the cfe-commits mailing list