Lines Matching refs:Analyzer
1805 ThreadSafetyAnalyzer *Analyzer; member in __anon48488dd70111::BuildLockset
1826 Analyzer(Anlzr), in BuildLockset()
1850 SExpr::warnInvalidLock(Analyzer->Handler, MutexExp, Exp, D, DiagKind); in warnIfMutexNotHeld()
1856 LockData* LDat = FSet.findLockUniv(Analyzer->FactMan, Mutex); in warnIfMutexNotHeld()
1860 FactEntry* FEntry = FSet.findPartialMatch(Analyzer->FactMan, Mutex); in warnIfMutexNotHeld()
1866 Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Mutex.toString(), in warnIfMutexNotHeld()
1871 Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Mutex.toString(), in warnIfMutexNotHeld()
1878 Analyzer->Handler.handleMutexNotHeld(DiagKind, D, POK, Mutex.toString(), LK, in warnIfMutexNotHeld()
1888 SExpr::warnInvalidLock(Analyzer->Handler, MutexExp, Exp, D, DiagKind); in warnIfMutexHeld()
1892 LockData* LDat = FSet.findLock(Analyzer->FactMan, Mutex); in warnIfMutexHeld()
1894 Analyzer->Handler.handleFunExcludesLock( in warnIfMutexHeld()
1930 Analyzer->Handler.handleNoMutexHeld("mutex", D, POK_VarAccess, AK, in checkAccess()
1963 Analyzer->Handler.handleNoMutexHeld("mutex", D, POK_VarDereference, AK, in checkPtAccess()
1995 Analyzer->getMutexIDs(A->isShared() ? SharedLocksToAdd in handleCall()
2010 Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD); in handleCall()
2012 Analyzer->addLock(FSet, AssertLock, in handleCall()
2021 Analyzer->getMutexIDs(AssertLocks, A, Exp, D, VD); in handleCall()
2023 Analyzer->addLock(FSet, AssertLock, in handleCall()
2034 Analyzer->getMutexIDs(GenericLocksToRemove, A, Exp, D, VD); in handleCall()
2036 Analyzer->getMutexIDs(SharedLocksToRemove, A, Exp, D, VD); in handleCall()
2038 Analyzer->getMutexIDs(ExclusiveLocksToRemove, A, Exp, D, VD); in handleCall()
2077 Analyzer->addLock(FSet, M, LockData(Loc, LK_Exclusive, isScopedVar), in handleCall()
2080 Analyzer->addLock(FSet, M, LockData(Loc, LK_Shared, isScopedVar), in handleCall()
2091 Analyzer->addLock(FSet, SMutex, LockData(MLoc, LK_Exclusive, M), in handleCall()
2094 Analyzer->addLock(FSet, SMutex, LockData(MLoc, LK_Shared, M), in handleCall()
2102 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Exclusive, CapDiagKind); in handleCall()
2104 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Shared, CapDiagKind); in handleCall()
2106 Analyzer->removeLock(FSet, M, Loc, Dtor, LK_Generic, CapDiagKind); in handleCall()
2135 LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, BO, LVarCtx); in VisitBinaryOperator()
2212 LVarCtx = Analyzer->LocalVarMap.getNextContext(CtxIndex, S, LVarCtx); in VisitDeclStmt()
2634 ThreadSafetyAnalyzer Analyzer(Handler); in runThreadSafetyAnalysis() local
2635 Analyzer.runAnalysis(AC); in runThreadSafetyAnalysis()