gcc/testsuite/rust/compile/assume.rs

   1 mod intrinsics {
   2     extern "rust-intrinsic" {
   3         pub fn assume(value: bool);
   4     }
   5 }
   6
   7 pub fn foo(v: i32) -> i32 {
   8     unsafe { intrinsics::assume (v == 12); }
   9     v
  10 }
  11
  12 pub fn main() {
  13 }