// isTerminating reports if s is a terminating statement.
// If s is labeled, label is the label name; otherwise s
// is "".
private static bool isTerminating(this ptr <Checker> _addr_check, ast.Stmt s, @string label)
{
ref Checker check = ref _addr_check.val;
private static void stmt(this ptr <builder> _addr_b, ast.Stmt _s) => func((_, panic, __) =>
public deadState(ref ptr <analysis.Pass> pass = default, map <ast.Stmt, bool> hasBreak = default, map <@string, bool> hasGoto = default, map <@string, ast.Stmt> labels = default, ast.Stmt breakTarget = default, bool reachable = default)
{
this.pass = pass;
this.hasBreak = hasBreak;
this.hasGoto = hasGoto;
this.labels = labels;
this.breakTarget = breakTarget;
this.reachable = reachable;
}