]> git.lizzy.rs Git - rust.git/blob - src/tools/miri/tests/fail/function_pointers/fn_ptr_offset.rs
Rollup merge of #101431 - compiler-errors:move-place-ty-for-move-place-sugg, r=cjgillot
[rust.git] / src / tools / miri / tests / fail / function_pointers / fn_ptr_offset.rs
1 // Validation makes this fail in the wrong place
2 //@compile-flags: -Zmiri-disable-validation
3
4 use std::mem;
5
6 fn f() {}
7
8 fn main() {
9     let x: fn() = f;
10     let y: *mut u8 = unsafe { mem::transmute(x) };
11     let y = y.wrapping_offset(1);
12     let x: fn() = unsafe { mem::transmute(y) };
13     x(); //~ ERROR: function pointer but it does not point to a function
14 }