[clang] Support `guarded_by` attribute and related attributes inside C structs and support late parsing them (PR #95455)

Aaron Puchert via cfe-commits cfe-commits at lists.llvm.org
Sun Jun 30 17:54:40 PDT 2024


================
@@ -764,12 +764,6 @@ doesn't know that munl.mu == mutex.  The SCOPED_CAPABILITY attribute handles
 aliasing for MutexLocker, but does so only for that particular pattern.
 
 
-ACQUIRED_BEFORE(...) and ACQUIRED_AFTER(...) are currently unimplemented.
--------------------------------------------------------------------------
-
-To be fixed in a future update.
-
-
----------------
aaronpuchert wrote:

They are implemented, but still under `-Wthread-safety-beta` as far as I know, because there are some weaknesses. If you want to touch this here, I would suggest to write instead that support is still experimental.

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


More information about the cfe-commits mailing list