summaryrefslogtreecommitdiffstats
path: root/compiler/rustc_lint/src/reference_casting.rs
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/rustc_lint/src/reference_casting.rs')
-rw-r--r--compiler/rustc_lint/src/reference_casting.rs187
1 files changed, 91 insertions, 96 deletions
diff --git a/compiler/rustc_lint/src/reference_casting.rs b/compiler/rustc_lint/src/reference_casting.rs
index 2577cabb3..39def599b 100644
--- a/compiler/rustc_lint/src/reference_casting.rs
+++ b/compiler/rustc_lint/src/reference_casting.rs
@@ -1,8 +1,7 @@
use rustc_ast::Mutability;
-use rustc_data_structures::fx::FxHashMap;
-use rustc_hir::{def::Res, Expr, ExprKind, HirId, Local, QPath, StmtKind, UnOp};
+use rustc_hir::{Expr, ExprKind, UnOp};
use rustc_middle::ty::{self, TypeAndMut};
-use rustc_span::{sym, Span};
+use rustc_span::sym;
use crate::{lints::InvalidReferenceCastingDiag, LateContext, LateLintPass, LintContext};
@@ -34,51 +33,18 @@ declare_lint! {
"casts of `&T` to `&mut T` without interior mutability"
}
-#[derive(Default)]
-pub struct InvalidReferenceCasting {
- casted: FxHashMap<HirId, Span>,
-}
-
-impl_lint_pass!(InvalidReferenceCasting => [INVALID_REFERENCE_CASTING]);
+declare_lint_pass!(InvalidReferenceCasting => [INVALID_REFERENCE_CASTING]);
impl<'tcx> LateLintPass<'tcx> for InvalidReferenceCasting {
- fn check_stmt(&mut self, cx: &LateContext<'tcx>, stmt: &'tcx rustc_hir::Stmt<'tcx>) {
- let StmtKind::Local(local) = stmt.kind else {
- return;
- };
- let Local { init: Some(init), els: None, .. } = local else {
- return;
- };
-
- if is_cast_from_const_to_mut(cx, init) {
- self.casted.insert(local.pat.hir_id, init.span);
- }
- }
-
fn check_expr(&mut self, cx: &LateContext<'tcx>, expr: &'tcx Expr<'tcx>) {
- // &mut <expr>
- let inner = if let ExprKind::AddrOf(_, Mutability::Mut, expr) = expr.kind {
- expr
- // <expr> = ...
- } else if let ExprKind::Assign(expr, _, _) = expr.kind {
- expr
- // <expr> += ...
- } else if let ExprKind::AssignOp(_, expr, _) = expr.kind {
- expr
- } else {
+ let Some((is_assignment, e)) = is_operation_we_care_about(cx, expr) else {
return;
};
- let ExprKind::Unary(UnOp::Deref, e) = &inner.kind else {
- return;
- };
+ let init = cx.expr_or_init(e);
- let orig_cast = if is_cast_from_const_to_mut(cx, e) {
- None
- } else if let ExprKind::Path(QPath::Resolved(_, path)) = e.kind
- && let Res::Local(hir_id) = &path.res
- && let Some(orig_cast) = self.casted.get(hir_id) {
- Some(*orig_cast)
+ let orig_cast = if is_cast_from_const_to_mut(cx, init) {
+ if init.span != e.span { Some(init.span) } else { None }
} else {
return;
};
@@ -86,84 +52,113 @@ impl<'tcx> LateLintPass<'tcx> for InvalidReferenceCasting {
cx.emit_spanned_lint(
INVALID_REFERENCE_CASTING,
expr.span,
- if matches!(expr.kind, ExprKind::AddrOf(..)) {
- InvalidReferenceCastingDiag::BorrowAsMut { orig_cast }
- } else {
+ if is_assignment {
InvalidReferenceCastingDiag::AssignToRef { orig_cast }
+ } else {
+ InvalidReferenceCastingDiag::BorrowAsMut { orig_cast }
},
);
}
}
-fn is_cast_from_const_to_mut<'tcx>(cx: &LateContext<'tcx>, e: &'tcx Expr<'tcx>) -> bool {
- let e = e.peel_blocks();
-
- fn from_casts<'tcx>(cx: &LateContext<'tcx>, e: &'tcx Expr<'tcx>) -> Option<&'tcx Expr<'tcx>> {
- // <expr> as *mut ...
- let mut e = if let ExprKind::Cast(e, t) = e.kind
- && let ty::RawPtr(TypeAndMut { mutbl: Mutability::Mut, .. }) = cx.typeck_results().node_type(t.hir_id).kind() {
- e
- // <expr>.cast_mut()
- } else if let ExprKind::MethodCall(_, expr, [], _) = e.kind
- && let Some(def_id) = cx.typeck_results().type_dependent_def_id(e.hir_id)
- && cx.tcx.is_diagnostic_item(sym::ptr_cast_mut, def_id) {
+fn is_operation_we_care_about<'tcx>(
+ cx: &LateContext<'tcx>,
+ e: &'tcx Expr<'tcx>,
+) -> Option<(bool, &'tcx Expr<'tcx>)> {
+ fn deref_assign_or_addr_of<'tcx>(expr: &'tcx Expr<'tcx>) -> Option<(bool, &'tcx Expr<'tcx>)> {
+ // &mut <expr>
+ let inner = if let ExprKind::AddrOf(_, Mutability::Mut, expr) = expr.kind {
+ expr
+ // <expr> = ...
+ } else if let ExprKind::Assign(expr, _, _) = expr.kind {
+ expr
+ // <expr> += ...
+ } else if let ExprKind::AssignOp(_, expr, _) = expr.kind {
expr
} else {
return None;
};
- let mut had_at_least_one_cast = false;
- loop {
- e = e.peel_blocks();
- // <expr> as *mut/const ... or <expr> as <uint>
- e = if let ExprKind::Cast(expr, t) = e.kind
- && matches!(cx.typeck_results().node_type(t.hir_id).kind(), ty::RawPtr(_) | ty::Uint(_)) {
- had_at_least_one_cast = true;
- expr
- // <expr>.cast(), <expr>.cast_mut() or <expr>.cast_const()
- } else if let ExprKind::MethodCall(_, expr, [], _) = e.kind
- && let Some(def_id) = cx.typeck_results().type_dependent_def_id(e.hir_id)
- && matches!(
- cx.tcx.get_diagnostic_name(def_id),
- Some(sym::ptr_cast | sym::const_ptr_cast | sym::ptr_cast_mut | sym::ptr_cast_const)
- )
- {
- had_at_least_one_cast = true;
- expr
- // ptr::from_ref(<expr>)
- } else if let ExprKind::Call(path, [arg]) = e.kind
- && let ExprKind::Path(ref qpath) = path.kind
- && let Some(def_id) = cx.qpath_res(qpath, path.hir_id).opt_def_id()
- && cx.tcx.is_diagnostic_item(sym::ptr_from_ref, def_id) {
- return Some(arg);
- } else if had_at_least_one_cast {
- return Some(e);
- } else {
- return None;
- };
+ if let ExprKind::Unary(UnOp::Deref, e) = &inner.kind {
+ Some((!matches!(expr.kind, ExprKind::AddrOf(..)), e))
+ } else {
+ None
}
}
- fn from_transmute<'tcx>(
+ fn ptr_write<'tcx>(
cx: &LateContext<'tcx>,
e: &'tcx Expr<'tcx>,
- ) -> Option<&'tcx Expr<'tcx>> {
- // mem::transmute::<_, *mut _>(<expr>)
- if let ExprKind::Call(path, [arg]) = e.kind
+ ) -> Option<(bool, &'tcx Expr<'tcx>)> {
+ if let ExprKind::Call(path, [arg_ptr, _arg_val]) = e.kind
&& let ExprKind::Path(ref qpath) = path.kind
&& let Some(def_id) = cx.qpath_res(qpath, path.hir_id).opt_def_id()
- && cx.tcx.is_diagnostic_item(sym::transmute, def_id)
- && let ty::RawPtr(TypeAndMut { mutbl: Mutability::Mut, .. }) = cx.typeck_results().node_type(e.hir_id).kind() {
- Some(arg)
+ && matches!(cx.tcx.get_diagnostic_name(def_id), Some(sym::ptr_write | sym::ptr_write_volatile | sym::ptr_write_unaligned))
+ {
+ Some((true, arg_ptr))
} else {
None
}
}
- let Some(e) = from_casts(cx, e).or_else(|| from_transmute(cx, e)) else {
+ deref_assign_or_addr_of(e).or_else(|| ptr_write(cx, e))
+}
+
+fn is_cast_from_const_to_mut<'tcx>(cx: &LateContext<'tcx>, orig_expr: &'tcx Expr<'tcx>) -> bool {
+ let mut need_check_freeze = false;
+ let mut e = orig_expr;
+
+ let end_ty = cx.typeck_results().node_type(orig_expr.hir_id);
+
+ // Bail out early if the end type is **not** a mutable pointer.
+ if !matches!(end_ty.kind(), ty::RawPtr(TypeAndMut { ty: _, mutbl: Mutability::Mut })) {
return false;
- };
+ }
+
+ loop {
+ e = e.peel_blocks();
+ // <expr> as ...
+ e = if let ExprKind::Cast(expr, _) = e.kind {
+ expr
+ // <expr>.cast(), <expr>.cast_mut() or <expr>.cast_const()
+ } else if let ExprKind::MethodCall(_, expr, [], _) = e.kind
+ && let Some(def_id) = cx.typeck_results().type_dependent_def_id(e.hir_id)
+ && matches!(
+ cx.tcx.get_diagnostic_name(def_id),
+ Some(sym::ptr_cast | sym::const_ptr_cast | sym::ptr_cast_mut | sym::ptr_cast_const)
+ )
+ {
+ expr
+ // ptr::from_ref(<expr>), UnsafeCell::raw_get(<expr>) or mem::transmute<_, _>(<expr>)
+ } else if let ExprKind::Call(path, [arg]) = e.kind
+ && let ExprKind::Path(ref qpath) = path.kind
+ && let Some(def_id) = cx.qpath_res(qpath, path.hir_id).opt_def_id()
+ && matches!(
+ cx.tcx.get_diagnostic_name(def_id),
+ Some(sym::ptr_from_ref | sym::unsafe_cell_raw_get | sym::transmute)
+ )
+ {
+ if cx.tcx.is_diagnostic_item(sym::unsafe_cell_raw_get, def_id) {
+ need_check_freeze = true;
+ }
+ arg
+ } else {
+ break;
+ };
+ }
- let e = e.peel_blocks();
- matches!(cx.typeck_results().node_type(e.hir_id).kind(), ty::Ref(_, _, Mutability::Not))
+ let start_ty = cx.typeck_results().node_type(e.hir_id);
+ if let ty::Ref(_, inner_ty, Mutability::Not) = start_ty.kind() {
+ // If an UnsafeCell method is involved we need to additionaly check the
+ // inner type for the presence of the Freeze trait (ie does NOT contain
+ // an UnsafeCell), since in that case we would incorrectly lint on valid casts.
+ //
+ // We also consider non concrete skeleton types (ie generics)
+ // to be an issue since there is no way to make it safe for abitrary types.
+ !need_check_freeze
+ || inner_ty.is_freeze(cx.tcx, cx.param_env)
+ || !inner_ty.has_concrete_skeleton()
+ } else {
+ false
+ }
}