rust/tests/ui/transmute_ptr_to_ref.rs

80 lines
2.1 KiB
Rust
Raw Normal View History

2020-01-20 02:16:50 +00:00
#![warn(clippy::transmute_ptr_to_ref)]
#![allow(
clippy::match_single_binding,
clippy::unnecessary_cast,
clippy::missing_transmute_annotations
)]
2020-01-20 02:16:50 +00:00
unsafe fn _ptr_to_ref<T, U>(p: *const T, m: *mut T, o: *const U, om: *mut U) {
let _: &T = std::mem::transmute(p);
let _: &T = &*p;
let _: &mut T = std::mem::transmute(m);
let _: &mut T = &mut *m;
let _: &T = std::mem::transmute(m);
let _: &T = &*m;
let _: &mut T = std::mem::transmute(p as *mut T);
let _ = &mut *(p as *mut T);
let _: &T = std::mem::transmute(o);
let _: &T = &*(o as *const T);
let _: &mut T = std::mem::transmute(om);
let _: &mut T = &mut *(om as *mut T);
let _: &T = std::mem::transmute(om);
let _: &T = &*(om as *const T);
}
fn _issue1231() {
2020-01-20 02:16:50 +00:00
struct Foo<'a, T> {
bar: &'a T,
}
let raw = 42 as *const i32;
let _: &Foo<u8> = unsafe { std::mem::transmute::<_, &Foo<_>>(raw) };
let _: &Foo<&u8> = unsafe { std::mem::transmute::<_, &Foo<&_>>(raw) };
type Bar<'a> = &'a u8;
let raw = 42 as *const i32;
unsafe { std::mem::transmute::<_, Bar>(raw) };
}
unsafe fn _issue8924<'a, 'b, 'c>(x: *const &'a u32, y: *const &'b u32) -> &'c &'b u32 {
match 0 {
0 => std::mem::transmute(x),
1 => std::mem::transmute(y),
2 => std::mem::transmute::<_, &&'b u32>(x),
_ => std::mem::transmute::<_, &&'b u32>(y),
}
}
#[clippy::msrv = "1.38"]
unsafe fn _meets_msrv<'a, 'b, 'c>(x: *const &'a u32) -> &'c &'b u32 {
let a = 0u32;
let a = &a as *const u32;
let _: &u32 = std::mem::transmute(a);
let _: &u32 = std::mem::transmute::<_, &u32>(a);
match 0 {
0 => std::mem::transmute(x),
_ => std::mem::transmute::<_, &&'b u32>(x),
}
}
#[clippy::msrv = "1.37"]
unsafe fn _under_msrv<'a, 'b, 'c>(x: *const &'a u32) -> &'c &'b u32 {
let a = 0u32;
let a = &a as *const u32;
let _: &u32 = std::mem::transmute(a);
let _: &u32 = std::mem::transmute::<_, &u32>(a);
match 0 {
0 => std::mem::transmute(x),
_ => std::mem::transmute::<_, &&'b u32>(x),
}
}
2020-01-20 02:16:50 +00:00
fn main() {}