Lines Matching refs:findLock
238 const FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const { in findLock() function in __anonef2eab400111::FactSet
930 const auto *Entry = FSet.findLock( in handleRemovalFromIntersection()
985 if (!FSet.findLock(FactMan, Cp)) { in lock()
997 if (FSet.findLock(FactMan, Cp)) { in unlock()
1293 const FactEntry *Nen = FSet.findLock(FactMan, NegC); in addLock()
1312 if (const FactEntry *Cp = FSet.findLock(FactMan, *Entry)) { in addLock()
1329 const FactEntry *LDat = FSet.findLock(FactMan, Cp); in removeLock()
1629 const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp); in warnIfMutexNotHeld()
1642 LDat = FSet.findLock(Analyzer->FactMan, Cp); in warnIfMutexNotHeld()
1686 const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, Cp); in warnIfMutexHeld()
2222 const FactEntry *LDat2 = FSet2.findLock(FactMan, *LDat1); in intersectAndWarn()