]> granicus.if.org Git - clang/commit
[analyzer] Add double-unlock detection to PthreadLockChecker.
authorJordan Rose <jordan_rose@apple.com>
Tue, 1 Apr 2014 03:40:38 +0000 (03:40 +0000)
committerJordan Rose <jordan_rose@apple.com>
Tue, 1 Apr 2014 03:40:38 +0000 (03:40 +0000)
commit7677cf0aec72862d7ce8629ab1b059ead0757830
tree7dc5ffa04ec7cf3261b09ac1578856f6901d8200
parentc8a5f9638384501ba3534303784338320aad36e6
[analyzer] Add double-unlock detection to PthreadLockChecker.

We've decided to punt on supporting recursive locks for now; the common case
is non-recursive.

Patch by Daniel Fahlgren!

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