[PATCH] [analyzer][Bugfix] Do not invalidate regions passed to pthread* functions

[Aleksei Sidorin]

Hi jordan_rose, zaks.anna, krememek,

Regions passed to pthread* functions are invalidated because the call is evaluated conservatively. This leads to false positives (tests included). This patch replaces PostStmt<CallExpr> with evalCall for such functions.

http://reviews.llvm.org/D5247

Files:
  lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp
  test/Analysis/pthreadlock.c
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D5247.13408.patch
Type: text/x-patch
Size: 5670 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20140908/913080c1/attachment.bin>