Comments in header
| 4548 | |
| 4549 | // Comments in header |
| 4550 | void Builder::endSwitch(std::vector<Block*>& /*segmentBlock*/) |
| 4551 | { |
| 4552 | // Close out previous segment by jumping, if necessary, to next segment |
| 4553 | if (! buildPoint->isTerminated()) |
| 4554 | addSwitchBreak(true); |
| 4555 | |
| 4556 | switchMerges.top()->getParent().addBlock(switchMerges.top()); |
| 4557 | setBuildPoint(switchMerges.top()); |
| 4558 | |
| 4559 | switchMerges.pop(); |
| 4560 | } |
| 4561 | |
| 4562 | Block& Builder::makeNewBlock() |
| 4563 | { |
no test coverage detected