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