Home | History | Annotate | Download | only in Analysis

Lines Matching defs:Decision

500   ///   successor block when inserting the decision point).
515 /// (2.a has executed), we insert a decision block that uses the
538 /// Remember the successor S of a temporary destructor decision branch for
3803 // up to a decision block later.
3822 // If no temporary was found, we do not need to insert a decision point.
3826 CFGBlock *Decision = createBlock(false);
3827 Decision->setTerminator(CFGTerminator(Context.TerminatorExpr, true));
3828 addSuccessor(Decision, Block, !Context.KnownExecuted.isFalse());
3829 addSuccessor(Decision, FalseSucc ? FalseSucc : Context.Succ,
3831 Block = Decision;