Searched refs:FactMan (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/Analysis/ |
| D | ThreadSafety.cpp | 1413 FactManager FactMan; member in __anon48488dd70111::ThreadSafetyAnalyzer
1543 if (FSet.findLock(FactMan, Mutex)) { in addLock()
1547 FSet.addLock(FactMan, Mutex, LDat); in addLock()
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()
1856 LockData* LDat = FSet.findLockUniv(Analyzer->FactMan, Mutex); in warnIfMutexNotHeld()
[all …]
|