From f19ab1ff3c85973a54cc98e3f98ae240e2d0d816 Mon Sep 17 00:00:00 2001
From: Patrick Walton <pcwalton@mimiga.net>
Date: Tue, 20 Sep 2011 22:50:45 -0700
Subject: [PATCH] rustc: Make bottom types immediates. Add a |log ret|
 testcase. Closes #935.

---
 src/comp/middle/trans.rs     | 2 +-
 src/test/run-pass/log-ret.rs | 5 +++++
 2 files changed, 6 insertions(+), 1 deletion(-)
 create mode 100644 src/test/run-pass/log-ret.rs

diff --git a/src/comp/middle/trans.rs b/src/comp/middle/trans.rs
index 0f48df3bdbd7..a2830d65f5a0 100644
--- a/src/comp/middle/trans.rs
+++ b/src/comp/middle/trans.rs
@@ -4306,7 +4306,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 000000000000..c35bf94a71be
--- /dev/null
+++ b/src/test/run-pass/log-ret.rs
@@ -0,0 +1,5 @@
+// xfail-test
+
+fn f() { log ret; }
+fn main() { f(); }
+