1 //! lint on blocks unnecessarily using >= with a + 1 or - 1
6 use utils::{span_lint_and_then, snippet_opt};
8 /// **What it does:** Checks for usage of `x >= y + 1` or `x - 1 >= y` (and `<=`) in a block
11 /// **Why is this bad?** Readability -- better to use `> y` instead of `>= y + 1`.
13 /// **Known problems:** None.
28 "instead of using x >= y + 1, use x > y"
31 pub struct IntPlusOne;
33 impl LintPass for IntPlusOne {
34 fn get_lints(&self) -> LintArray {
35 lint_array!(INT_PLUS_ONE)
54 #[allow(cast_sign_loss)]
55 fn check_lit(&self, lit: &Lit, target_value: i128) -> bool {
56 if let LitKind::Int(value, ..) = lit.node {
57 return value == (target_value as u128)
62 fn check_binop(&self, cx: &EarlyContext, binop: BinOpKind, lhs: &Expr, rhs: &Expr) -> Option<String> {
63 match (binop, &lhs.node, &rhs.node) {
64 // case where `x - 1 >= ...` or `-1 + x >= ...`
65 (BinOpKind::Ge, &ExprKind::Binary(ref lhskind, ref lhslhs, ref lhsrhs), _) => {
66 match (lhskind.node, &lhslhs.node, &lhsrhs.node) {
68 (BinOpKind::Add, &ExprKind::Lit(ref lit), _) if self.check_lit(lit, -1) => self.generate_recommendation(cx, binop, lhsrhs, rhs, Side::LHS),
70 (BinOpKind::Sub, _, &ExprKind::Lit(ref lit)) if self.check_lit(lit, 1) => self.generate_recommendation(cx, binop, lhslhs, rhs, Side::LHS),
74 // case where `... >= y + 1` or `... >= 1 + y`
75 (BinOpKind::Ge, _, &ExprKind::Binary(ref rhskind, ref rhslhs, ref rhsrhs)) if rhskind.node == BinOpKind::Add => {
76 match (&rhslhs.node, &rhsrhs.node) {
77 // `y + 1` and `1 + y`
78 (&ExprKind::Lit(ref lit), _) if self.check_lit(lit, 1) => self.generate_recommendation(cx, binop, rhsrhs, lhs, Side::RHS),
79 (_, &ExprKind::Lit(ref lit)) if self.check_lit(lit, 1) => self.generate_recommendation(cx, binop, rhslhs, lhs, Side::RHS),
83 // case where `x + 1 <= ...` or `1 + x <= ...`
84 (BinOpKind::Le, &ExprKind::Binary(ref lhskind, ref lhslhs, ref lhsrhs), _) if lhskind.node == BinOpKind::Add => {
85 match (&lhslhs.node, &lhsrhs.node) {
86 // `1 + x` and `x + 1`
87 (&ExprKind::Lit(ref lit), _) if self.check_lit(lit, 1) => self.generate_recommendation(cx, binop, lhsrhs, rhs, Side::LHS),
88 (_, &ExprKind::Lit(ref lit)) if self.check_lit(lit, 1) => self.generate_recommendation(cx, binop, lhslhs, rhs, Side::LHS),
92 // case where `... >= y - 1` or `... >= -1 + y`
93 (BinOpKind::Le, _, &ExprKind::Binary(ref rhskind, ref rhslhs, ref rhsrhs)) => {
94 match (rhskind.node, &rhslhs.node, &rhsrhs.node) {
96 (BinOpKind::Add, &ExprKind::Lit(ref lit), _) if self.check_lit(lit, -1) => self.generate_recommendation(cx, binop, rhsrhs, lhs, Side::RHS),
98 (BinOpKind::Sub, _, &ExprKind::Lit(ref lit)) if self.check_lit(lit, 1) => self.generate_recommendation(cx, binop, rhslhs, lhs, Side::RHS),
106 fn generate_recommendation(&self, cx: &EarlyContext, binop: BinOpKind, node: &Expr, other_side: &Expr, side: Side) -> Option<String> {
107 let binop_string = match binop {
108 BinOpKind::Ge => ">",
109 BinOpKind::Le => "<",
112 if let Some(snippet) = snippet_opt(cx, node.span) {
113 if let Some(other_side_snippet) = snippet_opt(cx, other_side.span) {
114 let rec = match side {
115 Side::LHS => Some(format!("{} {} {}", snippet, binop_string, other_side_snippet)),
116 Side::RHS => Some(format!("{} {} {}", other_side_snippet, binop_string, snippet)),
124 fn emit_warning(&self, cx: &EarlyContext, block: &Expr, recommendation: String) {
125 span_lint_and_then(cx,
128 "Unnecessary `>= y + 1` or `x - 1 >=`",
130 db.span_suggestion(block.span, "change `>= y + 1` to `> y` as shown", recommendation);
135 impl EarlyLintPass for IntPlusOne {
136 fn check_expr(&mut self, cx: &EarlyContext, item: &Expr) {
137 if let ExprKind::Binary(ref kind, ref lhs, ref rhs) = item.node {
138 if let Some(ref rec) = self.check_binop(cx, kind.node, lhs, rhs) {
139 self.emit_warning(cx, item, rec.clone());