Lines Matching refs:findLock
252 const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const { in findLock() function in __anon06d2d5b10111::FactSet
991 const auto *Entry = FSet.findLock(FactMan, UnderlyingMutex.Cap); in handleRemovalFromIntersection()
1074 if (const FactEntry *Neg = FSet.findLock(FactMan, !Cp)) in unlock()
1329 const FactEntry *Nen = FSet.findLock(FactMan, NegC); in addLock()
1347 if (const FactEntry *Cp = FSet.findLock(FactMan, *Entry)) { in addLock()
1363 const FactEntry *LDat = FSet.findLock(FactMan, Cp); in removeLock()
1366 if (const FactEntry *Neg = FSet.findLock(FactMan, !Cp)) in removeLock()
1645 const FactEntry *LDat = FSet.findLock(FactMan, !Cp); in warnIfMutexNotHeld()
1658 LDat = FSet.findLock(FactMan, Cp); in warnIfMutexNotHeld()
1702 const FactEntry *LDat = FSet.findLock(FactMan, Cp); in warnIfMutexHeld()
2025 const FactEntry *Fact = FSet.findLock(Analyzer->FactMan, Cp); in handleCall()
2396 const FactEntry *ExitFact = ExitSet.findLock(FactMan, *EntryFact); in intersectAndWarn()