Home

[analyzer] Add double-unlock detection to PthreadLockChecker.

Press ? to show keyboard shortcuts.
Committed
jroseMar 31 2014, 8:40 PM
Parents
rL205273: Add failing testcase for DR305. Looks like we didn't implement the resolution
Branches
Unknown
Tags
Unknown
Subscribers
None
Projects
None
Description

[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!

rL205274

cfe/trunk/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp

Loading...

cfe/trunk/test/Analysis/pthreadlock.c

Loading...

Add Comment