about summary refs log tree commit diff
path: root/src/comp
diff options
context:
space:
mode:
authorPatrick Walton <pcwalton@mimiga.net>2011-09-20 22:50:45 -0700
committerPatrick Walton <pcwalton@mimiga.net>2011-09-20 22:52:26 -0700
commite6a84f252ab7a016dd923adbf31e8c86deab1d72 (patch)
treee037601a1fc2084e9324aefc0f99fc7911ecd2cb /src/comp
parentf7b67944cd593d84e99977d84e12bd2bf77a9da3 (diff)
rustc: Make bottom types immediates. Add a |log ret| testcase. Closes #935.
Diffstat (limited to 'src/comp')
-rw-r--r--src/comp/middle/trans.rs2
1 files changed, 1 insertions, 1 deletions
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 {