| 705 | } |
| 706 | |
| 707 | void ControlFlowBuilder::connect(CFGNode* _from, CFGNode* _to) |
| 708 | { |
| 709 | solAssert(_from, ""); |
| 710 | solAssert(_to, ""); |
| 711 | _from->exits.push_back(_to); |
| 712 | _to->entries.push_back(_from); |
| 713 | } |
| 714 | |
| 715 | CFGNode* ControlFlowBuilder::newLabel() |
| 716 | { |