Lines Matching defs:Analysis

24 #include "clang/Analysis/CFG.h"
25 #include "clang/Analysis/FlowSensitive/AdornedCFG.h"
26 #include "clang/Analysis/FlowSensitive/DataflowEnvironment.h"
27 #include "clang/Analysis/FlowSensitive/DataflowLattice.h"
28 #include "clang/Analysis/FlowSensitive/MatchSwitch.h"
29 #include "clang/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.h"
30 #include "clang/Analysis/FlowSensitive/WatchedLiteralsSolver.h"
155   template <typename Analysis>
156   static auto transferBranchInternal(Rank0, Analysis &A, bool Branch,
165   template <typename Analysis>
166   static void transferBranchInternal(Rank1, Analysis &A, bool, const Stmt *,
234 runDataflowAnalysis(const AdornedCFG &ACFG, AnalysisT &Analysis,
267       ACFG, Analysis, InitEnv, TypeErasedCallbacks, MaxBlockVisits);
333   AnalysisT Analysis = createAnalysis<AnalysisT>(ASTCtx, Env);
365           runTypeErasedDataflowAnalysis(*Context, Analysis, Env,