Lines Matching refs:AC

223   AnalysisContext ∾  member in clang::dataflow::__anon58e7c2420211::JoinedStateBuilder
230 return {AC.Analysis.joinTypeErased(L.Lattice, R.Lattice), in join()
231 Environment::join(L.Env, R.Env, AC.Analysis)}; in join()
235 JoinedStateBuilder(AnalysisContext &AC) : AC(AC) {} in JoinedStateBuilder() argument
249 return {AC.Analysis.typeErasedInitialElement(), AC.InitEnv.fork()}; in take()
256 Environment::join(All[0]->Env, All[0]->Env, AC.Analysis)}; in take()
276 computeBlockInputState(const CFGBlock &Block, AnalysisContext &AC) { in computeBlockInputState() argument
303 auto &StmtToBlock = AC.CFCtx.getStmtToBlock(); in computeBlockInputState()
310 JoinedStateBuilder Builder(AC); in computeBlockInputState()
319 AC.BlockStates[Pred->getBlockID()]; in computeBlockInputState()
323 if (AC.Analysis.builtinOptions()) { in computeBlockInputState()
335 AC.Analysis.transferBranchTypeErased(CondValue, Cond, Copy.Lattice, in computeBlockInputState()
350 AnalysisContext &AC) { in builtinTransferStatement() argument
353 transfer(StmtToEnvMap(AC.CFCtx, AC.BlockStates, CurBlockID, InputState), *S, in builtinTransferStatement()
423 AnalysisContext &AC) { in builtinTransfer() argument
426 builtinTransferStatement(CurBlockID, Elt.castAs<CFGStmt>(), State, AC); in builtinTransfer()
455 transferCFGBlock(const CFGBlock &Block, AnalysisContext &AC, in transferCFGBlock() argument
459 AC.Log.enterBlock(Block, PostVisitCFG != nullptr); in transferCFGBlock()
460 auto State = computeBlockInputState(Block, AC); in transferCFGBlock()
461 AC.Log.recordState(State); in transferCFGBlock()
467 AC.Log.enterElement(Element); in transferCFGBlock()
469 if (AC.Analysis.builtinOptions()) { in transferCFGBlock()
470 builtinTransfer(Block.getBlockID(), Element, State, AC); in transferCFGBlock()
474 AC.Analysis.transferTypeErased(Element, State.Lattice, State.Env); in transferCFGBlock()
480 AC.Log.recordState(State); in transferCFGBlock()
497 StmtToEnvMap(AC.CFCtx, AC.BlockStates, Block.getBlockID(), State), in transferCFGBlock()
505 AC.Log.recordState(State); in transferCFGBlock()
542 AnalysisContext AC(CFCtx, Analysis, StartingEnv, BlockStates); in runTypeErasedDataflowAnalysis() local
563 transferCFGBlock(*Block, AC); in runTypeErasedDataflowAnalysis()
583 AC.Log.blockConverged(); in runTypeErasedDataflowAnalysis()
591 AC.Log.blockConverged(); in runTypeErasedDataflowAnalysis()
612 transferCFGBlock(*Block, AC, PostVisitCFG); in runTypeErasedDataflowAnalysis()