Searched refs:FactMan (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/Analysis/ |
| D | ThreadSafety.cpp | 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()
[all …]
|