[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