| D | ThreadSafety.cpp | 1738 ThreadSafetyAnalyzer *Analyzer; member in __anond7afc2f90111::BuildLockset
1758 Analyzer(Anlzr), in BuildLockset()
1796 SExpr::warnInvalidLock(Analyzer->Handler, MutexExp, Exp, D); in warnIfMutexNotHeld()
1802 LockData* LDat = FSet.findLockUniv(Analyzer->FactMan, Mutex); in warnIfMutexNotHeld()
1806 FactEntry* FEntry = FSet.findPartialMatch(Analyzer->FactMan, Mutex); in warnIfMutexNotHeld()
1812 Analyzer->Handler.handleMutexNotHeld(D, POK, Mutex.toString(), LK, in warnIfMutexNotHeld()
1816 Analyzer->Handler.handleMutexNotHeld(D, POK, Mutex.toString(), LK, in warnIfMutexNotHeld()
1823 Analyzer->Handler.handleMutexNotHeld(D, POK, Mutex.toString(), LK, in warnIfMutexNotHeld()
1832 SExpr::warnInvalidLock(Analyzer->Handler, MutexExp, Exp, D); in warnIfMutexHeld()
1836 LockData* LDat = FSet.findLock(Analyzer->FactMan, Mutex); in warnIfMutexHeld()
[all …]
|