[PATCH] D37809: [analyzer] PthreadLock: Refactor, use PostCall API. NFC.

[Artem Dergachev via Phabricator via cfe-commits]

NoQ created this revision.

Use `CallEvent` and `CallDescription` everywhere. Unhardcode argument numbers in AcquireLock() etc. Have a list of supported functions in one place. Other misc cleanup. No functional change intended anywhere.


https://reviews.llvm.org/D37809

Files:
  lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp
  test/Analysis/Inputs/system-header-simulator-for-pthread-lock.h

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D37809.115032.patch
Type: text/x-patch
Size: 18793 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20170913/fa4a954f/attachment-0001.bin>