Lines Matching full:lock
10 // This defines PthreadLockChecker, a simple lock -> unlock checker.
38 void AcquireLock(CheckerContext &C, const CallExpr *CE, SVal lock,
41 void ReleaseLock(CheckerContext &C, const CallExpr *CE, SVal lock) const;
45 // GDM Entry for tracking lock state.
99 SVal lock, bool isTryLock,
102 const MemRegion *lockR = lock.getAsRegion();
116 BT_doublelock.reset(new BugType("Double locking", "Lock checker"));
121 "This lock has already "
130 // Bifurcate the state, and allow a mode where the lock acquisition fails.
157 // Record that the lock was acquired.
163 SVal lock) const {
165 const MemRegion *lockR = lock.getAsRegion();
180 BT_lor.reset(new BugType("Lock order reversal", "Lock checker"));
186 "recently acquired lock. "
187 "Possible lock order "
194 // Record that the lock was released.
