Lines Matching refs:addSuccessor
885 void addSuccessor(CFGBlock *B, CFGBlock *S, bool IsReachable = true) {
886 B->addSuccessor(CFGBlock::AdjacentBlock(S, IsReachable),
892 void addSuccessor(CFGBlock *B, CFGBlock *ReachableBlock, CFGBlock *AltBlock) {
893 B->addSuccessor(CFGBlock::AdjacentBlock(ReachableBlock, AltBlock),
1536 addSuccessor(B, Block, true);
1563 addSuccessor(B, JT.block);
1577 addSuccessor(B, JT.block);
1594 addSuccessor(B, LI->second.block);
1612 addSuccessor(B, Succ);
1622 addSuccessor(B, &cfg->getExit(), Succ);
2452 addSuccessor(RHSBlock, TrueBlock);
2456 addSuccessor(RHSBlock, TrueBlock, !KnownVal.isFalse());
2457 addSuccessor(RHSBlock, FalseBlock, !KnownVal.isTrue());
2500 addSuccessor(LHSBlock, TrueBlock, !KnownVal.isFalse());
2501 addSuccessor(LHSBlock, RHSBlock, !KnownVal.isTrue());
2504 addSuccessor(LHSBlock, RHSBlock, !KnownVal.isFalse());
2505 addSuccessor(LHSBlock, FalseBlock, !KnownVal.isTrue());
2571 addSuccessor(Block, BreakJumpTarget.block);
2670 addSuccessor(Block, TryTerminatedBlock);
2672 addSuccessor(Block, &cfg->getExit());
2701 addSuccessor(Block, KnownVal.isFalse() ? nullptr : LHSBlock);
2702 addSuccessor(Block, KnownVal.isTrue() ? nullptr : RHSBlock);
2786 addSuccessor(Block, LHSBlock, !KnownVal.isFalse());
2787 addSuccessor(Block, RHSBlock, !KnownVal.isTrue());
2944 addSuccessor(Block, blockAfterStaticInit);
2945 addSuccessor(Block, B);
3028 addSuccessor(ThenBlock, sv.get());
3060 // unreachable, inform addSuccessor() of that knowledge.
3061 addSuccessor(Block, ThenBlock, /* IsReachable = */ !KnownVal.isFalse());
3062 addSuccessor(Block, ElseBlock, /* IsReachable = */ !KnownVal.isTrue());
3108 addSuccessor(Block, &cfg->getExit());
3169 addSuccessor(Block, SEHLeaveJumpTarget.block);
3208 addSuccessor(NewTryTerminatedBlock, ExceptBlock);
3211 addSuccessor(NewTryTerminatedBlock, PrevSEHTryTerminatedBlock);
3213 addSuccessor(NewTryTerminatedBlock, &cfg->getExit());
3304 addSuccessor(Block, JT.block);
3481 addSuccessor(ExitConditionBlock, KnownVal.isFalse() ? nullptr : BodyBlock);
3484 addSuccessor(ExitConditionBlock,
3489 addSuccessor(TransitionBlock, EntryConditionBlock);
3624 addSuccessor(ExitConditionBlock, BodyBlock);
3629 addSuccessor(ExitConditionBlock, LoopSuccessor);
3812 addSuccessor(ExitConditionBlock, KnownVal.isFalse() ? nullptr : BodyBlock);
3815 addSuccessor(ExitConditionBlock,
3820 addSuccessor(TransitionBlock, EntryConditionBlock);
3849 addSuccessor(Block, &cfg->getExit());
3876 addSuccessor(Block, TryTerminatedBlock);
3879 addSuccessor(Block, &cfg->getExit());
3972 addSuccessor(ExitConditionBlock, LoopBackBlock);
3974 addSuccessor(ExitConditionBlock, nullptr);
3979 addSuccessor(ExitConditionBlock, KnownVal.isTrue() ? nullptr : LoopSuccessor);
4004 addSuccessor(Block, ContinueJumpTarget.block);
4127 addSuccessor(SwitchTerminatedBlock, DefaultCaseBlock,
4205 addSuccessor(LastBlock, currentBlock);
4209 addSuccessor(SwitchTerminatedBlock,
4236 addSuccessor(SwitchTerminatedBlock, CaseBlock,
4244 addSuccessor(LastBlock, CaseBlock);
4317 addSuccessor(NewTryTerminatedBlock, CatchBlock);
4321 addSuccessor(NewTryTerminatedBlock, PrevTryTerminatedBlock);
4323 addSuccessor(NewTryTerminatedBlock, &cfg->getExit());
4487 addSuccessor(ConditionBlock,
4493 addSuccessor(ConditionBlock, KnownVal.isTrue() ? nullptr : LoopSuccessor);
4647 addSuccessor(Block, IBlock);
4862 addSuccessor(Decision, Block, !Context.KnownExecuted.isFalse());
4863 addSuccessor(Decision, FalseSucc ? FalseSucc : Context.Succ,
5079 void CFGBlock::addSuccessor(AdjacentBlock Succ,