Lines Matching refs:Lock
70 void DestroyLock(CheckerContext &C, const CallExpr *CE, SVal Lock) const;
71 void InitLock(CheckerContext &C, const CallExpr *CE, SVal Lock) const;
144 "Lock checker"));
207 "Lock checker"));
231 BT_lor.reset(new BugType(this, "Lock order reversal", "Lock checker"));
253 SVal Lock) const {
255 const MemRegion *LockR = Lock.getAsRegion();
278 "Lock checker"));
288 SVal Lock) const {
290 const MemRegion *LockR = Lock.getAsRegion();
313 "Lock checker"));
326 "Lock checker"));