Lines Matching defs:Lock
177 SVal Lock, CheckerKind checkkind) const;
179 // Lock, Try-lock.
208 SVal Lock, LockingSemantics semantics,
233 new BugType{CheckNames[checkKind], "Double locking", "Lock checker"});
235 new BugType{CheckNames[checkKind], "Double unlocking", "Lock checker"});
237 CheckNames[checkKind], "Use destroyed lock", "Lock checker"});
239 CheckNames[checkKind], "Init invalid lock", "Lock checker"});
241 "Lock order reversal", "Lock checker"});
540 SVal Lock,
546 const MemRegion *LockR = Lock.getAsRegion();
608 unsigned ArgNo, SVal Lock,
613 const MemRegion *LockR = Lock.getAsRegion();