Cross Reference: /external/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp

Lines Matching refs:getCheckerManager
252   return getCheckerManager().runCheckersForEvalAssume(state, cond, assumption);
256   return getCheckerManager().wantsRegionChangeUpdate(state);
265   return getCheckerManager().runCheckersForRegionChanges(state, invalidated,
271   getCheckerManager().runCheckersForPrintState(Out, State, NL, Sep);
275   getCheckerManager().runCheckersForEndAnalysis(G, BR, *this);
362   getCheckerManager().runCheckersForLiveSymbols(CleanedState, SymReaper);
383     getCheckerManager().runCheckersForDeadSymbols(CheckedSet, Pred, SymReaper,
810       getCheckerManager().runCheckersForPreStmt(preVisit, Pred, S, *this);
811       getCheckerManager().runCheckersForPostStmt(Dst, preVisit, S, *this);
820       getCheckerManager().runCheckersForPreStmt(PreVisit, Pred, S, *this);
856       getCheckerManager().runCheckersForPostStmt(Dst, Tmp, S, *this);
869       getCheckerManager().runCheckersForPreStmt(preVisit, Pred, S, *this);
888       getCheckerManager().runCheckersForPostStmt(Dst, Tmp, S, *this);
1000       getCheckerManager().runCheckersForPostStmt(Dst, PostVisit, S, *this);
1009       getCheckerManager().runCheckersForPreStmt(PreVisit, Pred, S, *this);
1083       getCheckerManager().runCheckersForPreStmt(dstPrevisit, Pred, C, *this);
1093       getCheckerManager().runCheckersForPostStmt(Dst, dstExpr, C, *this);
1454   getCheckerManager().runCheckersForBranchCondition(Condition, CheckersOutSet,
1611       getCheckerManager().runCheckersForEndFunction(BC, Dst, *I, *this);
1614     getCheckerManager().runCheckersForEndFunction(BC, Dst, Pred, *this);
1791   getCheckerManager().runCheckersForPreStmt(checkerPreStmt, Pred, A, *this);
1814   getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, M, *this);
1887   getCheckerManager().runCheckersForPostStmt(Dst, EvalSet, M, *this);
1941   State = getCheckerManager().runCheckersForPointerEscape(State,
1962     return getCheckerManager().runCheckersForPointerEscape(State,
1987     State = getCheckerManager().runCheckersForPointerEscape(State,
1992     State = getCheckerManager().runCheckersForPointerEscape(State,
2012   getCheckerManager().runCheckersForBind(CheckedSet, Pred, location, Val,
2192   getCheckerManager().runCheckersForLocation(Tmp, Src, location, isLoad,