137   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
140   virtual void handleLock(FactSet &FSet, FactManager &FactMan,
143   virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,
302                         const FactSet& FSet,
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
930       const auto *Entry = FSet.findLock(  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()
1030   void addLock(FactSet &FSet, std::unique_ptr<FactEntry> Entry,
1032   void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1139                                  const FactSet& FSet,  in checkBeforeAfter()  argument
1165       if (FSet.containsMutexDecl(Analyzer.FactMan, Vdb)) {  in checkBeforeAfter()
1284 void ThreadSafetyAnalyzer::addLock(FactSet &FSet,  in addLock()  argument
1293     const FactEntry *Nen = FSet.findLock(FactMan, NegC);  in addLock()
1295       FSet.removeLock(FactMan, NegC);  in addLock()
1307     GlobalBeforeSet->checkBeforeAfter(Entry->valueDecl(), FSet, *this,  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()
1322 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp,  in removeLock()  argument
1329   const FactEntry *LDat = FSet.findLock(FactMan, Cp);  in removeLock()
1342   LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler,  in removeLock()
1574   FactSet FSet;  member in __anonef2eab400d11::BuildLockset
1598       : ConstStmtVisitor<BuildLockset>(), Analyzer(Anlzr), FSet(Info.EntrySet),  in BuildLockset()
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()
1842           Analyzer->addLock(FSet,  in handleCall()
1854           Analyzer->addLock(FSet,  in handleCall()
1866           Analyzer->addLock(FSet,  in handleCall()
1923     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive, CapDiagKind);  in handleCall()
1925     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared, CapDiagKind);  in handleCall()
1927     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic, CapDiagKind);  in handleCall()
1931     Analyzer->addLock(FSet, llvm::make_unique<LockableFactEntry>(  in handleCall()
1935     Analyzer->addLock(FSet, llvm::make_unique<LockableFactEntry>(  in handleCall()
1960     Analyzer->addLock(FSet, std::move(ScopedEntry), CapDiagKind);  in handleCall()
2489     CurrBlockInfo->ExitSet = LocksetBuilder.FSet;  in runAnalysis()