[analyzer] Add double-unlock detection to PthreadLockChecker.

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!

Details

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