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

Pierre d'Herbemont via cfe-commits cfe-commits at lists.llvm.org
Mon Jul 1 07:19:05 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.
-
-
----------------
pdherbemont wrote:

Thanks! I documented those are "experimental".

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


More information about the cfe-commits mailing list