Skip to content

Commit 9c3c938

Browse files
oli-obkoli-obk
authored
Merge pull request #1613 from Manishearth/dont_ref_operator_args
Dont ref operator args
2 parents 813daf2 + 0ae1a77 commit 9c3c938

25 files changed

+136
-68
lines changed

‎clippy_lints/src/approx_const.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -77,10 +77,10 @@ fn check_lit(cx: &LateContext, lit: &Lit, e: &Expr) {
7777
}
7878

7979
fn check_known_consts(cx: &LateContext, e: &Expr, s: &symbol::Symbol, module: &str) {
80-
let s = &*s.as_str();
80+
let s = s.as_str();
8181
if s.parse::<f64>().is_ok() {
8282
for &(constant, name, min_digits) in KNOWN_CONSTS {
83-
if is_approx_const(constant, s, min_digits) {
83+
if is_approx_const(constant, &s, min_digits) {
8484
span_lint(cx,
8585
APPROX_CONSTANT,
8686
e.span,

‎clippy_lints/src/attrs.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -237,7 +237,7 @@ fn check_attrs(cx: &LateContext, span: Span, name: &Name, attrs: &[Attribute]) {
237237

238238
fn check_semver(cx: &LateContext, span: Span, lit: &Lit) {
239239
if let LitKind::Str(ref is, _) = lit.node {
240-
if Version::parse(&*is.as_str()).is_ok() {
240+
if Version::parse(&is.as_str()).is_ok() {
241241
return;
242242
}
243243
}

‎clippy_lints/src/blacklisted_name.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -40,7 +40,7 @@ impl LintPass for BlackListedName {
4040
impl<'a, 'tcx> LateLintPass<'a, 'tcx> for BlackListedName {
4141
fn check_pat(&mut self, cx: &LateContext<'a, 'tcx>, pat: &'tcx Pat) {
4242
if let PatKind::Binding(_, _, ref ident, _) = pat.node {
43-
if self.blacklist.iter().any(|s| s == &*ident.node.as_str()) {
43+
if self.blacklist.iter().any(|s| ident.node == *s) {
4444
span_lint(cx,
4545
BLACKLISTED_NAME,
4646
pat.span,

‎clippy_lints/src/doc.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -90,7 +90,7 @@ pub fn check_attrs<'a>(cx: &EarlyContext, valid_idents: &[String], attrs: &'a [a
9090
for attr in attrs {
9191
if attr.is_sugared_doc {
9292
if let Some(ref doc) = attr.value_str() {
93-
let doc = (*doc.as_str()).to_owned();
93+
let doc = doc.to_string();
9494
docs.extend_from_slice(&strip_doc_comment_decoration((doc, attr.span)));
9595
}
9696
}

‎clippy_lints/src/entry.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -85,7 +85,7 @@ fn check_cond<'a, 'tcx, 'b>(
8585
if_let_chain! {[
8686
let ExprMethodCall(ref name, _, ref params) = check.node,
8787
params.len() >= 2,
88-
&*name.node.as_str() == "contains_key",
88+
name.node == "contains_key",
8989
let ExprAddrOf(_, ref key) = params[1].node
9090
], {
9191
let map = &params[0];
@@ -119,7 +119,7 @@ impl<'a, 'tcx, 'b> Visitor<'tcx> for InsertVisitor<'a, 'tcx, 'b> {
119119
if_let_chain! {[
120120
let ExprMethodCall(ref name, _, ref params) = expr.node,
121121
params.len() == 3,
122-
&*name.node.as_str() == "insert",
122+
name.node == "insert",
123123
get_item_name(self.cx, self.map) == get_item_name(self.cx, &params[0]),
124124
SpanlessEq::new(self.cx).eq_expr(self.key, &params[1])
125125
], {

‎clippy_lints/src/enum_variants.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -232,7 +232,7 @@ impl EarlyLintPass for EnumVariantNames {
232232
if let Some(&(ref mod_name, ref mod_camel)) = self.modules.last() {
233233
// constants don't have surrounding modules
234234
if !mod_camel.is_empty() {
235-
if mod_name == &item_name {
235+
if *mod_name == item_name {
236236
if let ItemKind::Mod(..) = item.node {
237237
span_lint(cx,
238238
MODULE_INCEPTION,

‎clippy_lints/src/eq_op.rs

Lines changed: 76 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
use rustc::hir::*;
22
use rustc::lint::*;
3-
use utils::{SpanlessEq, span_lint};
3+
use utils::{SpanlessEq, span_lint, span_lint_and_then, multispan_sugg, snippet};
4+
use utils::sugg::Sugg;
45

56
/// **What it does:** Checks for equal operands to comparison, logical and
67
/// bitwise, difference and division binary operators (`==`, `>`, etc., `&&`,
@@ -23,23 +24,91 @@ declare_lint! {
2324
"equal operands on both sides of a comparison or bitwise combination (e.g. `x == x`)"
2425
}
2526

27+
/// **What it does:** Checks for arguments to `==` which have their address taken to satisfy a bound
28+
/// and suggests to dereference the other argument instead
29+
///
30+
/// **Why is this bad?** It is more idiomatic to dereference the other argument.
31+
///
32+
/// **Known problems:** None
33+
///
34+
/// **Example:**
35+
/// ```rust
36+
/// &x == y
37+
/// ```
38+
declare_lint! {
39+
pub OP_REF,
40+
Warn,
41+
"taking a reference to satisfy the type constraints on `==`"
42+
}
43+
2644
#[derive(Copy,Clone)]
2745
pub struct EqOp;
2846

2947
impl LintPass for EqOp {
3048
fn get_lints(&self) -> LintArray {
31-
lint_array!(EQ_OP)
49+
lint_array!(EQ_OP, OP_REF)
3250
}
3351
}
3452

3553
impl<'a, 'tcx> LateLintPass<'a, 'tcx> for EqOp {
3654
fn check_expr(&mut self, cx: &LateContext<'a, 'tcx>, e: &'tcx Expr) {
3755
if let ExprBinary(ref op, ref left, ref right) = e.node {
38-
if is_valid_operator(op) && SpanlessEq::new(cx).ignore_fn().eq_expr(left, right) {
39-
span_lint(cx,
40-
EQ_OP,
41-
e.span,
42-
&format!("equal expressions as operands to `{}`", op.node.as_str()));
56+
if is_valid_operator(op) {
57+
if SpanlessEq::new(cx).ignore_fn().eq_expr(left, right) {
58+
span_lint(cx,
59+
EQ_OP,
60+
e.span,
61+
&format!("equal expressions as operands to `{}`", op.node.as_str()));
62+
} else {
63+
match (&left.node, &right.node) {
64+
(&ExprAddrOf(_, ref l), &ExprAddrOf(_, ref r)) => {
65+
span_lint_and_then(cx,
66+
OP_REF,
67+
e.span,
68+
"taken reference of both operands, which is done automatically by the operator anyway",
69+
|db| {
70+
let lsnip = snippet(cx, l.span, "...").to_string();
71+
let rsnip = snippet(cx, r.span, "...").to_string();
72+
multispan_sugg(db,
73+
"use the values directly".to_string(),
74+
vec![(left.span, lsnip),
75+
(right.span, rsnip)]);
76+
}
77+
)
78+
}
79+
(&ExprAddrOf(_, ref l), _) => {
80+
span_lint_and_then(cx,
81+
OP_REF,
82+
e.span,
83+
"taken reference of left operand",
84+
|db| {
85+
let lsnip = snippet(cx, l.span, "...").to_string();
86+
let rsnip = Sugg::hir(cx, right, "...").deref().to_string();
87+
multispan_sugg(db,
88+
"dereference the right operand instead".to_string(),
89+
vec![(left.span, lsnip),
90+
(right.span, rsnip)]);
91+
}
92+
)
93+
}
94+
(_, &ExprAddrOf(_, ref r)) => {
95+
span_lint_and_then(cx,
96+
OP_REF,
97+
e.span,
98+
"taken reference of right operand",
99+
|db| {
100+
let lsnip = Sugg::hir(cx, left, "...").deref().to_string();
101+
let rsnip = snippet(cx, r.span, "...").to_string();
102+
multispan_sugg(db,
103+
"dereference the left operand instead".to_string(),
104+
vec![(left.span, lsnip),
105+
(right.span, rsnip)]);
106+
}
107+
)
108+
}
109+
_ => {}
110+
}
111+
}
43112
}
44113
}
45114
}

‎clippy_lints/src/format.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -79,7 +79,7 @@ pub fn get_argument_fmtstr_parts<'a, 'b>(cx: &LateContext<'a, 'b>, expr: &'a Exp
7979
let StmtDecl(ref decl, _) = block.stmts[0].node,
8080
let DeclItem(ref decl) = decl.node,
8181
let Some(NodeItem(decl)) = cx.tcx.hir.find(decl.id),
82-
&*decl.name.as_str() == "__STATIC_FMTSTR",
82+
decl.name == "__STATIC_FMTSTR",
8383
let ItemStatic(_, _, ref expr) = decl.node,
8484
let ExprAddrOf(_, ref expr) = cx.tcx.hir.body(*expr).value.node, // &["…", "…", …]
8585
let ExprArray(ref exprs) = expr.node,

‎clippy_lints/src/len_zero.rs

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -89,7 +89,7 @@ impl<'a, 'tcx> LateLintPass<'a, 'tcx> for LenZero {
8989

9090
fn check_trait_items(cx: &LateContext, item: &Item, trait_items: &[TraitItemRef]) {
9191
fn is_named_self(cx: &LateContext, item: &TraitItemRef, name: &str) -> bool {
92-
&*item.name.as_str() == name &&
92+
item.name == name &&
9393
if let AssociatedItemKind::Method { has_self } = item.kind {
9494
has_self &&
9595
{
@@ -116,7 +116,7 @@ fn check_trait_items(cx: &LateContext, item: &Item, trait_items: &[TraitItemRef]
116116

117117
fn check_impl_items(cx: &LateContext, item: &Item, impl_items: &[ImplItemRef]) {
118118
fn is_named_self(cx: &LateContext, item: &ImplItemRef, name: &str) -> bool {
119-
&*item.name.as_str() == name &&
119+
item.name == name &&
120120
if let AssociatedItemKind::Method { has_self } = item.kind {
121121
has_self &&
122122
{
@@ -155,22 +155,22 @@ fn check_impl_items(cx: &LateContext, item: &Item, impl_items: &[ImplItemRef]) {
155155
fn check_cmp(cx: &LateContext, span: Span, left: &Expr, right: &Expr, op: &str) {
156156
// check if we are in an is_empty() method
157157
if let Some(name) = get_item_name(cx, left) {
158-
if &*name.as_str() == "is_empty" {
158+
if name == "is_empty" {
159159
return;
160160
}
161161
}
162162
match (&left.node, &right.node) {
163163
(&ExprLit(ref lit), &ExprMethodCall(ref method, _, ref args)) |
164164
(&ExprMethodCall(ref method, _, ref args), &ExprLit(ref lit)) => {
165-
check_len_zero(cx, span, &method.node, args, lit, op)
165+
check_len_zero(cx, span, method.node, args, lit, op)
166166
},
167167
_ => (),
168168
}
169169
}
170170

171-
fn check_len_zero(cx: &LateContext, span: Span, name: &Name, args: &[Expr], lit: &Lit, op: &str) {
171+
fn check_len_zero(cx: &LateContext, span: Span, name: Name, args: &[Expr], lit: &Lit, op: &str) {
172172
if let Spanned { node: LitKind::Int(0, _), .. } = *lit {
173-
if &*name.as_str() == "len" && args.len() == 1 && has_is_empty(cx, &args[0]) {
173+
if name == "len" && args.len() == 1 && has_is_empty(cx, &args[0]) {
174174
span_lint_and_then(cx, LEN_ZERO, span, "length comparison to zero", |db| {
175175
db.span_suggestion(span,
176176
"consider using `is_empty`",
@@ -185,7 +185,7 @@ fn has_is_empty(cx: &LateContext, expr: &Expr) -> bool {
185185
/// Get an `AssociatedItem` and return true if it matches `is_empty(self)`.
186186
fn is_is_empty(cx: &LateContext, item: &ty::AssociatedItem) -> bool {
187187
if let ty::AssociatedKind::Method = item.kind {
188-
if &*item.name.as_str() == "is_empty" {
188+
if item.name == "is_empty" {
189189
let sig = cx.tcx.item_type(item.def_id).fn_sig();
190190
let ty = sig.skip_binder();
191191
ty.inputs().len() == 1

‎clippy_lints/src/lifetimes.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -199,7 +199,7 @@ fn allowed_lts_from(named_lts: &[LifetimeDef]) -> HashSet<RefLt> {
199199

200200
fn lts_from_bounds<'a, T: Iterator<Item = &'a Lifetime>>(mut vec: Vec<RefLt>, bounds_lts: T) -> Vec<RefLt> {
201201
for lt in bounds_lts {
202-
if &*lt.name.as_str() != "'static" {
202+
if lt.name != "'static" {
203203
vec.push(RefLt::Named(lt.name));
204204
}
205205
}
@@ -228,7 +228,7 @@ impl<'v, 't> RefVisitor<'v, 't> {
228228

229229
fn record(&mut self, lifetime: &Option<Lifetime>) {
230230
if let Some(ref lt) = *lifetime {
231-
if &*lt.name.as_str() == "'static" {
231+
if lt.name == "'static" {
232232
self.lts.push(RefLt::Static);
233233
} else if lt.is_elided() {
234234
self.lts.push(RefLt::Unnamed);

0 commit comments

Comments
 (0)