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
LockChecker_FirstChecks.diff
Description: Binary data
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
