137   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
140   virtual void handleLock(FactSet &FSet, FactManager &FactMan,
143   virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,
197   bool isEmpty(FactManager &FactMan) const {  in isEmpty()
199       if (!FactMan[FID].negative())  in isEmpty()
865   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,  in handleRemovalFromIntersection()  argument
874   void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry,  in handleLock()  argument
880   void handleUnlock(FactSet &FSet, FactManager &FactMan,  in handleUnlock()  argument
884     FSet.removeLock(FactMan, Cp);  in handleUnlock()
886       FSet.addLock(FactMan, llvm::make_unique<LockableFactEntry>(  in handleUnlock()
926   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,  in handleRemovalFromIntersection()  argument
931           FactMan, CapabilityExpr(UnderlyingMutex.getPointer(), false));  in handleRemovalFromIntersection()
943   void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry,  in handleLock()  argument
950         lock(FSet, FactMan, UnderCp, entry.kind(), entry.loc(), &Handler,  in handleLock()
953         unlock(FSet, FactMan, UnderCp, entry.loc(), &Handler, DiagKind);  in handleLock()
957   void handleUnlock(FactSet &FSet, FactManager &FactMan,  in handleUnlock()  argument
969         unlock(FSet, FactMan, UnderCp, UnlockLoc, TSHandler, DiagKind);  in handleUnlock()
974         lock(FSet, FactMan, UnderCp, kind, UnlockLoc, TSHandler, DiagKind);  in handleUnlock()
978       FSet.removeLock(FactMan, Cp);  in handleUnlock()
982   void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in lock()  argument
985     if (!FSet.findLock(FactMan, Cp)) {  in lock()
986       FSet.removeLock(FactMan, !Cp);  in lock()
987       FSet.addLock(FactMan,  in lock()
994   void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in unlock()  argument
997     if (FSet.findLock(FactMan, Cp)) {  in unlock()
998       FSet.removeLock(FactMan, Cp);  in unlock()
999       FSet.addLock(FactMan, llvm::make_unique<LockableFactEntry>(  in unlock()
1019   FactManager FactMan;  member in __anonef2eab400a11::ThreadSafetyAnalyzer
1165       if (FSet.containsMutexDecl(Analyzer.FactMan, Vdb)) {  in checkBeforeAfter()
1293     const FactEntry *Nen = FSet.findLock(FactMan, NegC);  in addLock()
1295       FSet.removeLock(FactMan, NegC);  in addLock()
1312   if (const FactEntry *Cp = FSet.findLock(FactMan, *Entry)) {  in addLock()
1314       Cp->handleLock(FSet, FactMan, *Entry, Handler, DiagKind);  in addLock()
1316     FSet.addLock(FactMan, std::move(Entry));  in addLock()
1329   const FactEntry *LDat = FSet.findLock(FactMan, Cp);  in removeLock()
1342   LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler,  in removeLock()
1629     const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp);  in warnIfMutexNotHeld()
1642     LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1650   const FactEntry *LDat = FSet.findLockUniv(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1654     LDat = FSet.findPartialMatch(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1686   const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexHeld()
1743   if (D->hasAttr<GuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan)) {  in checkAccess()
1782   if (D->hasAttr<PtGuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan))  in checkPtAccess()
2196     const FactEntry *LDat2 = &FactMan[Fact];  in intersectAndWarn()
2197     FactSet::iterator Iter1  = FSet1.findLockIter(FactMan, *LDat2);  in intersectAndWarn()
2198     if (Iter1 != FSet1.end()) LDat1 = &FactMan[*Iter1];  in intersectAndWarn()
2214       LDat2->handleRemovalFromIntersection(FSet2, FactMan, JoinLoc, LEK1,  in intersectAndWarn()
2221     const FactEntry *LDat1 = &FactMan[Fact];  in intersectAndWarn()
2222     const FactEntry *LDat2 = FSet2.findLock(FactMan, *LDat1);  in intersectAndWarn()
2225       LDat1->handleRemovalFromIntersection(FSet1Orig, FactMan, JoinLoc, LEK2,  in intersectAndWarn()
2228         FSet1.removeLock(FactMan, *LDat1);  in intersectAndWarn()
2526     ExpectedExitSet.addLock(FactMan, llvm::make_unique<LockableFactEntry>(  in runAnalysis()
2529     ExpectedExitSet.addLock(FactMan, llvm::make_unique<LockableFactEntry>(  in runAnalysis()
2532     ExpectedExitSet.removeLock(FactMan, Lock);  in runAnalysis()