Lines Matching defs: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.
88 SVal lock, bool isTryLock,
91 const MemRegion *lockR = lock.getAsRegion();
110 "This lock has already "
119 // Bifurcate the state, and allow a mode where the lock acquisition fails.
145 // Record that the lock was acquired.
151 SVal lock) const {
153 const MemRegion *lockR = lock.getAsRegion();
174 "recently acquired lock. "
175 "Possible lock order "
182 // Record that the lock was released.