]> granicus.if.org Git - clang/commit
[analyzer] Lock checker: Allow pthread_mutex_init to reinitialize a destroyed lock.
authorJordan Rose <jordan_rose@apple.com>
Tue, 1 Apr 2014 03:40:53 +0000 (03:40 +0000)
committerJordan Rose <jordan_rose@apple.com>
Tue, 1 Apr 2014 03:40:53 +0000 (03:40 +0000)
commitb94cf90d8f42c65d1175487dec3885395d6ce2ca
tree44ef65fa4a6ab0088c1444b1f69039ec17301560
parent5ba640a6b2ce11bf1b301315bd49bc0f5f121d9a
[analyzer] Lock checker: Allow pthread_mutex_init to reinitialize a destroyed lock.

Patch by Daniel Fahlgren!

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@205276 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp
test/Analysis/pthreadlock.c