Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | PthreadLockChecker doesn't need PreVisitCallExpr() yet. All the current ↵ | Ted Kremenek | 2009-11-12 | 1 | -20/+6 |
| | | | | | | logic should be done in PostVisitCallExpr() llvm-svn: 86959 | ||||
* | Add most of the boilerplate logic for a simple pthread_mutux_lock() -> ↵ | Ted Kremenek | 2009-11-12 | 1 | -0/+155 |
pthread_mutex_unlock() checker. We need to add a visitor method to Checker for handling dead symbols in order to detect locks that are not unlocked. llvm-svn: 86958 |