Searched refs:LockSet (Results 1 – 1 of 1) sorted by relevance
284 REGISTER_LIST_WITH_PROGRAMSTATE(LockSet, const MemRegion *) in REGISTER_LIST_WITH_PROGRAMSTATE() argument364 LockSetTy LS = State->get<LockSet>(); in printState()493 lockSucc = lockSucc->add<LockSet>(lockR); in AcquireLockAux()532 LockSetTy LS = state->get<LockSet>(); in ReleaseLockAux()543 state = state->set<LockSet>(LS.getTail()); in ReleaseLockAux()