================ @@ -337,26 +274,33 @@ computeBlockInputState(const CFGBlock &Block, AnalysisContext &AC) { AC.BlockStates[Pred->getBlockID()]; if (!MaybePredState) continue; - - if (AC.Analysis.builtinOptions()) { - if (const Stmt *PredTerminatorStmt = Pred->getTerminatorStmt()) { - // We have a terminator: we need to mutate an environment to describe - // when the terminator is taken. Copy now. + const TypeErasedDataflowAnalysisState &PredState = *MaybePredState; + + if (const Stmt *PredTerminatorStmt = Pred->getTerminatorStmt()) { + bool BranchVal = blockIndexInPredecessor(*Pred, Block) == 0; ---------------- martinboehme wrote:
Move this down to the point where it's actually needed (this is included in the suggestion above). https://github.com/llvm/llvm-project/pull/84499 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits