120   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
123   virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,
180   bool isEmpty(FactManager &FactMan) const {  in isEmpty()
182       if (!FactMan[FID].negative())  in isEmpty()
823   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,  in handleRemovalFromIntersection()  argument
832   void handleUnlock(FactSet &FSet, FactManager &FactMan,  in handleUnlock()  argument
836     FSet.removeLock(FactMan, Cp);  in handleUnlock()
838       FSet.addLock(FactMan, llvm::make_unique<LockableFactEntry>(  in handleUnlock()
859   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,  in handleRemovalFromIntersection()  argument
863       if (FSet.findLock(FactMan, CapabilityExpr(UnderlyingMutex, false))) {  in handleRemovalFromIntersection()
872   void handleUnlock(FactSet &FSet, FactManager &FactMan,  in handleUnlock()  argument
885         if (FSet.findLock(FactMan, UnderCp)) {  in handleUnlock()
886           FSet.removeLock(FactMan, UnderCp);  in handleUnlock()
887           FSet.addLock(FactMan, std::move(UnderEntry));  in handleUnlock()
892         if (!FSet.findLock(FactMan, UnderCp)) {  in handleUnlock()
896         FSet.removeLock(FactMan, UnderCp);  in handleUnlock()
897         FSet.addLock(FactMan, std::move(UnderEntry));  in handleUnlock()
901       FSet.removeLock(FactMan, Cp);  in handleUnlock()
917   FactManager               FactMan;  member in __anond54a86130811::ThreadSafetyAnalyzer
1062       if (FSet.containsMutexDecl(Analyzer.FactMan, Vdb)) {  in checkBeforeAfter()
1192     FactEntry *Nen = FSet.findLock(FactMan, NegC);  in addLock()
1194       FSet.removeLock(FactMan, NegC);  in addLock()
1211   if (FSet.findLock(FactMan, *Entry)) {  in addLock()
1215     FSet.addLock(FactMan, std::move(Entry));  in addLock()
1229   const FactEntry *LDat = FSet.findLock(FactMan, Cp);  in removeLock()
1242   LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler,  in removeLock()
1517     FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp);  in warnIfMutexNotHeld()
1530     LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1538   FactEntry* LDat = FSet.findLockUniv(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1542     LDat = FSet.findPartialMatch(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1574   FactEntry* LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexHeld()
1628   if (D->hasAttr<GuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan)) {  in checkAccess()
1668   if (D->hasAttr<PtGuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan))  in checkPtAccess()
2029     const FactEntry *LDat2 = &FactMan[Fact];  in intersectAndWarn()
2030     FactSet::iterator Iter1  = FSet1.findLockIter(FactMan, *LDat2);  in intersectAndWarn()
2031     if (Iter1 != FSet1.end()) LDat1 = &FactMan[*Iter1];  in intersectAndWarn()
2047       LDat2->handleRemovalFromIntersection(FSet2, FactMan, JoinLoc, LEK1,  in intersectAndWarn()
2054     const FactEntry *LDat1 = &FactMan[Fact];  in intersectAndWarn()
2055     const FactEntry *LDat2 = FSet2.findLock(FactMan, *LDat1);  in intersectAndWarn()
2058       LDat1->handleRemovalFromIntersection(FSet1Orig, FactMan, JoinLoc, LEK2,  in intersectAndWarn()
2061         FSet1.removeLock(FactMan, *LDat1);  in intersectAndWarn()
2361     ExpectedExitSet.addLock(FactMan, llvm::make_unique<LockableFactEntry>(  in runAnalysis()
2364     ExpectedExitSet.addLock(FactMan, llvm::make_unique<LockableFactEntry>(  in runAnalysis()
2367     ExpectedExitSet.removeLock(FactMan, Lock);  in runAnalysis()