clippy_lints/src/self_assignment.rs

   1 use clippy_utils::diagnostics::span_lint;
   2 use clippy_utils::eq_expr_value;
   3 use clippy_utils::source::snippet;
   4 use rustc_hir::{Expr, ExprKind};
   5 use rustc_lint::{LateContext, LateLintPass};
   6 use rustc_session::{declare_lint_pass, declare_tool_lint};
   7
   8 declare_clippy_lint! {
   9     /// ### What it does
  10     /// Checks for explicit self-assignments.
  11     ///
  12     /// ### Why is this bad?
  13     /// Self-assignments are redundant and unlikely to be
  14     /// intentional.
  15     ///
  16     /// ### Known problems
  17     /// If expression contains any deref coercions or
  18     /// indexing operations they are assumed not to have any side effects.
  19     ///
  20     /// ### Example
  21     /// ```rust
  22     /// struct Event {
  23     ///     id: usize,
  24     ///     x: i32,
  25     ///     y: i32,
  26     /// }
  27     ///
  28     /// fn copy_position(a: &mut Event, b: &Event) {
  29     ///     a.x = b.x;
  30     ///     a.y = a.y;
  31     /// }
  32     /// ```
  33     #[clippy::version = "1.48.0"]
  34     pub SELF_ASSIGNMENT,
  35     correctness,
  36     "explicit self-assignment"
  37 }
  38
  39 declare_lint_pass!(SelfAssignment => [SELF_ASSIGNMENT]);
  40
  41 impl<'tcx> LateLintPass<'tcx> for SelfAssignment {
  42     fn check_expr(&mut self, cx: &LateContext<'tcx>, expr: &'tcx Expr<'_>) {
  43         if let ExprKind::Assign(lhs, rhs, _) = &expr.kind {
  44             if eq_expr_value(cx, lhs, rhs) {
  45                 let lhs = snippet(cx, lhs.span, "<lhs>");
  46                 let rhs = snippet(cx, rhs.span, "<rhs>");
  47                 span_lint(
  48                     cx,
  49                     SELF_ASSIGNMENT,
  50                     expr.span,
  51                     &format!("self-assignment of `{}` to `{}`", rhs, lhs),
  52                 );
  53             }
  54         }
  55     }
  56 }