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

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Sep 13 07:04:17 PDT 2017


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>


More information about the cfe-commits mailing list