141   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
144   virtual void handleLock(FactSet &FSet, FactManager &FactMan,
147   virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,
306                         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, std::make_unique<LockableFactEntry>(  in handleUnlock()
922   handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,  in handleRemovalFromIntersection()  argument
926       const auto *Entry = FSet.findLock(  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()
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()
1298 void ThreadSafetyAnalyzer::addLock(FactSet &FSet,  in addLock()  argument
1307     const FactEntry *Nen = FSet.findLock(FactMan, NegC);  in addLock()
1309       FSet.removeLock(FactMan, NegC);  in addLock()
1321     GlobalBeforeSet->checkBeforeAfter(Entry->valueDecl(), FSet, *this,  in addLock()
1326   if (const FactEntry *Cp = FSet.findLock(FactMan, *Entry)) {  in addLock()
1328       Cp->handleLock(FSet, FactMan, *Entry, Handler, DiagKind);  in addLock()
1330     FSet.addLock(FactMan, std::move(Entry));  in addLock()
1336 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const CapabilityExpr &Cp,  in removeLock()  argument
1343   const FactEntry *LDat = FSet.findLock(FactMan, Cp);  in removeLock()
1346     if (const FactEntry *Neg = FSet.findLock(FactMan, !Cp))  in removeLock()
1359   LDat->handleUnlock(FSet, FactMan, Cp, UnlockLoc, FullyRemove, Handler,  in removeLock()
1591   FactSet FSet;  member in __anon3cf8d6650d11::BuildLockset
1615       : ConstStmtVisitor<BuildLockset>(), Analyzer(Anlzr), FSet(Info.EntrySet),  in BuildLockset()
1646     const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, !Cp);  in warnIfMutexNotHeld()
1659     LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1666   const FactEntry *LDat = FSet.findLockUniv(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1670     LDat = FSet.findPartialMatch(Analyzer->FactMan, Cp);  in warnIfMutexNotHeld()
1702   const FactEntry *LDat = FSet.findLock(Analyzer->FactMan, Cp);  in warnIfMutexHeld()
1759   if (D->hasAttr<GuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan)) {  in checkAccess()
1798   if (D->hasAttr<PtGuardedVarAttr>() && FSet.isEmpty(Analyzer->FactMan))  in checkPtAccess()
1859               FSet,  in handleCall()
1872               FSet,  in handleCall()
1884           Analyzer->addLock(FSet,  in handleCall()
1942     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive, CapDiagKind);  in handleCall()
1944     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared, CapDiagKind);  in handleCall()
1946     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic, CapDiagKind);  in handleCall()
1953         FSet, std::make_unique<LockableFactEntry>(M, LK_Exclusive, Loc, Source),  in handleCall()
1957         FSet, std::make_unique<LockableFactEntry>(M, LK_Shared, Loc, Source),  in handleCall()
1979     Analyzer->addLock(FSet, std::move(ScopedEntry), CapDiagKind);  in handleCall()
2521     CurrBlockInfo->ExitSet = LocksetBuilder.FSet;  in runAnalysis()