[PATCH] D32449: Modifying PthreadLockChecker.cpp to reduce false positives.

[Malhar Thakkar via Phabricator via cfe-commits]

malhar1995 updated this revision to Diff 99750.
malhar1995 added a comment.

Addressed previous comments (removed Schrodinger from lock state names, changed method name setAppropriateLockState to resolvePossiblyDestroyedMutex, added an assert in resolvePossiblyDestroyedMutex, formatted the code using clang-format and added some test-cases to test/Analysis/pthreadlock.c)


Repository:
  rL LLVM

https://reviews.llvm.org/D32449

Files:
  .gitignore
  lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp
  test/Analysis/pthreadlock.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D32449.99750.patch
Type: text/x-patch
Size: 17846 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20170522/58189bc6/attachment-0001.bin>