rustc: Make bottom types immediates. Add a |log ret| testcase. Closes #935.

This commit is contained in:
Patrick Walton 2011-09-20 22:50:45 -07:00
parent f7b67944cd
commit e6a84f252a
2 changed files with 6 additions and 1 deletions

View file

@ -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 {

View file

@ -0,0 +1,5 @@
// xfail-test
fn f() { log ret; }
fn main() { f(); }