Lines Matching refs:Analyzer
1738 ThreadSafetyAnalyzer *Analyzer;
1758 Analyzer(Anlzr),
1796 SExpr::warnInvalidLock(Analyzer->Handler, MutexExp, Exp, D);
1802 LockData* LDat = FSet.findLockUniv(Analyzer->FactMan, Mutex);
1806 FactEntry* FEntry = FSet.findPartialMatch(Analyzer->FactMan, Mutex);
1812 Analyzer->Handler.handleMutexNotHeld(D, POK, Mutex.toString(), LK,
1816 Analyzer->Handler.handleMutexNotHeld(D, POK, Mutex.toString(), LK,
1823 Analyzer->Handler.handleMutexNotHeld(D, POK, Mutex.toString(), LK,
1832 SExpr::warnInvalidLock(Analyzer->Handler, MutexExp, Exp, D);
1836 LockData* LDat = FSet.findLock(Analyzer->FactMan, Mutex);
1840 Analyzer->Handler.handleFunExcludesLock(DeclNameSR, Mutex.toString(),
1861 if (Analyzer->Handler.issueBetaWarnings()) {
1875 Analyzer->Handler.handleNoMutexHeld(D, POK_VarAccess, AK,
1893 Analyzer->Handler.handleNoMutexHeld(D, POK_VarDereference, AK,
1926 Analyzer->getMutexIDs(ExclusiveLocksToAdd, A, Exp, D, VD);
1934 Analyzer->getMutexIDs(SharedLocksToAdd, A, Exp, D, VD);
1942 Analyzer->getMutexIDs(LocksToRemove, A, Exp, D, VD);
1993 Analyzer->addLock(FSet, ExclusiveLocksToAdd[i],
1997 Analyzer->addLock(FSet, SharedLocksToAdd[i],
2009 Analyzer->addLock(FSet, SMutex, LockData(MLoc, LK_Exclusive,
2013 Analyzer->addLock(FSet, SMutex, LockData(MLoc, LK_Shared,
2022 Analyzer->removeLock(FSet, LocksToRemove[i], Loc, Dtor);
2052 LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, BO, LVarCtx);
2068 if (Analyzer->Handler.issueBetaWarnings()) {
2112 if (Analyzer->Handler.issueBetaWarnings()) {
2124 LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, S, LVarCtx);
2521 ThreadSafetyAnalyzer Analyzer(Handler);
2522 Analyzer.runAnalysis(AC);
