1434   FactManager               FactMan;  member in __anond7afc2f90111::ThreadSafetyAnalyzer
1486   if (FSet.findLock(FactMan, Mutex)) {  in addLock()
1489     FSet.addLock(FactMan, Mutex, LDat);  in addLock()
1504   const LockData *LDat = FSet.findLock(FactMan, Mutex);  in removeLock()
1515       if (FSet.findLock(FactMan, LDat->UnderlyingMutex))  in removeLock()
1516         FSet.removeLock(FactMan, LDat->UnderlyingMutex);  in removeLock()
1520       if (!FSet.findLock(FactMan, LDat->UnderlyingMutex)) {  in removeLock()
1524       FSet.removeLock(FactMan, LDat->UnderlyingMutex);  in removeLock()
1528   FSet.removeLock(FactMan, Mutex);  in removeLock()
1802   LockData* LDat = FSet.findLockUniv(Analyzer->FactMan, Mutex);  in warnIfMutexNotHeld()
1806     FactEntry* FEntry = FSet.findPartialMatch(Analyzer->FactMan, Mutex);  in warnIfMutexNotHeld()
1836   LockData* LDat = FSet.findLock(Analyzer->FactMan, Mutex);  in warnIfMutexHeld()
2171     const SExpr &FSet2Mutex = FactMan[*I].MutID;  in intersectAndWarn()
2172     const LockData &LDat2 = FactMan[*I].LDat;  in intersectAndWarn()
2174     if (const LockData *LDat1 = FSet1.findLock(FactMan, FSet2Mutex)) {  in intersectAndWarn()
2180           FSet1.removeLock(FactMan, FSet2Mutex);  in intersectAndWarn()
2181           FSet1.addLock(FactMan, FSet2Mutex, LDat2);  in intersectAndWarn()
2186         if (FSet2.findLock(FactMan, LDat2.UnderlyingMutex)) {  in intersectAndWarn()
2204     const SExpr &FSet1Mutex = FactMan[*I].MutID;  in intersectAndWarn()
2205     const LockData &LDat1 = FactMan[*I].LDat;  in intersectAndWarn()
2207     if (!FSet2.findLock(FactMan, FSet1Mutex)) {  in intersectAndWarn()
2209         if (FSet1Orig.findLock(FactMan, LDat1.UnderlyingMutex)) {  in intersectAndWarn()
2223         FSet1.removeLock(FactMan, FSet1Mutex);  in intersectAndWarn()