[llvm-branch-commits] Thread Safety Analysis: Add guarded_by_any and pt_guarded_by_any (PR #185173)

[Aaron Puchert via llvm-branch-commits]

aaronpuchert wrote:

Looking at this together with #185172, I wonder why we're not directly applying these semantics to the existing attribute instead of adding a new one. I think your argument in the commit message makes completely sense: if all capabilities are required for exclusive access, then only one of them should be sufficient for shared access.

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