---

yaml
---
r: 5189
b: refs/heads/master
c: db15591
h: refs/heads/master
i:
  5187: 6473f12
v: v3

Author: marijnh

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 3ac59b0ee0eb2b174444ea1fd7eb980db4b59246
+refs/heads/master: db15591d897a08d16156e7934c0e675c271f54bf

trunk/src/comp/middle/trans.rs

@@ -2478,13 +2478,19 @@ fn trans_for(cx: &@block_ctxt, local: &@ast::local, seq: &@ast::expr,
     fn inner(cx: &@block_ctxt, local: @ast::local, curr: ValueRef, t: ty::t,
              body: &ast::blk, outer_next_cx: @block_ctxt) -> @block_ctxt {
         let next_cx = new_sub_block_ctxt(cx, "next");
-        let bcx = new_loop_scope_block_ctxt(cx, option::some(next_cx),
-                                            outer_next_cx, "for loop scope");
-        Br(cx, bcx.llbb);
-        let val = PointerCast(bcx, curr, T_ptr(type_of_or_i8(cx, t)));
-        let bcx = trans_alt::bind_irrefutable_pat(bcx, local.node.pat, val,
+        let scope_cx =
+            new_loop_scope_block_ctxt(cx,
+                                      option::some::<@block_ctxt>(next_cx),
+                                      outer_next_cx, "for loop scope");
+        Br(cx, scope_cx.llbb);
+        let {bcx, val: dst} = alloc_local(scope_cx, local);
+        let val = load_if_immediate(bcx, PointerCast(bcx, curr,
+                                                     val_ty(dst)), t);
+        let bcx = copy_val(bcx, INIT, dst, val, t);
+        add_clean(scope_cx, dst, t);
+        let bcx = trans_alt::bind_irrefutable_pat(bcx, local.node.pat, dst,
                                                   cx.fcx.lllocals, false);
-        let bcx = trans_block(bcx, body, return).bcx;
+        bcx = trans_block(bcx, body, return).bcx;
         if !is_terminated(bcx) {
             Br(bcx, next_cx.llbb);
             // otherwise, this code is unreachable