Move crosspointer_transmute to its own module
This commit is contained in:
parent
ef97764dcc
commit
afc9275928
2 changed files with 43 additions and 18 deletions
38
clippy_lints/src/transmute/crosspointer_transmute.rs
Normal file
38
clippy_lints/src/transmute/crosspointer_transmute.rs
Normal file
|
@ -0,0 +1,38 @@
|
||||||
|
use super::CROSSPOINTER_TRANSMUTE;
|
||||||
|
use crate::utils::span_lint;
|
||||||
|
use rustc_hir::Expr;
|
||||||
|
use rustc_lint::LateContext;
|
||||||
|
use rustc_middle::ty;
|
||||||
|
use rustc_middle::ty::Ty;
|
||||||
|
|
||||||
|
/// Checks for `crosspointer_transmute` lint.
|
||||||
|
/// Returns `true` if it's triggered, otherwise returns `false`.
|
||||||
|
pub(super) fn check<'tcx>(cx: &LateContext<'tcx>, e: &'tcx Expr<'_>, from_ty: Ty<'tcx>, to_ty: Ty<'tcx>) -> bool {
|
||||||
|
match (&from_ty.kind(), &to_ty.kind()) {
|
||||||
|
(ty::RawPtr(from_ptr), _) if from_ptr.ty == to_ty => {
|
||||||
|
span_lint(
|
||||||
|
cx,
|
||||||
|
CROSSPOINTER_TRANSMUTE,
|
||||||
|
e.span,
|
||||||
|
&format!(
|
||||||
|
"transmute from a type (`{}`) to the type that it points to (`{}`)",
|
||||||
|
from_ty, to_ty
|
||||||
|
),
|
||||||
|
);
|
||||||
|
true
|
||||||
|
},
|
||||||
|
(_, ty::RawPtr(to_ptr)) if to_ptr.ty == from_ty => {
|
||||||
|
span_lint(
|
||||||
|
cx,
|
||||||
|
CROSSPOINTER_TRANSMUTE,
|
||||||
|
e.span,
|
||||||
|
&format!(
|
||||||
|
"transmute from a type (`{}`) to a pointer to that type (`{}`)",
|
||||||
|
from_ty, to_ty
|
||||||
|
),
|
||||||
|
);
|
||||||
|
true
|
||||||
|
},
|
||||||
|
_ => false,
|
||||||
|
}
|
||||||
|
}
|
|
@ -1,3 +1,4 @@
|
||||||
|
mod crosspointer_transmute;
|
||||||
mod useless_transmute;
|
mod useless_transmute;
|
||||||
mod utils;
|
mod utils;
|
||||||
mod wrong_transmute;
|
mod wrong_transmute;
|
||||||
|
@ -355,26 +356,12 @@ impl<'tcx> LateLintPass<'tcx> for Transmute {
|
||||||
if triggered {
|
if triggered {
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
let triggered = crosspointer_transmute::check(cx, e, from_ty, to_ty);
|
||||||
|
if triggered {
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
match (&from_ty.kind(), &to_ty.kind()) {
|
match (&from_ty.kind(), &to_ty.kind()) {
|
||||||
(ty::RawPtr(from_ptr), _) if from_ptr.ty == to_ty => span_lint(
|
|
||||||
cx,
|
|
||||||
CROSSPOINTER_TRANSMUTE,
|
|
||||||
e.span,
|
|
||||||
&format!(
|
|
||||||
"transmute from a type (`{}`) to the type that it points to (`{}`)",
|
|
||||||
from_ty, to_ty
|
|
||||||
),
|
|
||||||
),
|
|
||||||
(_, ty::RawPtr(to_ptr)) if to_ptr.ty == from_ty => span_lint(
|
|
||||||
cx,
|
|
||||||
CROSSPOINTER_TRANSMUTE,
|
|
||||||
e.span,
|
|
||||||
&format!(
|
|
||||||
"transmute from a type (`{}`) to a pointer to that type (`{}`)",
|
|
||||||
from_ty, to_ty
|
|
||||||
),
|
|
||||||
),
|
|
||||||
(ty::RawPtr(from_pty), ty::Ref(_, to_ref_ty, mutbl)) => span_lint_and_then(
|
(ty::RawPtr(from_pty), ty::Ref(_, to_ref_ty, mutbl)) => span_lint_and_then(
|
||||||
cx,
|
cx,
|
||||||
TRANSMUTE_PTR_TO_REF,
|
TRANSMUTE_PTR_TO_REF,
|
||||||
|
|
Loading…
Reference in a new issue