[PATCH] D65184: [Sema] Fix negative capability's LockKind representation.

[Ziang Wan via Phabricator via llvm-commits]

ziangwan created this revision.
ziangwan added reviewers: kongyi, pirama, nickdesaulniers, Nathan-Huckleberry, delesley, ed.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

- Currently, any unlock attributes like UNLOCK_FUNCTION and RELEASE_SHARED will generate exclusive negative capabilities. The fix makes these attributes generate correct LockKind representation. E.g. RELEASE_SHARED() will now generate a shared negative capability.

- Add support for generic type at merge point.


Repository:
  rL LLVM

https://reviews.llvm.org/D65184

Files:
  clang/lib/Analysis/ThreadSafety.cpp
  clang/test/SemaCXX/thread-safety-annotations.h
  clang/test/SemaCXX/warn-thread-safety-negative.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D65184.211402.patch
Type: text/x-patch
Size: 9935 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190724/45795194/attachment.bin>