Lines Matching refs:findLock
221 FactEntry *findLock(FactManager &FM, const CapabilityExpr &CapE) const { in findLock() function in __anond54a86130111::FactSet
863 if (FSet.findLock(FactMan, CapabilityExpr(UnderlyingMutex, false))) { in handleRemovalFromIntersection()
885 if (FSet.findLock(FactMan, UnderCp)) { in handleUnlock()
892 if (!FSet.findLock(FactMan, UnderCp)) { in handleUnlock()
1192 FactEntry *Nen = FSet.findLock(FactMan, NegC); in addLock()
1211 if (FSet.findLock(FactMan, *Entry)) { in addLock()
1229 const FactEntry *LDat = FSet.findLock(FactMan, Cp); in removeLock()
1517 FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp); in warnIfMutexNotHeld()
1530 LDat = FSet.findLock(Analyzer->FactMan, Cp); in warnIfMutexNotHeld()
1574 FactEntry* LDat = FSet.findLock(Analyzer->FactMan, Cp); in warnIfMutexHeld()
2055 const FactEntry *LDat2 = FSet2.findLock(FactMan, *LDat1); in intersectAndWarn()