diff options
Diffstat (limited to 'src/test/ui/intrinsics/intrinsic-unreachable.rs')
-rw-r--r-- | src/test/ui/intrinsics/intrinsic-unreachable.rs | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/test/ui/intrinsics/intrinsic-unreachable.rs b/src/test/ui/intrinsics/intrinsic-unreachable.rs new file mode 100644 index 000000000..da1a32d58 --- /dev/null +++ b/src/test/ui/intrinsics/intrinsic-unreachable.rs @@ -0,0 +1,17 @@ +// run-pass +#![feature(core_intrinsics)] + +use std::intrinsics; + +// See also src/test/run-make/intrinsic-unreachable. + +unsafe fn f(x: usize) -> usize { + match x { + 17 => 23, + _ => intrinsics::unreachable(), + } +} + +fn main() { + assert_eq!(unsafe { f(17) }, 23); +} |