1447   FactManager               FactMan;  member in __anon26b273430111::ThreadSafetyAnalyzer
1499   if (FSet.findLock(FactMan, Mutex)) {  in addLock()
1503     FSet.addLock(FactMan, Mutex, LDat);  in addLock()
1518   const LockData *LDat = FSet.findLock(FactMan, Mutex);  in removeLock()
1529       if (FSet.findLock(FactMan, LDat->UnderlyingMutex))  in removeLock()
1530         FSet.removeLock(FactMan, LDat->UnderlyingMutex);  in removeLock()
1534       if (!FSet.findLock(FactMan, LDat->UnderlyingMutex)) {  in removeLock()
1538       FSet.removeLock(FactMan, LDat->UnderlyingMutex);  in removeLock()
1542   FSet.removeLock(FactMan, Mutex);  in removeLock()
1822   LockData* LDat = FSet.findLockUniv(Analyzer->FactMan, Mutex);  in warnIfMutexNotHeld()
1826     FactEntry* FEntry = FSet.findPartialMatch(Analyzer->FactMan, Mutex);  in warnIfMutexNotHeld()
1856   LockData* LDat = FSet.findLock(Analyzer->FactMan, Mutex);  in warnIfMutexHeld()
2250     const SExpr &FSet2Mutex = FactMan[*I].MutID;  in intersectAndWarn()
2251     const LockData &LDat2 = FactMan[*I].LDat;  in intersectAndWarn()
2252     FactSet::iterator I1 = FSet1.findLockIter(FactMan, FSet2Mutex);  in intersectAndWarn()
2255       const LockData* LDat1 = &FactMan[*I1].LDat;  in intersectAndWarn()
2271         if (FSet2.findLock(FactMan, LDat2.UnderlyingMutex)) {  in intersectAndWarn()
2290     const SExpr &FSet1Mutex = FactMan[*I].MutID;  in intersectAndWarn()
2291     const LockData &LDat1 = FactMan[*I].LDat;  in intersectAndWarn()
2293     if (!FSet2.findLock(FactMan, FSet1Mutex)) {  in intersectAndWarn()
2295         if (FSet1Orig.findLock(FactMan, LDat1.UnderlyingMutex)) {  in intersectAndWarn()
2309         FSet1.removeLock(FactMan, FSet1Mutex);  in intersectAndWarn()
2607     ExpectedExitSet.addLock(FactMan, ExclusiveLocksAcquired[i],  in runAnalysis()
2611     ExpectedExitSet.addLock(FactMan, SharedLocksAcquired[i],  in runAnalysis()
2615     ExpectedExitSet.removeLock(FactMan, LocksReleased[i]);  in runAnalysis()