[PATCH] D102026: Thread safety analysis: Allow exlusive/shared joins for managed and asserted capabilities

[Aaron Ballman via Phabricator via cfe-commits]

aaron.ballman added a comment.

In general, I think this makes sense, but I'd like to hear from @delesley as well.



================
Comment at: clang/lib/Analysis/ThreadSafety.cpp:2198
+    // For managed capabilities, the destructor should unlock in the right mode
+    // anyway. For asserted capabilities no unlocking is needed.
+    if ((A.managed() || A.asserted()) && (B.managed() || B.asserted())) {
----------------



Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D102026/new/

https://reviews.llvm.org/D102026