Lines Matching refs:CapE
82 void push_back_nodup(const CapabilityExpr &CapE) { in push_back_nodup() argument
84 return CapE.equals(CapE2); in push_back_nodup()
86 push_back(CapE); in push_back_nodup()
214 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock() argument
220 if (FM[FactIDs[i]].matches(CapE)) { in removeLock()
226 if (FM[FactIDs[n-1]].matches(CapE)) { in removeLock()
242 std::optional<FactID> replaceLock(FactManager &FM, const CapabilityExpr &CapE, in replaceLock() argument
244 return replaceLock(FM, findLockIter(FM, CapE), std::move(Entry)); in replaceLock()
247 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { in findLockIter() argument
249 [&](FactID ID) { return FM[ID].matches(CapE); }); in findLockIter()
252 const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const { in findLock()
254 llvm::find_if(*this, [&](FactID ID) { return FM[ID].matches(CapE); }); in findLock()
259 const CapabilityExpr &CapE) const { in findLockUniv()
261 *this, [&](FactID ID) -> bool { return FM[ID].matchesUniv(CapE); }); in findLockUniv()
266 const CapabilityExpr &CapE) const { in findPartialMatch()
268 return FM[ID].partiallyMatches(CapE); in findPartialMatch()
1104 bool inCurrentScope(const CapabilityExpr &CapE);
1108 void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1291 bool ThreadSafetyAnalyzer::inCurrentScope(const CapabilityExpr &CapE) { in inCurrentScope() argument
1292 const threadSafety::til::SExpr *SExp = CapE.sexpr(); in inCurrentScope()