Home
last modified time | relevance | path

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

/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DTransfer.h32 StmtToEnvMap(const AdornedCFG &ACFG, in StmtToEnvMap()
/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DTypeErasedDataflowAnalysis.cpp102 const AdornedCFG &ACFG; global() member
115 PrettyStackTraceAnalysis(const AdornedCFG & ACFG,const char * Message) PrettyStackTraceAnalysis() argument
127 const AdornedCFG &ACFG; global() member in clang::dataflow::__anon75e46e6d0211::PrettyStackTraceAnalysis
474 runTypeErasedDataflowAnalysis(const AdornedCFG & ACFG,TypeErasedDataflowAnalysis & Analysis,const Environment & InitEnv,const CFGEltCallbacksTypeErased & PostAnalysisCallbacks,std::int32_t MaxBlockVisits) runTypeErasedDataflowAnalysis() argument
[all...]
H A DHTMLLogger.cpp165 const AdornedCFG *ACFG; global() member in clang::dataflow::__anon80792ab60111::HTMLLogger
179 beginAnalysis(const AdornedCFG & ACFG,TypeErasedDataflowAnalysis & A) beginAnalysis() argument
[all...]
H A DDataflowAnalysisContext.cpp303 auto ACFG = AdornedCFG::build(*F); in getAdornedCFG() local
H A DTransfer.cpp855 if (!ACFG) in transferInlineCall() local
/llvm-project/clang/unittests/Analysis/FlowSensitive/
H A DDeterminismTest.cpp39 auto ACFG = cantFail(AdornedCFG::build(*Target)); in analyzeAndPrintExitCondition() local
H A DTestingSupport.h103 const AdornedCFG &ACFG; member
294 auto &ACFG = *MaybeACFG; local
H A DTypeErasedDataflowAnalysisTest.cpp108 std::unique_ptr<AdornedCFG> ACFG; global() member in __anon7ffac2e90111::DataflowAnalysisTest