120   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
123   virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,
282                         const FactSet& FSet,
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()
928   void addLock(FactSet &FSet, std::unique_ptr<FactEntry> Entry,
930   void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1036                                  const FactSet& FSet,  in checkBeforeAfter()  argument
1062       if (FSet.containsMutexDecl(Analyzer.FactMan, Vdb)) {  in checkBeforeAfter()
1183 void ThreadSafetyAnalyzer::addLock(FactSet &FSet,  in addLock()  argument
1192     FactEntry *Nen = FSet.findLock(FactMan, NegC);  in addLock()
1194       FSet.removeLock(FactMan, NegC);  in addLock()
1206     GlobalBeforeSet->checkBeforeAfter(Entry->valueDecl(), FSet, *this,  in addLock()
1211   if (FSet.findLock(FactMan, *Entry)) {  in addLock()
1215     FSet.addLock(FactMan, std::move(Entry));  in addLock()
1222 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp,  in removeLock()  argument
1229   const FactEntry *LDat = FSet.findLock(FactMan, Cp);  in removeLock()
1242   LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler,  in removeLock()
1463   FactSet FSet;  member in __anond54a86130b11::BuildLockset
1485       FSet(Info.EntrySet),  in BuildLockset()
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()
1728           Analyzer->addLock(FSet,  in handleCall()
1740           Analyzer->addLock(FSet, llvm::make_unique<LockableFactEntry>(  in handleCall()
1792     Analyzer->addLock(FSet, llvm::make_unique<LockableFactEntry>(  in handleCall()
1796     Analyzer->addLock(FSet, llvm::make_unique<LockableFactEntry>(  in handleCall()
1811     Analyzer->addLock(FSet,  in handleCall()
1821     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive, CapDiagKind);  in handleCall()
1823     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared, CapDiagKind);  in handleCall()
1825     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic, CapDiagKind);  in handleCall()
2323     CurrBlockInfo->ExitSet = LocksetBuilder.FSet;  in runAnalysis()