Searched refs:findLock (Results 1 – 1 of 1) sorted by relevance
242 const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const { in findLock() function in __anon68dfda3c0111::FactSet926 const auto *Entry = FSet.findLock( in handleRemovalFromIntersection()981 if (const FactEntry *Fact = FSet.findLock(FactMan, Cp)) { in lock()994 if (FSet.findLock(FactMan, Cp)) { in unlock()1000 if (const FactEntry *Neg = FSet.findLock(FactMan, !Cp)) in unlock()1305 const FactEntry *Nen = FSet.findLock(FactMan, NegC); in addLock()1324 if (const FactEntry *Cp = FSet.findLock(FactMan, *Entry)) { in addLock()1341 const FactEntry *LDat = FSet.findLock(FactMan, Cp); in removeLock()1344 if (const FactEntry *Neg = FSet.findLock(FactMan, !Cp)) in removeLock()1644 const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp); in warnIfMutexNotHeld()[all …]