Searched refs:ReleaseLock (Results 1 – 2 of 2) sorted by relevance
41 void ReleaseLock(CheckerContext &C, const CallExpr *CE, SVal lock) const;95 ReleaseLock(C, CE, state->getSVal(CE->getArg(0))); in checkPostStmt()164 void PthreadLockChecker::ReleaseLock(CheckerContext &C, const CallExpr *CE, in ReleaseLock() function in PthreadLockChecker
632 ReleaseLock(&rep_->lock); in Unlock()