Searched defs:InitEnv (Results 1 – 3 of 3) sorted by relevance
38 Environment InitEnv(DACtx, *Target); in analyzeAndPrintExitCondition() local
107 const Environment &InitEnv; member
106 const Environment &InitEnv, member 475 runTypeErasedDataflowAnalysis(const AdornedCFG & ACFG,TypeErasedDataflowAnalysis & Analysis,const Environment & InitEnv,const CFGEltCallbacksTypeErased & PostAnalysisCallbacks,std::int32_t MaxBlockVisits) runTypeErasedDataflowAnalysis() argument [all...]