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

Tue May 25 12:38:16 PDT 2021

aaronpuchert added a comment.

In D102026#2779983 <https://reviews.llvm.org/D102026#2779983>, @aaronpuchert wrote:

> So this change will allow shared/exclusive - asserted/unmanaged joins until my follow-up will disallow them again, though because of the asserted/unmanaged part and not the shared/exclusive part. If you're not happy about this gap in warning coverage, we can also postpone this change until we have the asserted/unmanaged joins disallowed.

Sorry, I got confused here. The change doesn't allow that. It's still disallowed as a shared/exclusive join, but I want to disallow it because it's an asserted/unmanaged join instead. So there is no gap in warning coverage.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D102026