1 //! Lint on use of `size_of` or `size_of_val` of T in an expression
2 //! expecting a count of T
4 use clippy_utils::diagnostics::span_lint_and_help;
5 use clippy_utils::{match_def_path, paths};
6 use if_chain::if_chain;
7 use rustc_hir::BinOpKind;
8 use rustc_hir::{Expr, ExprKind};
9 use rustc_lint::{LateContext, LateLintPass};
10 use rustc_middle::ty::{self, Ty, TypeAndMut};
11 use rustc_session::{declare_lint_pass, declare_tool_lint};
14 declare_clippy_lint! {
16 /// Detects expressions where
17 /// `size_of::<T>` or `size_of_val::<T>` is used as a
18 /// count of elements of type `T`
20 /// ### Why is this bad?
21 /// These functions expect a count
22 /// of `T` and not a number of bytes
26 /// # use std::ptr::copy_nonoverlapping;
27 /// # use std::mem::size_of;
28 /// const SIZE: usize = 128;
29 /// let x = [2u8; SIZE];
30 /// let mut y = [2u8; SIZE];
31 /// unsafe { copy_nonoverlapping(x.as_ptr(), y.as_mut_ptr(), size_of::<u8>() * SIZE) };
33 #[clippy::version = "1.50.0"]
34 pub SIZE_OF_IN_ELEMENT_COUNT,
36 "using `size_of::<T>` or `size_of_val::<T>` where a count of elements of `T` is expected"
39 declare_lint_pass!(SizeOfInElementCount => [SIZE_OF_IN_ELEMENT_COUNT]);
41 fn get_size_of_ty<'tcx>(cx: &LateContext<'tcx>, expr: &'tcx Expr<'_>, inverted: bool) -> Option<Ty<'tcx>> {
43 ExprKind::Call(count_func, _func_args) => {
46 if let ExprKind::Path(ref count_func_qpath) = count_func.kind;
47 if let Some(def_id) = cx.qpath_res(count_func_qpath, count_func.hir_id).opt_def_id();
48 if matches!(cx.tcx.get_diagnostic_name(def_id), Some(sym::mem_size_of | sym::mem_size_of_val));
50 cx.typeck_results().node_substs(count_func.hir_id).types().next()
56 ExprKind::Binary(op, left, right) if BinOpKind::Mul == op.node => {
57 get_size_of_ty(cx, left, inverted).or_else(|| get_size_of_ty(cx, right, inverted))
59 ExprKind::Binary(op, left, right) if BinOpKind::Div == op.node => {
60 get_size_of_ty(cx, left, inverted).or_else(|| get_size_of_ty(cx, right, !inverted))
62 ExprKind::Cast(expr, _) => get_size_of_ty(cx, expr, inverted),
67 fn get_pointee_ty_and_count_expr<'tcx>(
68 cx: &LateContext<'tcx>,
70 ) -> Option<(Ty<'tcx>, &'tcx Expr<'tcx>)> {
71 const FUNCTIONS: [&[&str]; 8] = [
72 &paths::PTR_COPY_NONOVERLAPPING,
74 &paths::PTR_WRITE_BYTES,
75 &paths::PTR_SWAP_NONOVERLAPPING,
76 &paths::PTR_SLICE_FROM_RAW_PARTS,
77 &paths::PTR_SLICE_FROM_RAW_PARTS_MUT,
78 &paths::SLICE_FROM_RAW_PARTS,
79 &paths::SLICE_FROM_RAW_PARTS_MUT,
81 const METHODS: [&str; 11] = [
85 "copy_to_nonoverlapping",
86 "copy_from_nonoverlapping",
96 // Find calls to ptr::{copy, copy_nonoverlapping}
97 // and ptr::{swap_nonoverlapping, write_bytes},
98 if let ExprKind::Call(func, [.., count]) = expr.kind;
99 if let ExprKind::Path(ref func_qpath) = func.kind;
100 if let Some(def_id) = cx.qpath_res(func_qpath, func.hir_id).opt_def_id();
101 if FUNCTIONS.iter().any(|func_path| match_def_path(cx, def_id, func_path));
103 // Get the pointee type
104 if let Some(pointee_ty) = cx.typeck_results().node_substs(func.hir_id).types().next();
106 return Some((pointee_ty, count));
110 // Find calls to copy_{from,to}{,_nonoverlapping} and write_bytes methods
111 if let ExprKind::MethodCall(method_path, [ptr_self, .., count], _) = expr.kind;
112 let method_ident = method_path.ident.as_str();
113 if METHODS.iter().any(|m| *m == method_ident);
115 // Get the pointee type
116 if let ty::RawPtr(TypeAndMut { ty: pointee_ty, .. }) =
117 cx.typeck_results().expr_ty(ptr_self).kind();
119 return Some((*pointee_ty, count));
125 impl<'tcx> LateLintPass<'tcx> for SizeOfInElementCount {
126 fn check_expr(&mut self, cx: &LateContext<'tcx>, expr: &'tcx Expr<'_>) {
127 const HELP_MSG: &str = "use a count of elements instead of a count of bytes\
128 , it already gets multiplied by the size of the type";
130 const LINT_MSG: &str = "found a count of bytes \
131 instead of a count of elements of `T`";
134 // Find calls to functions with an element count parameter and get
135 // the pointee type and count parameter expression
136 if let Some((pointee_ty, count_expr)) = get_pointee_ty_and_count_expr(cx, expr);
138 // Find a size_of call in the count parameter expression and
139 // check that it's the same type
140 if let Some(ty_used_for_size_of) = get_size_of_ty(cx, count_expr, false);
141 if pointee_ty == ty_used_for_size_of;
145 SIZE_OF_IN_ELEMENT_COUNT,