Home | History | Annotate | Download | only in Analysis

Lines Matching defs:addSuccessor

434   void addSuccessor(CFGBlock *B, CFGBlock *S) {
435 B->addSuccessor(S, cfg->getBumpVectorContext());
622 addSuccessor(B, JT.block);
637 addSuccessor(B, LI->second.block);
651 addSuccessor(B, Succ);
661 addSuccessor(B, &cfg->getExit());
1207 addSuccessor(LHSBlock, KnownVal.isTrue() ? NULL : ConfluenceBlock);
1208 addSuccessor(LHSBlock, KnownVal.isFalse() ? NULL : RHSBlock);
1211 addSuccessor(LHSBlock, KnownVal.isFalse() ? NULL : RHSBlock);
1212 addSuccessor(LHSBlock, KnownVal.isTrue() ? NULL : ConfluenceBlock);
1269 addSuccessor(Block, BreakJumpTarget.block);
1345 addSuccessor(Block, TryTerminatedBlock);
1347 addSuccessor(Block, &cfg->getExit());
1376 addSuccessor(Block, KnownVal.isFalse() ? NULL : LHSBlock);
1377 addSuccessor(Block, KnownVal.isTrue() ? NULL : RHSBlock);
1443 addSuccessor(Block, KnownVal.isFalse() ? NULL : LHSBlock);
1444 addSuccessor(Block, KnownVal.isTrue() ? NULL : RHSBlock);
1641 addSuccessor(ThenBlock, sv.get());
1658 addSuccessor(Block, KnownVal.isFalse() ? NULL : ThenBlock);
1659 addSuccessor(Block, KnownVal.isTrue()? NULL : ElseBlock);
1693 addSuccessor(Block, &cfg->getExit());
1758 addSuccessor(Block, JT.block);
1898 addSuccessor(ExitConditionBlock, KnownVal.isFalse() ? NULL : BodyBlock);
1903 addSuccessor(ExitConditionBlock, KnownVal.isTrue() ? NULL : LoopSuccessor);
2017 addSuccessor(ExitConditionBlock, BodyBlock);
2022 addSuccessor(ExitConditionBlock, LoopSuccessor);
2198 addSuccessor(ExitConditionBlock, KnownVal.isFalse() ? NULL : BodyBlock);
2203 addSuccessor(ExitConditionBlock, KnownVal.isTrue() ? NULL : LoopSuccessor);
2233 addSuccessor(Block, &cfg->getExit());
2250 addSuccessor(Block, TryTerminatedBlock);
2253 addSuccessor(Block, &cfg->getExit());
2344 addSuccessor(ExitConditionBlock, LoopBackBlock);
2347 addSuccessor(ExitConditionBlock, NULL);
2352 addSuccessor(ExitConditionBlock, KnownVal.isTrue() ? NULL : LoopSuccessor);
2377 addSuccessor(Block, ContinueJumpTarget.block);
2486 addSuccessor(SwitchTerminatedBlock,
2558 addSuccessor(LastBlock, currentBlock);
2562 addSuccessor(SwitchTerminatedBlock,
2589 addSuccessor(SwitchTerminatedBlock,
2598 addSuccessor(LastBlock, CaseBlock);
2671 addSuccessor(NewTryTerminatedBlock, CatchBlock);
2675 addSuccessor(NewTryTerminatedBlock, PrevTryTerminatedBlock);
2677 addSuccessor(NewTryTerminatedBlock, &cfg->getExit());
2839 addSuccessor(ConditionBlock, KnownVal.isFalse() ? 0 : Block);
2844 addSuccessor(ConditionBlock, KnownVal.isTrue() ? 0 : LoopSuccessor);
2929 addSuccessor(Block, IBlock);
3025 addSuccessor(LHSBlock, KnownVal.isTrue() ? NULL : ConfluenceBlock);
3026 addSuccessor(LHSBlock, KnownVal.isFalse() ? NULL : RHSBlock);
3029 addSuccessor(LHSBlock, KnownVal.isFalse() ? NULL : RHSBlock);
3030 addSuccessor(LHSBlock, KnownVal.isTrue() ? NULL : ConfluenceBlock);
3126 addSuccessor(Block, KnownVal.isFalse() ? NULL : LHSBlock);
3128 addSuccessor(Block, NULL);
3130 addSuccessor(Block, ConfluenceBlock);
3136 addSuccessor(Block, KnownVal.isTrue() ? NULL : RHSBlock);