| /src/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/ |
| H A D | TypeErasedDataflowAnalysis.cpp | 90 AnalysisContext(const AdornedCFG &ACFG, TypeErasedDataflowAnalysis &Analysis, in AnalysisContext()
94 : ACFG(ACFG), Analysis(Analysis), InitEnv(InitEnv), in AnalysisContext()
97 Log.beginAnalysis(ACFG, Analysis); in AnalysisContext()
102 const AdornedCFG &ACFG; member
115 PrettyStackTraceAnalysis(const AdornedCFG &ACFG, const char *Message) in PrettyStackTraceAnalysis() argument
116 : ACFG(ACFG), Message(Message) {} in PrettyStackTraceAnalysis()
121 ACFG.getDecl().dump(OS); in print()
123 ACFG.getCFG().print(OS, LangOptions(), false); in print()
127 const AdornedCFG &ACFG; member in clang::dataflow::__anon5599974f0211::PrettyStackTraceAnalysis
246 auto &StmtToBlock = AC.ACFG.getStmtToBlock(); in computeBlockInputState()
[all …]
|
| H A D | HTMLLogger.cpp | 165 const AdornedCFG *ACFG; member in clang::dataflow::__anon610ccf980111::HTMLLogger
179 void beginAnalysis(const AdornedCFG &ACFG, in beginAnalysis() argument
182 this->ACFG = &ACFG; in beginAnalysis()
185 BlockConverged.resize(ACFG.getCFG().getNumBlockIDs()); in beginAnalysis()
187 const auto &D = ACFG.getDecl(); in beginAnalysis()
349 const auto &AST = ACFG->getDecl().getASTContext(); in writeCode()
357 CharSourceRange::getTokenRange(ACFG->getDecl().getSourceRange()), in writeCode()
423 for (const auto *Block : ACFG->getCFG()) { in writeCode()
484 if (auto SVG = renderSVG(buildCFGDot(ACFG->getCFG()))) in writeCFG()
|
| H A D | Logger.cpp | 36 virtual void beginAnalysis(const AdornedCFG &ACFG, in beginAnalysis()
42 auto &D = ACFG.getDecl(); in beginAnalysis()
46 CurrentCFG = &ACFG.getCFG(); in beginAnalysis()
|
| H A D | Transfer.cpp | 43 auto BlockIt = ACFG.getStmtToBlock().find(&ignoreCFGOmittedNodes(S)); in getEnvironment()
44 if (BlockIt == ACFG.getStmtToBlock().end()) { in getEnvironment()
49 if (!ACFG.isBlockReachable(*BlockIt->getSecond())) in getEnvironment()
855 const AdornedCFG *ACFG = Env.getDataflowAnalysisContext().getAdornedCFG(F); in transferInlineCall() local
856 if (!ACFG) in transferInlineCall()
863 auto ExitBlock = ACFG->getCFG().getExit().getBlockID(); in transferInlineCall()
870 auto Analysis = NoopAnalysis(ACFG->getDecl().getASTContext(), in transferInlineCall()
874 dataflow::runDataflowAnalysis(*ACFG, Analysis, CalleeEnv); in transferInlineCall()
|
| H A D | DataflowAnalysisContext.cpp | 303 auto ACFG = AdornedCFG::build(*F); in getAdornedCFG() local
305 assert(ACFG); in getAdornedCFG()
306 auto Result = FunctionContexts.insert({F, std::move(*ACFG)}); in getAdornedCFG()
|
| /src/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | Transfer.h | 32 StmtToEnvMap(const AdornedCFG &ACFG, in StmtToEnvMap() argument
37 : ACFG(ACFG), BlockToState(BlockToState), CurBlockID(CurBlockID), in StmtToEnvMap()
45 const AdornedCFG &ACFG;
|
| H A D | DataflowAnalysis.h | 234 runDataflowAnalysis(const AdornedCFG &ACFG, AnalysisT &Analysis,
267 ACFG, Analysis, InitEnv, TypeErasedCallbacks, MaxBlockVisits);
297 const AdornedCFG &ACFG, AnalysisT &Analysis, const Environment &InitEnv,
300 return runDataflowAnalysis(ACFG, Analysis, InitEnv,
|
| H A D | TypeErasedDataflowAnalysis.h | 162 const AdornedCFG &ACFG, TypeErasedDataflowAnalysis &Analysis,
|