Home | History | Annotate | Download | only in Analysis

Lines Matching full:succ

258   CFGBlock *Succ;
300 Block(NULL), Succ(NULL),
607 Succ = createBlock();
608 assert(Succ == &cfg->getExit());
632 Succ = B;
678 if (add_successor && Succ)
679 addSuccessor(B, Succ);
1418 Succ = Block;
1449 Succ = ConfluenceBlock;
1455 Succ = ConfluenceBlock;
1507 Succ = ConfluenceBlock;
1521 Succ = ConfluenceBlock;
1684 Succ = Block;
1690 CFGBlock *ElseBlock = Succ;
1693 SaveAndRestore<CFGBlock*> sv(Succ);
1719 SaveAndRestore<CFGBlock*> sv(Succ);
1830 Succ = LabelBlock;
1897 LoopSuccessor = Succ;
1910 // Save the current values for Block, Succ, continue and break targets.
1911 SaveAndRestore<CFGBlock*> save_Block(Block), save_Succ(Succ);
1917 Block = Succ = TransitionBlock = createBlock(false);
1923 Succ = addStmt(I);
1928 assert(Block == Succ);
1936 ContinueJumpTarget = JumpTarget(Succ, ContinueScopePos);
1988 // be created. Thus we update "Succ" after adding the condition.
2021 Succ = EntryConditionBlock;
2033 Succ = EntryConditionBlock;
2086 LoopSuccessor = Succ;
2113 Succ = EntryConditionBlock;
2117 // Save the current values for Succ, continue and break targets.
2118 SaveAndRestore<CFGBlock*> save_Succ(Succ);
2166 Succ = SyncBlock;
2230 LoopSuccessor = Succ;
2239 // Save the current values for Block, Succ, continue and break targets.
2240 SaveAndRestore<CFGBlock*> save_Block(Block), save_Succ(Succ);
2246 Succ = TransitionBlock = createBlock(false);
2248 ContinueJumpTarget = JumpTarget(Succ, LoopBeginScopePos);
2294 // be created. Thus we update "Succ" after adding the condition.
2331 Succ = EntryConditionBlock;
2391 LoopSuccessor = Succ;
2414 Succ = EntryConditionBlock;
2424 // Save the current values for Block, Succ, and continue and break targets
2425 SaveAndRestore<CFGBlock*> save_Block(Block), save_Succ(Succ);
2460 Succ = BodyBlock;
2480 Succ = BodyBlock;
2555 } else SwitchSuccessor = Succ;
2572 Succ = SwitchSuccessor;
2720 Succ = TopBlock;
2723 Succ = CaseBlock;
2726 return Succ;
2755 Succ = DefaultCaseBlock;
2769 } else TrySuccessor = Succ;
2781 Succ = TrySuccessor;
2802 Succ = TrySuccessor;
2891 LoopSuccessor = Succ;
2915 Succ = ConditionBlock;
2927 // Save the current values for Block, Succ, and continue targets.
2928 SaveAndRestore<CFGBlock*> save_Block(Block), save_Succ(Succ);
2934 Succ = addStmt(S->getInc());
2935 ContinueJumpTarget = JumpTarget(Succ, ContinueScopePos);
3122 Succ = ConfluenceBlock;
3221 Succ = ConfluenceBlock;
3228 Succ = ConfluenceBlock;