ImcCJUMP cjump = (ImcCJUMP)stmt;
Integer cond = execExpr(cjump.cond);
return cond != 0 ? cjump.trueLabel : cjump.falseLabel;
}
if (stmt instanceof ImcEXP) {
ImcEXP expr = (ImcEXP)stmt;
execExpr(expr.expr);
return null;
}
if (stmt instanceof ImcJUMP) {
return ((ImcJUMP)stmt).label;