141   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
144   virtual void handleLock(FactSet &FSet, FactManager &FactMan,
147   virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,
201   bool isEmpty(FactManager &FactMan) const {  in isEmpty()
203       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, std::make_unique<LockableFactEntry>(  in handleUnlock()
922   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,  in handleRemovalFromIntersection()  argument
927           FactMan, CapabilityExpr(UnderlyingMutex.getPointer(), false));  in handleRemovalFromIntersection()
939   void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry,  in handleLock()  argument
946         lock(FSet, FactMan, UnderCp, entry.kind(), entry.loc(), &Handler,  in handleLock()
949         unlock(FSet, FactMan, UnderCp, entry.loc(), &Handler, DiagKind);  in handleLock()
953   void handleUnlock(FactSet &FSet, FactManager &FactMan,  in handleUnlock()  argument
965         unlock(FSet, FactMan, UnderCp, UnlockLoc, TSHandler, DiagKind);  in handleUnlock()
970         lock(FSet, FactMan, UnderCp, kind, UnlockLoc, TSHandler, DiagKind);  in handleUnlock()
974       FSet.removeLock(FactMan, Cp);  in handleUnlock()
978   void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in lock()  argument
981     if (const FactEntry *Fact = FSet.findLock(FactMan, Cp)) {  in lock()
985       FSet.removeLock(FactMan, !Cp);  in lock()
986       FSet.addLock(FactMan,  in lock()
991   void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in unlock()  argument
994     if (FSet.findLock(FactMan, Cp)) {  in unlock()
995       FSet.removeLock(FactMan, Cp);  in unlock()
996       FSet.addLock(FactMan, std::make_unique<LockableFactEntry>(  in unlock()
1000       if (const FactEntry *Neg = FSet.findLock(FactMan, !Cp))  in unlock()
1019   FactManager FactMan;  member in __anon68dfda3c0a11::ThreadSafetyAnalyzer
1163       if (FSet.containsMutexDecl(Analyzer.FactMan, Vdb)) {  in checkBeforeAfter()
1305     const FactEntry *Nen = FSet.findLock(FactMan, NegC);  in addLock()
1307       FSet.removeLock(FactMan, NegC);  in addLock()
1324   if (const FactEntry *Cp = FSet.findLock(FactMan, *Entry)) {  in addLock()
1326       Cp->handleLock(FSet, FactMan, *Entry, Handler, DiagKind);  in addLock()
1328     FSet.addLock(FactMan, std::move(Entry));  in addLock()
1341   const FactEntry *LDat = FSet.findLock(FactMan, Cp);  in removeLock()
1344     if (const FactEntry *Neg = FSet.findLock(FactMan, !Cp))  in removeLock()
1357   LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler,  in removeLock()
1644     const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp);  in warnIfMutexNotHeld()
1657     LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1664   const FactEntry *LDat = FSet.findLockUniv(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1668     LDat = FSet.findPartialMatch(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1700   const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexHeld()
1757   if (D->hasAttr<GuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan)) {  in checkAccess()
1796   if (D->hasAttr<PtGuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan))  in checkPtAccess()
2212     const FactEntry &LDat2 = FactMan[Fact];  in intersectAndWarn()
2214     FactSet::iterator Iter1 = FSet1.findLockIter(FactMan, LDat2);  in intersectAndWarn()
2216       const FactEntry &LDat1 = FactMan[*Iter1];  in intersectAndWarn()
2231       LDat2.handleRemovalFromIntersection(FSet2, FactMan, JoinLoc, LEK1,  in intersectAndWarn()
2238     const FactEntry *LDat1 = &FactMan[Fact];  in intersectAndWarn()
2239     const FactEntry *LDat2 = FSet2.findLock(FactMan, *LDat1);  in intersectAndWarn()
2242       LDat1->handleRemovalFromIntersection(FSet1Orig, FactMan, JoinLoc, LEK2,  in intersectAndWarn()
2245         FSet1.removeLock(FactMan, *LDat1);  in intersectAndWarn()
2539     ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>(  in runAnalysis()
2542     ExpectedExitSet.addLock(FactMan, std::make_unique<LockableFactEntry>(  in runAnalysis()
2545     ExpectedExitSet.removeLock(FactMan, Lock);  in runAnalysis()