mirror of
https://github.com/rust-lang/rust-clippy
synced 2024-11-13 08:27:14 +00:00
f8acc83449
This does not require a version bump, it only affects tests.
111 lines
3.8 KiB
Rust
111 lines
3.8 KiB
Rust
#![feature(plugin)]
|
|
#![plugin(clippy)]
|
|
|
|
extern crate core;
|
|
|
|
use std::mem::transmute as my_transmute;
|
|
use std::vec::Vec as MyVec;
|
|
|
|
fn my_vec() -> MyVec<i32> {
|
|
vec![]
|
|
}
|
|
|
|
#[allow(needless_lifetimes)]
|
|
#[deny(useless_transmute)]
|
|
unsafe fn _generic<'a, T, U: 'a>(t: &'a T) {
|
|
let _: &'a T = core::intrinsics::transmute(t);
|
|
//~^ ERROR transmute from a type (`&'a T`) to itself
|
|
|
|
let _: &'a U = core::intrinsics::transmute(t);
|
|
}
|
|
|
|
#[deny(transmute_ptr_to_ref)]
|
|
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);
|
|
//~^ ERROR transmute from a pointer type (`*const T`) to a reference type (`&T`)
|
|
//~| HELP try
|
|
//~| SUGGESTION = &*p;
|
|
let _: &T = &*p;
|
|
|
|
let _: &mut T = std::mem::transmute(m);
|
|
//~^ ERROR transmute from a pointer type (`*mut T`) to a reference type (`&mut T`)
|
|
//~| HELP try
|
|
//~| SUGGESTION = &mut *m;
|
|
let _: &mut T = &mut *m;
|
|
|
|
let _: &T = std::mem::transmute(m);
|
|
//~^ ERROR transmute from a pointer type (`*mut T`) to a reference type (`&T`)
|
|
//~| HELP try
|
|
//~| SUGGESTION = &*m;
|
|
let _: &T = &*m;
|
|
|
|
let _: &T = std::mem::transmute(o);
|
|
//~^ ERROR transmute from a pointer type (`*const U`) to a reference type (`&T`)
|
|
//~| HELP try
|
|
//~| SUGGESTION = &*(o as *const T);
|
|
let _: &T = &*(o as *const T);
|
|
|
|
let _: &mut T = std::mem::transmute(om);
|
|
//~^ ERROR transmute from a pointer type (`*mut U`) to a reference type (`&mut T`)
|
|
//~| HELP try
|
|
//~| SUGGESTION = &mut *(om as *mut T);
|
|
let _: &mut T = &mut *(om as *mut T);
|
|
|
|
let _: &T = std::mem::transmute(om);
|
|
//~^ ERROR transmute from a pointer type (`*mut U`) to a reference type (`&T`)
|
|
//~| HELP try
|
|
//~| SUGGESTION = &*(om as *const T);
|
|
let _: &T = &*(om as *const T);
|
|
}
|
|
|
|
#[deny(useless_transmute)]
|
|
fn useless() {
|
|
unsafe {
|
|
let _: Vec<i32> = core::intrinsics::transmute(my_vec());
|
|
//~^ ERROR transmute from a type (`std::vec::Vec<i32>`) to itself
|
|
|
|
let _: Vec<i32> = core::mem::transmute(my_vec());
|
|
//~^ ERROR transmute from a type (`std::vec::Vec<i32>`) to itself
|
|
|
|
let _: Vec<i32> = std::intrinsics::transmute(my_vec());
|
|
//~^ ERROR transmute from a type (`std::vec::Vec<i32>`) to itself
|
|
|
|
let _: Vec<i32> = std::mem::transmute(my_vec());
|
|
//~^ ERROR transmute from a type (`std::vec::Vec<i32>`) to itself
|
|
|
|
let _: Vec<i32> = my_transmute(my_vec());
|
|
//~^ ERROR transmute from a type (`std::vec::Vec<i32>`) to itself
|
|
|
|
let _: Vec<u32> = core::intrinsics::transmute(my_vec());
|
|
let _: Vec<u32> = core::mem::transmute(my_vec());
|
|
let _: Vec<u32> = std::intrinsics::transmute(my_vec());
|
|
let _: Vec<u32> = std::mem::transmute(my_vec());
|
|
let _: Vec<u32> = my_transmute(my_vec());
|
|
}
|
|
}
|
|
|
|
#[deny(crosspointer_transmute)]
|
|
fn crosspointer() {
|
|
let mut vec: Vec<i32> = vec![];
|
|
let vec_const_ptr: *const Vec<i32> = &vec as *const Vec<i32>;
|
|
let vec_mut_ptr: *mut Vec<i32> = &mut vec as *mut Vec<i32>;
|
|
|
|
unsafe {
|
|
let _: Vec<i32> = core::intrinsics::transmute(vec_const_ptr);
|
|
//~^ ERROR transmute from a type (`*const std::vec::Vec<i32>`) to the type that it points to (`std::vec::Vec<i32>`)
|
|
|
|
let _: Vec<i32> = core::intrinsics::transmute(vec_mut_ptr);
|
|
//~^ ERROR transmute from a type (`*mut std::vec::Vec<i32>`) to the type that it points to (`std::vec::Vec<i32>`)
|
|
|
|
let _: *const Vec<i32> = core::intrinsics::transmute(my_vec());
|
|
//~^ ERROR transmute from a type (`std::vec::Vec<i32>`) to a pointer to that type (`*const std::vec::Vec<i32>`)
|
|
|
|
let _: *mut Vec<i32> = core::intrinsics::transmute(my_vec());
|
|
//~^ ERROR transmute from a type (`std::vec::Vec<i32>`) to a pointer to that type (`*mut std::vec::Vec<i32>`)
|
|
}
|
|
}
|
|
|
|
fn main() {
|
|
useless();
|
|
crosspointer();
|
|
}
|