[PATCH] [analyzer][Bugfix] Do not invalidate regions passed to pthread* functions
Jordan Rose
jordan_rose at apple.com
Tue Sep 9 12:05:52 PDT 2014
I tend to agree. eval::Call has the downside that only one checker can provide an implementation (since it controls the return value). But I'm also surprised that the example is failing—because the pthread_* methods are declared in system headers, only globals declared in system headers should be invalidated.
http://reviews.llvm.org/D5247
More information about the cfe-commits
mailing list