[cfe-commits] Patch: Initial improvements to PthreadLockChecker

[Rui Paulo]

Hi,

The following attached patch adds two locking checks to the static analyzer:
1) finds double locking problems
2) finds double unlocking problems

I also added a few lines of code so that this checker can be used with pthread rw locks and also with xnu locks.

Regards,
--
Rui Paulo
-------------- next part --------------
A non-text attachment was scrubbed...
Name: LockChecker_FirstChecks.diff
Type: application/octet-stream
Size: 3450 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20110506/a0a8f4b6/attachment.obj>