Return a better result from blocks. Closes issue #377

Blocks return in a copy of the result of their ending expression, not the
direct result of the ending expression, as that may be a local variable which
gets zeroed by drop_slot.

1 files changed, 3 insertions, 0 deletions

diff --git a/src/comp/middle/trans.rs b/src/comp/middle/trans.rs
index 600bf7e9e21..ad315df2dbf 100644
--- a/src/comp/middle/trans.rs
+++ b/src/comp/middle/trans.rs
@@ -6252,6 +6252,9 @@ fn trans_block(&@block_ctxt cx, &ast::block b) -> result {
                     auto cleanup = bind drop_hoisted_ty(_, res_alloca.val,
                                                         r_ty);
                     find_outer_scope_cx(bcx).cleanups += [clean(cleanup)];
+
+                    r = res(bcx, load_if_immediate(bcx,
+                                                   res_alloca.val, r_ty));
                 }
             }
         }