Zero locals when the initializer might call a function

The function might fail, leaving the local uninitialized

Issue #236

Author: brson

src/comp/middle/trans.rs

@@ -4520,6 +4520,7 @@ fn init_local(bcx: @block_ctxt, local: &@ast::local) -> result {
               ast::expr_ret(_) { true }
               ast::expr_break. { true }
               ast::expr_cont. { true }
+              ast::expr_call(_, _) { true }
               _ {
                 let ex_ty = ty::expr_ty(e.ccx.tcx, ex);
                 ty::type_is_bot(e.ccx.tcx, ex_ty)

src/test/run-fail/unwind-initializer-indirect.rs

@@ -0,0 +1,7 @@
+// error-pattern:fail
+
+fn f() -> @int { fail; }
+
+fn main() {
+    let a: @int = f();
+}