[clang] Thread Safety Analysis: Support passing scoped locks between functions with appropriate annotations (PR #110523)

Aaron Puchert via cfe-commits cfe-commits at lists.llvm.org
Mon Sep 30 15:47:30 PDT 2024


================
@@ -305,6 +337,16 @@ deadlock can occur if the function acquires the mutex a second time.
     mu.Unlock();
   }
 
+  void exclude(MutexLocker& scope LOCKS_EXCLUDED(mu)){
----------------
aaronpuchert wrote:

```suggestion
  void exclude(MutexLocker& scope LOCKS_EXCLUDED(mu)) {
```

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


More information about the cfe-commits mailing list