]> git.lizzy.rs Git - rust.git/blob - tests/compile-fail/fn_ptr_offset.rs
Auto merge of #1308 - RalfJung:miri, r=RalfJung
[rust.git] / tests / compile-fail / 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 }