Lines Matching refs:CheckerContext
64 void checkPostStmt(const CallExpr *CE, CheckerContext &C) const;
66 void AcquireLock(CheckerContext &C, const CallExpr *CE, SVal lock,
69 void ReleaseLock(CheckerContext &C, const CallExpr *CE, SVal lock) const;
70 void DestroyLock(CheckerContext &C, const CallExpr *CE, SVal Lock) const;
71 void InitLock(CheckerContext &C, const CallExpr *CE, SVal Lock) const;
72 void reportUseDestroyedBug(CheckerContext &C, const CallExpr *CE) const;
82 CheckerContext &C) const { in REGISTER_LIST_WITH_PROGRAMSTATE()
124 void PthreadLockChecker::AcquireLock(CheckerContext &C, const CallExpr *CE, in AcquireLock()
193 void PthreadLockChecker::ReleaseLock(CheckerContext &C, const CallExpr *CE, in ReleaseLock()
248 void PthreadLockChecker::DestroyLock(CheckerContext &C, const CallExpr *CE, in DestroyLock()
283 void PthreadLockChecker::InitLock(CheckerContext &C, const CallExpr *CE, in InitLock()
318 void PthreadLockChecker::reportUseDestroyedBug(CheckerContext &C, in reportUseDestroyedBug()