---

yaml
---
r: 11263
b: refs/heads/master
c: 94d4dcd
h: refs/heads/master
i:
  11261: c1fba36
  11259: 94a31e1
  11255: 24a28aa
  11247: 0cad0c6
  11231: da3b12a
  11199: b8e9f37
  11135: 009b220
  11007: c6f4faf
  10751: 6e28a23
  10239: 4ad2d85
v: v3

Author: marijnh

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 520c3f5f798f65b7b26fe9c7f6409ef2f3cf6984
+refs/heads/master: 94d4dcdbf0121a2b885b2cc45a1b387baf0c7b26
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/comp/middle/last_use.rs

@@ -137,7 +137,6 @@ fn visit_expr(ex: @expr, cx: ctx, v: visit::vt<ctx>) {
         // n.b.: safe to ignore copies, as if they are unused
         // then they are ignored, otherwise they will show up
         // as freevars in the body.
-
         vec::iter(cap_clause.moves) {|ci|
             clear_def_if_path(cx, cx.def_map.get(ci.id), true);
         }
@@ -203,13 +202,18 @@ fn visit_fn(fk: visit::fn_kind, decl: fn_decl, body: blk,
 fn visit_block(tp: block_type, cx: ctx, visit: fn()) {
     let local = @{type: tp, mutable second: false, mutable exits: []};
     cx.blocks = cons(local, @cx.blocks);
+    let start_current = cx.current;
     visit();
     local.second = true;
+    local.exits = [];
+    cx.current = start_current;
     visit();
     let cx_blocks = cx.blocks;
     check is_not_empty(cx_blocks);
     cx.blocks = tail(cx_blocks);
-    cx.current = join_branches(local.exits);
+    let branches = if tp == func { local.exits + [cx.current] }
+                   else { local.exits };
+    cx.current = join_branches(branches);
 }
 
 fn add_block_exit(cx: ctx, tp: block_type) -> bool {

trunk/src/test/run-pass/last-use-in-block.rs

@@ -0,0 +1,16 @@
+// Issue #1818
+
+fn loop<T>(s: str, f: fn(str) -> T) -> T {
+    while false {
+        let r = f(s);
+        ret r;
+    }
+    fail;
+}
+
+fn apply<T>(s: str, f: fn(str) -> T) -> T {
+    fn g<T>(s: str, f: fn(str) -> T) -> T {f(s)}
+    g(s) {|v| let r = f(v); r }
+}
+
+fn main() {}