Searched refs:InitLock (Results 1 – 1 of 1) sorted by relevance
71 void InitLock(CheckerContext &C, const CallExpr *CE, SVal Lock) const;121 InitLock(C, CE, state->getSVal(CE->getArg(0), LCtx)); in REGISTER_LIST_WITH_PROGRAMSTATE()283 void PthreadLockChecker::InitLock(CheckerContext &C, const CallExpr *CE, in InitLock() function in PthreadLockChecker