Lines Matching refs:Analyzer
1751 ThreadSafetyAnalyzer *Analyzer;
1771 Analyzer(Anlzr),
1809 SExpr::warnInvalidLock(Analyzer->Handler, MutexExp, Exp, D);
1815 LockData* LDat = FSet.findLockUniv(Analyzer->FactMan, Mutex);
1819 FactEntry* FEntry = FSet.findPartialMatch(Analyzer->FactMan, Mutex);
1825 Analyzer->Handler.handleMutexNotHeld(D, POK, Mutex.toString(), LK,
1829 Analyzer
1836 Analyzer->Handler.handleMutexNotHeld(D, POK, Mutex.toString(), LK,
1845 SExpr::warnInvalidLock(Analyzer->Handler, MutexExp, Exp, D);
1849 LockData* LDat = FSet.findLock(Analyzer->FactMan, Mutex);
1853 Analyzer->Handler.handleFunExcludesLock(DeclNameSR, Mutex.toString(),
1886 Analyzer->Handler.handleNoMutexHeld(D, POK_VarAccess, AK,
1904 Analyzer->Handler.handleNoMutexHeld(D, POK_VarDereference, AK,
1938 Analyzer->getMutexIDs(ExclusiveLocksToAdd, A, Exp, D, VD);
1946 Analyzer->getMutexIDs(SharedLocksToAdd, A, Exp, D, VD);
1957 Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD);
1959 Analyzer->addLock(FSet, AssertLocks[i],
1968 Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD);
1970 Analyzer->addLock(FSet, AssertLocks[i],
1980 Analyzer->getMutexIDs(LocksToRemove, A, Exp, D, VD);
2030 Analyzer->addLock(FSet, ExclusiveLocksToAdd[i],
2034 Analyzer->addLock(FSet, SharedLocksToAdd[i],
2046 Analyzer->addLock(FSet, SMutex, LockData(MLoc, LK_Exclusive,
2050 Analyzer->addLock(FSet, SMutex, LockData(MLoc, LK_Shared,
2059 Analyzer->removeLock(FSet, LocksToRemove[i], Loc, Dtor);
2089 LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, BO, LVarCtx);
2157 LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, S, LVarCtx);
2600 ThreadSafetyAnalyzer Analyzer(Handler);
2601 Analyzer.runAnalysis(AC);
