Lines Matching refs:CapE
89 void push_back_nodup(const CapabilityExpr &CapE) { in push_back_nodup() argument
92 return CapE.equals(CapE2); in push_back_nodup()
95 push_back(CapE); in push_back_nodup()
213 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock() argument
219 if (FM[FactIDs[i]].matches(CapE)) { in removeLock()
225 if (FM[FactIDs[n-1]].matches(CapE)) { in removeLock()
232 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { in findLockIter() argument
234 return FM[ID].matches(CapE); in findLockIter()
238 const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const { in findLock()
240 return FM[ID].matches(CapE); in findLock()
246 const CapabilityExpr &CapE) const { in findLockUniv()
248 return FM[ID].matchesUniv(CapE); in findLockUniv()
254 const CapabilityExpr &CapE) const { in findPartialMatch()
256 return FM[ID].partiallyMatches(CapE); in findPartialMatch()
1028 bool inCurrentScope(const CapabilityExpr &CapE);
1032 void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1271 bool ThreadSafetyAnalyzer::inCurrentScope(const CapabilityExpr &CapE) { in inCurrentScope() argument
1274 if (const auto *P = dyn_cast_or_null<til::Project>(CapE.sexpr())) { in inCurrentScope()