---

yaml
---
r: 15804
b: refs/heads/try
c: e139793
h: refs/heads/master
v: v3

Author: nikomatsakis

[refs]

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

branches/try/src/rustc/middle/trans/base.rs

@@ -1783,8 +1783,7 @@ fn trans_while(cx: block, cond: @ast::expr, body: ast::blk)
     -> block {
     let _icx = cx.insn_ctxt("trans_while");
     let next_cx = sub_block(cx, "while next");
-    let loop_cx = loop_scope_block(cx, cont_self, next_cx,
-                                   "while loop", body.span);
+    let loop_cx = loop_scope_block(cx, next_cx, "`while`", body.span);
     let cond_cx = scope_block(loop_cx, "while loop cond");
     let body_cx = scope_block(loop_cx, "while loop body");
     Br(cx, loop_cx.llbb);
@@ -1800,9 +1799,7 @@ fn trans_while(cx: block, cond: @ast::expr, body: ast::blk)
 fn trans_loop(cx:block, body: ast::blk) -> block {
     let _icx = cx.insn_ctxt("trans_loop");
     let next_cx = sub_block(cx, "next");
-    let body_cx =
-        loop_scope_block(cx, cont_self, next_cx,
-                                  "infinite loop body", body.span);
+    let body_cx = loop_scope_block(cx, next_cx, "`loop`", body.span);
     let body_end = trans_block(body_cx, body, ignore);
     cleanup_and_Br(body_end, body_cx, body_cx.llbb);
     Br(cx, body_cx.llbb);
@@ -3567,14 +3564,11 @@ fn trans_break_cont(bcx: block, to_end: bool)
     let mut target = bcx;
     loop {
         alt unwind.kind {
-          block_scope({is_loop: some({cnt, brk}), _}) {
+          block_scope({loop_break: some(brk), _}) {
             target = if to_end {
                 brk
             } else {
-                alt cnt {
-                  cont_other(o) { o }
-                  cont_self { unwind }
-                }
+                unwind
             };
             break;
           }
@@ -3755,7 +3749,7 @@ fn new_block(cx: fn_ctxt, parent: block_parent, kind: block_kind,
 }
 
 fn simple_block_scope() -> block_kind {
-    block_scope({is_loop: none, mut cleanups: [],
+    block_scope({loop_break: none, mut cleanups: [],
                  mut cleanup_paths: [], mut landing_pad: none})
 }
 
@@ -3770,11 +3764,10 @@ fn scope_block(bcx: block, n: str) -> block {
                   n, none);
 }
 
-fn loop_scope_block(bcx: block, _cont: loop_cont,
-                    _break: block, n: str, sp: span)
+fn loop_scope_block(bcx: block, loop_break: block, n: str, sp: span)
     -> block {
     ret new_block(bcx.fcx, parent_some(bcx), block_scope({
-        is_loop: some({cnt: _cont, brk: _break}),
+        loop_break: some(loop_break),
         mut cleanups: [],
         mut cleanup_paths: [],
         mut landing_pad: none

branches/try/src/rustc/middle/trans/common.rs

@@ -300,10 +300,8 @@ enum block_kind {
     block_non_scope,
 }
 
-enum loop_cont { cont_self, cont_other(block), }
-
 type scope_info = {
-    is_loop: option<{cnt: loop_cont, brk: block}>,
+    loop_break: option<block>,
     // A list of functions that must be run at when leaving this
     // block, cleaning up any variables that were introduced in the
     // block.