Home
last modified time | relevance | path

Searched refs:LockSet (Results 1 – 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DPthreadLockChecker.cpp77 REGISTER_LIST_WITH_PROGRAMSTATE(LockSet, const MemRegion *) in REGISTER_LIST_WITH_PROGRAMSTATE() argument
188 lockSucc = lockSucc->add<LockSet>(lockR); in AcquireLock()
221 LockSetTy LS = state->get<LockSet>(); in ReleaseLock()
241 state = state->set<LockSet>(LS.getTail()); in ReleaseLock()