Home
last modified time | relevance | path

Searched refs:ACFG (Results 1 – 8 of 8) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DTypeErasedDataflowAnalysis.cpp104 AnalysisContext(const AdornedCFG &ACFG, TypeErasedDataflowAnalysis &Analysis, in AnalysisContext()
108 : ACFG(ACFG), Analysis(Analysis), InitEnv(InitEnv), in AnalysisContext()
111 Log.beginAnalysis(ACFG, Analysis); in AnalysisContext()
116 const AdornedCFG &ACFG; member
129 PrettyStackTraceAnalysis(const AdornedCFG &ACFG, const char *Message) in PrettyStackTraceAnalysis() argument
130 : ACFG(ACFG), Message(Message) {} in PrettyStackTraceAnalysis()
135 ACFG.getDecl().dump(OS); in print()
137 ACFG.getCFG().print(OS, LangOptions(), false); in print()
141 const AdornedCFG &ACFG; member in clang::dataflow::__anon57fc8b7a0211::PrettyStackTraceAnalysis
262 StmtBlock = AC.ACFG.blockForStmt(*Terminator); in computeBlockInputState()
[all …]
H A DHTMLLogger.cpp164 const AdornedCFG *ACFG; member in clang::dataflow::__anon109acdc30111::HTMLLogger
178 void beginAnalysis(const AdornedCFG &ACFG, in beginAnalysis() argument
181 this->ACFG = &ACFG; in beginAnalysis()
184 BlockConverged.resize(ACFG.getCFG().getNumBlockIDs()); in beginAnalysis()
186 const auto &D = ACFG.getDecl(); in beginAnalysis()
348 const auto &AST = ACFG->getDecl().getASTContext(); in writeCode()
356 CharSourceRange::getTokenRange(ACFG->getDecl().getSourceRange()), in writeCode()
422 for (const auto *Block : ACFG->getCFG()) { in writeCode()
483 if (auto SVG = renderSVG(buildCFGDot(ACFG->getCFG()))) in writeCFG()
H A DLogger.cpp36 virtual void beginAnalysis(const AdornedCFG &ACFG, in beginAnalysis()
42 auto &D = ACFG.getDecl(); in beginAnalysis()
46 CurrentCFG = &ACFG.getCFG(); in beginAnalysis()
H A DTransfer.cpp42 const CFGBlock *Block = ACFG.blockForStmt(S); in getEnvironment()
47 if (!ACFG.isBlockReachable(*Block)) in getEnvironment()
860 const AdornedCFG *ACFG = Env.getDataflowAnalysisContext().getAdornedCFG(F); in transferInlineCall() local
861 if (!ACFG) in transferInlineCall()
868 auto ExitBlock = ACFG->getCFG().getExit().getBlockID(); in transferInlineCall()
875 auto Analysis = NoopAnalysis(ACFG->getDecl().getASTContext(), in transferInlineCall()
879 dataflow::runDataflowAnalysis(*ACFG, Analysis, CalleeEnv); in transferInlineCall()
H A DDataflowAnalysisContext.cpp302 auto ACFG = AdornedCFG::build(*F); in getAdornedCFG() local
304 assert(ACFG); in getAdornedCFG()
305 auto Result = FunctionContexts.insert({F, std::move(*ACFG)}); in getAdornedCFG()
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DTransfer.h32 StmtToEnvMap(const AdornedCFG &ACFG, in StmtToEnvMap() argument
37 : ACFG(ACFG), BlockToState(BlockToState), CurBlockID(CurBlockID), in StmtToEnvMap()
45 const AdornedCFG &ACFG;
H A DTypeErasedDataflowAnalysis.h162 const AdornedCFG &ACFG, TypeErasedDataflowAnalysis &Analysis,
H A DDataflowAnalysis.h234 runDataflowAnalysis(const AdornedCFG &ACFG, AnalysisT &Analysis,
267 ACFG, Analysis, InitEnv, TypeErasedCallbacks, MaxBlockVisits);