[PATCH] D52578: Thread safety analysis: Allow scoped releasing of capabilities

[Aaron Puchert via Phabricator via cfe-commits]

aaronpuchert planned changes to this revision.
aaronpuchert added a comment.

I think I'll try to simplify this and address @delesley's comments before we commit this. I'll admit that the semantics are somewhat counter-intuitive, but as I explained I think it's more consistent this way. Because the scoped unlock releases a lock on construction, the operation on the underlying lock mirrors the operation on the scoped capability: releasing the scoped capability (on destruction, for example) acquires the lock again.


Repository:
  rC Clang

https://reviews.llvm.org/D52578