]> git.lizzy.rs Git - rust.git/blob - clippy_lints/src/reference.rs
22ae7a291d00e5486e9ef8cb6a7b306aefda8257
[rust.git] / clippy_lints / src / reference.rs
1 use clippy_utils::diagnostics::span_lint_and_sugg;
2 use clippy_utils::source::{snippet_opt, snippet_with_applicability};
3 use clippy_utils::sugg::Sugg;
4 use if_chain::if_chain;
5 use rustc_ast::ast::{Expr, ExprKind, Mutability, UnOp};
6 use rustc_errors::Applicability;
7 use rustc_lint::{EarlyContext, EarlyLintPass};
8 use rustc_session::{declare_lint_pass, declare_tool_lint};
9 use rustc_span::BytePos;
10
11 declare_clippy_lint! {
12     /// ### What it does
13     /// Checks for usage of `*&` and `*&mut` in expressions.
14     ///
15     /// ### Why is this bad?
16     /// Immediately dereferencing a reference is no-op and
17     /// makes the code less clear.
18     ///
19     /// ### Known problems
20     /// Multiple dereference/addrof pairs are not handled so
21     /// the suggested fix for `x = **&&y` is `x = *&y`, which is still incorrect.
22     ///
23     /// ### Example
24     /// ```rust,ignore
25     /// // Bad
26     /// let a = f(*&mut b);
27     /// let c = *&d;
28     ///
29     /// // Good
30     /// let a = f(b);
31     /// let c = d;
32     /// ```
33     #[clippy::version = "pre 1.29.0"]
34     pub DEREF_ADDROF,
35     complexity,
36     "use of `*&` or `*&mut` in an expression"
37 }
38
39 declare_lint_pass!(DerefAddrOf => [DEREF_ADDROF]);
40
41 fn without_parens(mut e: &Expr) -> &Expr {
42     while let ExprKind::Paren(ref child_e) = e.kind {
43         e = child_e;
44     }
45     e
46 }
47
48 impl EarlyLintPass for DerefAddrOf {
49     fn check_expr(&mut self, cx: &EarlyContext<'_>, e: &Expr) {
50         if_chain! {
51             if let ExprKind::Unary(UnOp::Deref, ref deref_target) = e.kind;
52             if let ExprKind::AddrOf(_, ref mutability, ref addrof_target) = without_parens(deref_target).kind;
53             if !addrof_target.span.from_expansion();
54             then {
55                 let mut applicability = Applicability::MachineApplicable;
56                 let sugg = if e.span.from_expansion() {
57                     #[allow(clippy::option_if_let_else)]
58                     if let Some(macro_source) = snippet_opt(cx, e.span) {
59                         // Remove leading whitespace from the given span
60                         // e.g: ` $visitor` turns into `$visitor`
61                         let trim_leading_whitespaces = |span| {
62                             snippet_opt(cx, span).and_then(|snip| {
63                                 #[allow(clippy::cast_possible_truncation)]
64                                 snip.find(|c: char| !c.is_whitespace()).map(|pos| {
65                                     span.lo() + BytePos(pos as u32)
66                                 })
67                             }).map_or(span, |start_no_whitespace| e.span.with_lo(start_no_whitespace))
68                         };
69
70                         let mut generate_snippet = |pattern: &str| {
71                             #[allow(clippy::cast_possible_truncation)]
72                             macro_source.rfind(pattern).map(|pattern_pos| {
73                                 let rpos = pattern_pos + pattern.len();
74                                 let span_after_ref = e.span.with_lo(BytePos(e.span.lo().0 + rpos as u32));
75                                 let span = trim_leading_whitespaces(span_after_ref);
76                                 snippet_with_applicability(cx, span, "_", &mut applicability)
77                             })
78                         };
79
80                         if *mutability == Mutability::Mut {
81                             generate_snippet("mut")
82                         } else {
83                             generate_snippet("&")
84                         }
85                     } else {
86                         Some(snippet_with_applicability(cx, e.span, "_", &mut applicability))
87                     }
88                 } else {
89                     Some(snippet_with_applicability(cx, addrof_target.span, "_", &mut applicability))
90                 };
91                 if let Some(sugg) = sugg {
92                     span_lint_and_sugg(
93                         cx,
94                         DEREF_ADDROF,
95                         e.span,
96                         "immediately dereferencing a reference",
97                         "try this",
98                         sugg.to_string(),
99                         applicability,
100                     );
101                 }
102             }
103         }
104     }
105 }
106
107 declare_clippy_lint! {
108     /// ### What it does
109     /// Checks for references in expressions that use
110     /// auto dereference.
111     ///
112     /// ### Why is this bad?
113     /// The reference is a no-op and is automatically
114     /// dereferenced by the compiler and makes the code less clear.
115     ///
116     /// ### Example
117     /// ```rust
118     /// struct Point(u32, u32);
119     /// let point = Point(30, 20);
120     /// let x = (&point).0;
121     /// ```
122     /// Use instead:
123     /// ```rust
124     /// # struct Point(u32, u32);
125     /// # let point = Point(30, 20);
126     /// let x = point.0;
127     /// ```
128     #[clippy::version = "pre 1.29.0"]
129     pub REF_IN_DEREF,
130     complexity,
131     "Use of reference in auto dereference expression."
132 }
133
134 declare_lint_pass!(RefInDeref => [REF_IN_DEREF]);
135
136 impl EarlyLintPass for RefInDeref {
137     fn check_expr(&mut self, cx: &EarlyContext<'_>, e: &Expr) {
138         if_chain! {
139             if let ExprKind::Field(ref object, _) = e.kind;
140             if let ExprKind::Paren(ref parened) = object.kind;
141             if let ExprKind::AddrOf(_, _, ref inner) = parened.kind;
142             then {
143                 let applicability = if inner.span.from_expansion() {
144                     Applicability::MaybeIncorrect
145                 } else {
146                     Applicability::MachineApplicable
147                 };
148                 let sugg = Sugg::ast(cx, inner, "_").maybe_par();
149                 span_lint_and_sugg(
150                     cx,
151                     REF_IN_DEREF,
152                     object.span,
153                     "creating a reference that is immediately dereferenced",
154                     "try this",
155                     sugg.to_string(),
156                     applicability,
157                 );
158             }
159         }
160     }
161 }