---

yaml
---
r: 14778
b: refs/heads/try
c: 205cefd
h: refs/heads/master
v: v3

Author: catamorphism

[refs]

@@ -2,5 +2,5 @@
 refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
-refs/heads/try: 35400e13ada84aeb578e37262a6bf16c48d128d7
+refs/heads/try: 205cefdc6e0e53c6df8075b5c37edd4e0803a598
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/try/src/rustc/middle/tstate/states.rs

@@ -550,7 +550,9 @@ fn find_pre_post_state_expr(fcx: fn_ctxt, pres: prestate, e: @expr) -> bool {
         /* conservative approximation: if a loop contains a break
            or cont, we assume nothing about the poststate */
         /* which is still unsound -- see [Break-unsound] */
-        if has_nonlocal_exits(body) {
+        if may_break(body) {
+                /* Only do this if there are *breaks* not conts.
+                 An infinite loop with conts is still an infinite loop. */
             ret changed | set_poststate_ann(fcx.ccx, e.id, pres);
         } else {
             ret changed | set_poststate_ann(fcx.ccx, e.id,

branches/try/src/rustc/util/common.rs

@@ -83,6 +83,22 @@ fn has_nonlocal_exits(b: ast::blk) -> bool {
     ret *has_exits;
 }
 
+/* FIXME: copy/paste, yuck */
+fn may_break(b: ast::blk) -> bool {
+    let has_exits = @mutable false;
+    fn visit_expr(flag: @mutable bool, e: @ast::expr) {
+        alt e.node {
+          ast::expr_break { *flag = true; }
+          _ { }
+        }
+    }
+    let v =
+        visit::mk_simple_visitor(@{visit_expr: bind visit_expr(has_exits, _)
+                                      with *visit::default_simple_visitor()});
+    visit::visit_block(b, (), v);
+    ret *has_exits;
+}
+
 fn local_rhs_span(l: @ast::local, def: span) -> span {
     alt l.node.init { some(i) { ret i.expr.span; } _ { ret def; } }
 }