// There is no loop initialization. We are thus basically a while
// loop. NULL out Block to force lazy block construction.
Block = NULL;
+ Succ = EntryConditionBlock;
return EntryConditionBlock;
}
}
Block = NULL;
// Return the condition block, which is the dominating block for the loop.
+ Succ = EntryConditionBlock;
return EntryConditionBlock;
}
if (Block) FinishBlock(EntryConditionBlock);
}
- // The condition block is the implicit successor for the loop body as
- // well as any code above the loop.
+ // The condition block is the implicit successor for the loop body.
Succ = EntryConditionBlock;
-
// Process the loop body.
CFGBlock* BodyBlock = NULL;
{
Block = NULL;
// Return the loop body, which is the dominating block for the loop.
+ Succ = BodyBlock;
return BodyBlock;
}