Searched refs:LockSet (Results 1 – 2 of 2) sorted by relevance
46 namespace { class LockSet {}; } class49 template <> struct GRStateTrait<LockSet> :114 llvm::ImmutableList<const MemRegion*> LS = state->get<LockSet>(); in AcquireLock()116 if (state->contains<LockSet>(lockR)) { in AcquireLock()160 lockSucc = lockSucc->add<LockSet>(lockR); in AcquireLock()172 llvm::ImmutableList<const MemRegion*> LS = state->get<LockSet>(); in ReleaseLock()197 state = state->set<LockSet>(LS.getTail()); in ReleaseLock()
846 class LockSet { class1020 map_ = new LockSet::Map; in InitClassMembers()1021 vec_ = new LockSet::Vec; in InitClassMembers()1030 LockSet() { } in LockSet() function in LockSet1092 LockSet::Map *LockSet::map_;1093 LockSet::Vec *LockSet::vec_;1094 const char *LockSet::kLockSetVecAllocCC = "kLockSetVecAllocCC";1095 LockSet::LSCache *LockSet::ls_add_cache_;1096 LockSet::LSCache *LockSet::ls_rem_cache_;1097 LockSet::LSCache *LockSet::ls_int_cache_;[all …]