Home | History | Annotate | Download | only in Analysis

Lines Matching refs:Succ

296   CFGBlock *Succ;
338 Block(NULL), Succ(NULL),
645 Succ = createBlock();
646 assert(Succ == &cfg->getExit());
670 Succ = B;
716 if (add_successor && Succ)
717 addSuccessor(B, Succ);
1479 Succ = Block;
1510 Succ = ConfluenceBlock;
1516 Succ = ConfluenceBlock;
1568 Succ = ConfluenceBlock;
1582 Succ = ConfluenceBlock;
1674 Succ = Block;
1679 blockAfterStaticInit = Succ;
1731 Succ = B;
1765 Succ = Block;
1771 CFGBlock *ElseBlock = Succ;
1774 SaveAndRestore<CFGBlock*> sv(Succ);
1800 SaveAndRestore<CFGBlock*> sv(Succ);
1911 Succ = LabelBlock;
1978 LoopSuccessor = Succ;
1991 // Save the current values for Block, Succ, continue and break targets.
1992 SaveAndRestore<CFGBlock*> save_Block(Block), save_Succ(Succ);
1998 Block = Succ = TransitionBlock = createBlock(false);
2004 Succ = addStmt(I);
2009 assert(Block == Succ);
2017 ContinueJumpTarget = JumpTarget(Succ, ContinueScopePos);
2069 // be created. Thus we update "Succ" after adding the condition.
2102 Succ = EntryConditionBlock;
2114 Succ = EntryConditionBlock;
2167 LoopSuccessor = Succ;
2194 Succ = EntryConditionBlock;
2198 // Save the current values for Succ, continue and break targets.
2199 SaveAndRestore<CFGBlock*> save_Block(Block), save_Succ(Succ);
2207 Succ = LoopBackBlock = createBlock();
2211 ContinueJumpTarget = JumpTarget(Succ, ScopePos);
2254 Succ = SyncBlock;
2318 LoopSuccessor = Succ;
2327 // Save the current values for Block, Succ, continue and break targets.
2328 SaveAndRestore<CFGBlock*> save_Block(Block), save_Succ(Succ);
2334 Succ = TransitionBlock = createBlock(false);
2336 ContinueJumpTarget = JumpTarget(Succ, LoopBeginScopePos);
2382 // be created. Thus we update "Succ" after adding the condition.
2419 Succ = EntryConditionBlock;
2479 LoopSuccessor = Succ;
2502 Succ = EntryConditionBlock;
2512 // Save the current values for Block, Succ, and continue and break targets
2513 SaveAndRestore<CFGBlock*> save_Block(Block), save_Succ(Succ);
2548 Succ = BodyBlock;
2568 Succ = BodyBlock;
2643 } else SwitchSuccessor = Succ;
2660 Succ = SwitchSuccessor;
2814 Succ = TopBlock;
2817 Succ = CaseBlock;
2820 return Succ;
2849 Succ = DefaultCaseBlock;
2863 } else TrySuccessor = Succ;
2875 Succ = TrySuccessor;
2896 Succ = TrySuccessor;
2984 LoopSuccessor = Succ;
3008 Succ = ConditionBlock;
3020 // Save the current values for Block, Succ, and continue targets.
3021 SaveAndRestore<CFGBlock*> save_Block(Block), save_Succ(Succ);
3027 Succ = addStmt(S->getInc());
3028 ContinueJumpTarget = JumpTarget(Succ, ContinueScopePos);
3210 Succ = ConfluenceBlock;
3309 Succ = ConfluenceBlock;
3316 Succ = ConfluenceBlock;