Searched refs:ReleaseLock (Results 1 – 1 of 1) sorted by relevance
90 void ReleaseLock(CheckerContext &C, const CallExpr *CE, SVal lock) const;140 ReleaseLock(C, CE, C.getSVal(CE->getArg(0))); in REGISTER_LIST_WITH_PROGRAMSTATE()289 void PthreadLockChecker::ReleaseLock(CheckerContext &C, const CallExpr *CE, in ReleaseLock() function in PthreadLockChecker