1419   void addLock(FactSet &FSet, const SExpr &Mutex, const LockData &LDat,
1421   void removeLock(FactSet &FSet, const SExpr &Mutex, SourceLocation UnlockLoc,
1536 void ThreadSafetyAnalyzer::addLock(FactSet &FSet, const SExpr &Mutex,  in addLock()  argument
1543   if (FSet.findLock(FactMan, Mutex)) {  in addLock()
1547     FSet.addLock(FactMan, Mutex, LDat);  in addLock()
1555 void ThreadSafetyAnalyzer::removeLock(FactSet &FSet, const SExpr &Mutex,  in removeLock()  argument
1562   const LockData *LDat = FSet.findLock(FactMan, Mutex);  in removeLock()
1581       if (FSet.findLock(FactMan, LDat->UnderlyingMutex))  in removeLock()
1582         FSet.removeLock(FactMan, LDat->UnderlyingMutex);  in removeLock()
1586       if (!FSet.findLock(FactMan, LDat->UnderlyingMutex)) {  in removeLock()
1590       FSet.removeLock(FactMan, LDat->UnderlyingMutex);  in removeLock()
1594   FSet.removeLock(FactMan, Mutex);  in removeLock()
1806   FactSet FSet;  member in __anon48488dd70111::BuildLockset
1827       FSet(Info.EntrySet),  in BuildLockset()
1856   LockData* LDat = FSet.findLockUniv(Analyzer->FactMan, Mutex);  in warnIfMutexNotHeld()
1860     FactEntry* FEntry = FSet.findPartialMatch(Analyzer->FactMan, Mutex);  in warnIfMutexNotHeld()
1892   LockData* LDat = FSet.findLock(Analyzer->FactMan, Mutex);  in warnIfMutexHeld()
1929   if (D->hasAttr<GuardedVarAttr>() && FSet.isEmpty())  in checkAccess()
1962   if (D->hasAttr<PtGuardedVarAttr>() && FSet.isEmpty())  in checkPtAccess()
2012           Analyzer->addLock(FSet, AssertLock,  in handleCall()
2023           Analyzer->addLock(FSet, AssertLock,  in handleCall()
2077     Analyzer->addLock(FSet, M, LockData(Loc, LK_Exclusive, isScopedVar),  in handleCall()
2080     Analyzer->addLock(FSet, M, LockData(Loc, LK_Shared, isScopedVar),  in handleCall()
2091       Analyzer->addLock(FSet, SMutex, LockData(MLoc, LK_Exclusive, M),  in handleCall()
2094       Analyzer->addLock(FSet, SMutex, LockData(MLoc, LK_Shared, M),  in handleCall()
2102     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive, CapDiagKind);  in handleCall()
2104     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared, CapDiagKind);  in handleCall()
2106     Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic, CapDiagKind);  in handleCall()
2567     CurrBlockInfo->ExitSet = LocksetBuilder.FSet;  in runAnalysis()