[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