Searched refs:InitLock (Results 1 – 1 of 1) sorted by relevance
93 void InitLock(CheckerContext &C, const CallExpr *CE, SVal Lock) const;146 InitLock(C, CE, C.getSVal(CE->getArg(0))); in REGISTER_LIST_WITH_PROGRAMSTATE()408 void PthreadLockChecker::InitLock(CheckerContext &C, const CallExpr *CE, in InitLock() function in PthreadLockChecker