Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/
DPthreadLockChecker.cpp46 namespace { class LockSet {}; } class
49 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()
/external/valgrind/tsan/
Dthread_sanitizer.cc846 class LockSet { class
1020 map_ = new LockSet::Map; in InitClassMembers()
1021 vec_ = new LockSet::Vec; in InitClassMembers()
1030 LockSet() { } in LockSet() function in LockSet
1092 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 …]