Esempio n. 1
0
 // 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;
Esempio n. 2
0
 private static void stmt(this ptr <builder> _addr_b, ast.Stmt _s) => func((_, panic, __) =>
Esempio n. 3
0
 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;
 }