Lines Matching refs:Analyzer
1701 ThreadSafetyAnalyzer *Analyzer;
1720 Analyzer(Anlzr),
1755 SExpr::warnInvalidLock(Analyzer->Handler, MutexExp, Exp, D);
1761 LockData* LDat = FSet.findLockUniv(Analyzer->FactMan, Mutex);
1765 FactEntry* FEntry = FSet.findPartialMatch(Analyzer->FactMan, Mutex);
1771 Analyzer->Handler.handleMutexNotHeld(D, POK, Mutex.toString(), LK,
1775 Analyzer->Handler.handleMutexNotHeld(D, POK, Mutex.toString(), LK,
1782 Analyzer->Handler.handleMutexNotHeld(D, POK, Mutex.toString(), LK,
1791 SExpr::warnInvalidLock(Analyzer->Handler, MutexExp, Exp, D);
1795 LockData* LDat = FSet.findLock(Analyzer->FactMan, Mutex);
1797 Analyzer->Handler.handleFunExcludesLock(D->getName(), Mutex.toString(),
1819 Analyzer->Handler.handleNoMutexHeld(D, POK_VarDereference, AK,
1838 Analyzer->Handler.handleNoMutexHeld(D, POK_VarAccess, AK,
1870 Analyzer->getMutexIDs(ExclusiveLocksToAdd, A, Exp, D);
1878 Analyzer->getMutexIDs(SharedLocksToAdd, A, Exp, D);
1886 Analyzer->getMutexIDs(LocksToRemove, A, Exp, D);
1937 Analyzer->addLock(FSet, ExclusiveLocksToAdd[i],
1941 Analyzer->addLock(FSet, SharedLocksToAdd[i],
1953 Analyzer->addLock(FSet, SMutex, LockData(MLoc, LK_Exclusive,
1957 Analyzer->addLock(FSet, SMutex, LockData(MLoc, LK_Shared,
1966 Analyzer->removeLock(FSet, LocksToRemove[i], Loc, Dtor);
1998 LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, BO, LVarCtx);
2030 LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, S, LVarCtx);
2397 ThreadSafetyAnalyzer Analyzer(Handler);
2398 Analyzer.runAnalysis(AC);