diff options
| -rw-r--r-- | src/test/run-make/intrinsic-unreachable/exit-ret.rs | 4 | ||||
| -rw-r--r-- | src/test/run-make/intrinsic-unreachable/exit-unreachable.rs | 4 |
2 files changed, 6 insertions, 2 deletions
diff --git a/src/test/run-make/intrinsic-unreachable/exit-ret.rs b/src/test/run-make/intrinsic-unreachable/exit-ret.rs index f5be5a055c3..3de079be2a5 100644 --- a/src/test/run-make/intrinsic-unreachable/exit-ret.rs +++ b/src/test/run-make/intrinsic-unreachable/exit-ret.rs @@ -11,10 +11,12 @@ #![feature(asm)] #![crate_type="lib"] -pub fn exit(n: usize) { +#[deny(unreachable_code)] +pub fn exit(n: usize) -> i32 { unsafe { // Pretend this asm is an exit() syscall. asm!("" :: "r"(n) :: "volatile"); // Can't actually reach this point, but rustc doesn't know that. } + 42 } diff --git a/src/test/run-make/intrinsic-unreachable/exit-unreachable.rs b/src/test/run-make/intrinsic-unreachable/exit-unreachable.rs index f58d2cd8f91..2a9dea1705a 100644 --- a/src/test/run-make/intrinsic-unreachable/exit-unreachable.rs +++ b/src/test/run-make/intrinsic-unreachable/exit-unreachable.rs @@ -13,10 +13,12 @@ use std::intrinsics; -pub fn exit(n: usize) -> ! { +#[allow(unreachable_code)] +pub fn exit(n: usize) -> i32 { unsafe { // Pretend this asm is an exit() syscall. asm!("" :: "r"(n) :: "volatile"); intrinsics::unreachable() } + 42 } |
