================ @@ -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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
