Member predicate Stmt::SwitchCase::getLabelledStmt

DEPRECATED: use SwitchCase.getAStmt or ControlFlowNode.getASuccessor rather than this predicate.

Gets the Block statement immediately following this ‘switch case’ statement, if any.

For example, for

switch (i) {
case 5:
    x = 1;
    break;
case 6:
case 7:
    { x = 2; break; }
default:
    { x = 3; }
    x = 4;
    break;
}

the case 7: has result { x = 2; break; }, default: has result { x = 3; }, and the others have no result.

Block getLabelledStmt()