Lines Matching refs:FM
211 FactID addLock(FactManager &FM, std::unique_ptr<FactEntry> Entry) { in addLock() argument
212 FactID F = FM.newFact(std::move(Entry)); in addLock()
217 bool removeLock(FactManager& FM, const CapabilityExpr &CapE) { in removeLock() argument
223 if (FM[FactIDs[i]].matches(CapE)) { in removeLock()
229 if (FM[FactIDs[n-1]].matches(CapE)) { in removeLock()
236 iterator findLockIter(FactManager &FM, const CapabilityExpr &CapE) { in findLockIter() argument
238 return FM[ID].matches(CapE); in findLockIter()
242 const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const { in findLock() argument
244 return FM[ID].matches(CapE); in findLock()
246 return I != end() ? &FM[*I] : nullptr; in findLock()
249 const FactEntry *findLockUniv(FactManager &FM, in findLockUniv() argument
252 return FM[ID].matchesUniv(CapE); in findLockUniv()
254 return I != end() ? &FM[*I] : nullptr; in findLockUniv()
257 const FactEntry *findPartialMatch(FactManager &FM, in findPartialMatch() argument
260 return FM[ID].partiallyMatches(CapE); in findPartialMatch()
262 return I != end() ? &FM[*I] : nullptr; in findPartialMatch()
265 bool containsMutexDecl(FactManager &FM, const ValueDecl* Vd) const { in containsMutexDecl() argument
267 return FM[ID].valueDecl() == Vd; in containsMutexDecl()