diff --git a/src/comp/middle/trans.rs b/src/comp/middle/trans.rs index 7d190ad89b1..5cadc2cb405 100644 --- a/src/comp/middle/trans.rs +++ b/src/comp/middle/trans.rs @@ -4303,7 +4303,7 @@ fn with_out_method(work: fn(out_method) -> result, cx: @block_ctxt, // immediate-ness of the type. fn type_is_immediate(ccx: @crate_ctxt, t: ty::t) -> bool { ret ty::type_is_scalar(ccx.tcx, t) || ty::type_is_boxed(ccx.tcx, t) || - ty::type_is_native(ccx.tcx, t); + ty::type_is_native(ccx.tcx, t) || ty::type_is_bot(ccx.tcx, t); } fn do_spill(cx: @block_ctxt, v: ValueRef, t: ty::t) -> result { diff --git a/src/test/run-pass/log-ret.rs b/src/test/run-pass/log-ret.rs new file mode 100644 index 00000000000..c35bf94a71b --- /dev/null +++ b/src/test/run-pass/log-ret.rs @@ -0,0 +1,5 @@ +// xfail-test + +fn f() { log ret; } +fn main() { f(); } +