138   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
141   virtual void handleLock(FactSet &FSet, FactManager &FactMan,
144   virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,
303                         const FactSet& FSet,
864   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,  in handleRemovalFromIntersection()  argument
873   void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry,  in handleLock()  argument
879   void handleUnlock(FactSet &FSet, FactManager &FactMan,  in handleUnlock()  argument
883     FSet.removeLock(FactMan, Cp);  in handleUnlock()
885       FSet.addLock(FactMan, std::make_unique<LockableFactEntry>(  in handleUnlock()
923   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,  in handleRemovalFromIntersection()  argument
927       const auto *Entry = FSet.findLock(FactMan, UnderlyingMutex.Cap);  in handleRemovalFromIntersection()
939   void handleLock(FactSet &FSet, FactManager &FactMan, const FactEntry &entry,  in handleLock()  argument
943         lock(FSet, FactMan, UnderlyingMutex.Cap, entry.kind(), entry.loc(),  in handleLock()
946         unlock(FSet, FactMan, UnderlyingMutex.Cap, entry.loc(), &Handler);  in handleLock()
950   void handleUnlock(FactSet &FSet, FactManager &FactMan,  in handleUnlock()  argument
960         unlock(FSet, FactMan, UnderlyingMutex.Cap, UnlockLoc, TSHandler);  in handleUnlock()
965         lock(FSet, FactMan, UnderlyingMutex.Cap, kind, UnlockLoc, TSHandler);  in handleUnlock()
969       FSet.removeLock(FactMan, Cp);  in handleUnlock()
973   void lock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in lock()  argument
976     if (const FactEntry *Fact = FSet.findLock(FactMan, Cp)) {  in lock()
981       FSet.removeLock(FactMan, !Cp);  in lock()
982       FSet.addLock(FactMan,  in lock()
987   void unlock(FactSet &FSet, FactManager &FactMan, const CapabilityExpr &Cp,  in unlock()  argument
989     if (FSet.findLock(FactMan, Cp)) {  in unlock()
990       FSet.removeLock(FactMan, Cp);  in unlock()
991       FSet.addLock(FactMan, std::make_unique<LockableFactEntry>(  in unlock()
995       if (const FactEntry *Neg = FSet.findLock(FactMan, !Cp))  in unlock()
1025   void addLock(FactSet &FSet, std::unique_ptr<FactEntry> Entry,
1027   void removeLock(FactSet &FSet, const CapabilityExpr &CapE,
1133                                  const FactSet& FSet,  in checkBeforeAfter()  argument
1159       if (FSet.containsMutexDecl(Analyzer.FactMan, Vdb)) {  in checkBeforeAfter()
1245 void ThreadSafetyAnalyzer::addLock(FactSet &FSet,  in addLock()  argument
1254     const FactEntry *Nen = FSet.findLock(FactMan, NegC);  in addLock()
1256       FSet.removeLock(FactMan, NegC);  in addLock()
1268     GlobalBeforeSet->checkBeforeAfter(Entry->valueDecl(), FSet, *this,  in addLock()
1273   if (const FactEntry *Cp = FSet.findLock(FactMan, *Entry)) {  in addLock()
1275       Cp->handleLock(FSet, FactMan, *Entry, Handler);  in addLock()
1277     FSet.addLock(FactMan, std::move(Entry));  in addLock()
1283 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp,  in removeLock()  argument
1289   const FactEntry *LDat = FSet.findLock(FactMan, Cp);  in removeLock()
1292     if (const FactEntry *Neg = FSet.findLock(FactMan, !Cp))  in removeLock()
1306   LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler);  in removeLock()
1531   FactSet FSet;  member in __anon721e4a080d11::BuildLockset
1559       : ConstStmtVisitor<BuildLockset>(), Analyzer(Anlzr), FSet(Info.EntrySet),  in BuildLockset()
1593     const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp);  in warnIfMutexNotHeld()
1606     LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1613   const FactEntry *LDat = FSet.findLockUniv(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1617     LDat = FSet.findPartialMatch(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1651   const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexHeld()
1719   if (D->hasAttr<GuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan)) {  in checkAccess()
1757   if (D->hasAttr<PtGuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan))  in checkPtAccess()
1828               FSet, std::make_unique<LockableFactEntry>(  in handleCall()
1839               FSet, std::make_unique<LockableFactEntry>(  in handleCall()
1849           Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>(  in handleCall()
1902     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive);  in handleCall()
1904     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared);  in handleCall()
1906     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic);  in handleCall()
1912     Analyzer->addLock(FSet, std::make_unique<LockableFactEntry>(M, LK_Exclusive,  in handleCall()
1916         FSet, std::make_unique<LockableFactEntry>(M, LK_Shared, Loc, Source));  in handleCall()
1931     Analyzer->addLock(FSet, std::move(ScopedEntry));  in handleCall()
2439     CurrBlockInfo->ExitSet = LocksetBuilder.FSet;  in runAnalysis()