2016-04-17 21:33:21 +00:00
|
|
|
use rustc::hir::*;
|
|
|
|
use rustc::lint::*;
|
|
|
|
use syntax::codemap::{Span, Spanned};
|
|
|
|
|
|
|
|
use consts::{self, Constant};
|
|
|
|
use utils::span_lint;
|
|
|
|
|
|
|
|
/// **What it does:** Checks for multiplication by -1 as a form of negation.
|
|
|
|
///
|
|
|
|
/// **Why is this bad?** It's more readable to just negate.
|
|
|
|
///
|
2016-08-06 07:55:04 +00:00
|
|
|
/// **Known problems:** This only catches integers (for now).
|
2016-04-17 21:33:21 +00:00
|
|
|
///
|
2016-07-15 22:25:44 +00:00
|
|
|
/// **Example:**
|
|
|
|
/// ```rust
|
|
|
|
/// x * -1
|
|
|
|
/// ```
|
2016-04-17 21:33:21 +00:00
|
|
|
declare_lint! {
|
|
|
|
pub NEG_MULTIPLY,
|
|
|
|
Warn,
|
|
|
|
"Warns on multiplying integers with -1"
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Copy, Clone)]
|
|
|
|
pub struct NegMultiply;
|
|
|
|
|
|
|
|
impl LintPass for NegMultiply {
|
|
|
|
fn get_lints(&self) -> LintArray {
|
|
|
|
lint_array!(NEG_MULTIPLY)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[allow(match_same_arms)]
|
|
|
|
impl LateLintPass for NegMultiply {
|
|
|
|
fn check_expr(&mut self, cx: &LateContext, e: &Expr) {
|
|
|
|
if let ExprBinary(Spanned { node: BiMul, .. }, ref l, ref r) = e.node {
|
|
|
|
match (&l.node, &r.node) {
|
|
|
|
(&ExprUnary(..), &ExprUnary(..)) => (),
|
|
|
|
(&ExprUnary(UnNeg, ref lit), _) => check_mul(cx, e.span, lit, r),
|
|
|
|
(_, &ExprUnary(UnNeg, ref lit)) => check_mul(cx, e.span, lit, l),
|
2016-06-05 23:42:39 +00:00
|
|
|
_ => (),
|
2016-04-17 21:33:21 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn check_mul(cx: &LateContext, span: Span, lit: &Expr, exp: &Expr) {
|
|
|
|
if_let_chain!([
|
|
|
|
let ExprLit(ref l) = lit.node,
|
|
|
|
let Constant::Int(ref ci) = consts::lit_to_constant(&l.node),
|
|
|
|
let Some(val) = ci.to_u64(),
|
|
|
|
val == 1,
|
|
|
|
cx.tcx.expr_ty(exp).is_integral()
|
|
|
|
], {
|
2016-06-06 00:07:47 +00:00
|
|
|
span_lint(cx,
|
2016-04-17 21:33:21 +00:00
|
|
|
NEG_MULTIPLY,
|
|
|
|
span,
|
|
|
|
"Negation by multiplying with -1");
|
|
|
|
})
|
|
|
|
}
|