Lines Matching refs:CapE
76 void push_back_nodup(const CapabilityExpr &CapE) { in push_back_nodup() argument
79 return CapE.equals(CapE2); in push_back_nodup()
82 push_back(CapE); in push_back_nodup()
196 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock() argument
202 if (FM[FactIDs[i]].matches(CapE)) { in removeLock()
208 if (FM[FactIDs[n-1]].matches(CapE)) { in removeLock()
215 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { in findLockIter() argument
217 return FM[ID].matches(CapE); in findLockIter()
221 FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const { in findLock()
223 return FM[ID].matches(CapE); in findLock()
228 FactEntry *findLockUniv(FactManager &FM, const CapabilityExpr &CapE) const { in findLockUniv()
230 return FM[ID].matchesUniv(CapE); in findLockUniv()
236 const CapabilityExpr &CapE) const { in findPartialMatch()
238 return FM[ID].partiallyMatches(CapE); in findPartialMatch()
926 bool inCurrentScope(const CapabilityExpr &CapE);
930 void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1169 inline bool ThreadSafetyAnalyzer::inCurrentScope(const CapabilityExpr &CapE) { in inCurrentScope() argument
1172 if (auto *P = dyn_cast_or_null<til::Project>(CapE.sexpr())) { in inCurrentScope()