Skip to content

Commit

Permalink
Add tests for 'int_plus_one'
Browse files Browse the repository at this point in the history
  • Loading branch information
Michael Recachinas committed Sep 17, 2017
1 parent 535302e commit bb40bd6
Show file tree
Hide file tree
Showing 2 changed files with 53 additions and 0 deletions.
18 changes: 18 additions & 0 deletions tests/ui/int_plus_one.rs
@@ -0,0 +1,18 @@
#![feature(plugin)]
#![plugin(clippy)]

#[allow(no_effect, unnecessary_operation)]
#[warn(int_plus_one)]
fn main() {
let x = 1i32;
let y = 0i32;

x >= y + 1;
y + 1 <= x;

x - 1 >= y;
y <= x - 1;

x > y; // should be ok
y < x; // should be ok
}
35 changes: 35 additions & 0 deletions tests/ui/int_plus_one.stderr
@@ -0,0 +1,35 @@
error: Unnecessary `>= y + 1` or `x - 1 >=`
--> $DIR/int_plus_one.rs:10:5
|
10 | x >= y + 1;
| ^^^^^^^^^^
|
= note: `-D int-plus-one` implied by `-D warnings`
= help: Consider reducing `x >= y + 1` or `x - 1 >= y` to `x > y`

error: Unnecessary `>= y + 1` or `x - 1 >=`
--> $DIR/int_plus_one.rs:11:5
|
11 | y + 1 <= x;
| ^^^^^^^^^^
|
= help: Consider reducing `x >= y + 1` or `x - 1 >= y` to `x > y`

error: Unnecessary `>= y + 1` or `x - 1 >=`
--> $DIR/int_plus_one.rs:13:5
|
13 | x - 1 >= y;
| ^^^^^^^^^^
|
= help: Consider reducing `x >= y + 1` or `x - 1 >= y` to `x > y`

error: Unnecessary `>= y + 1` or `x - 1 >=`
--> $DIR/int_plus_one.rs:14:5
|
14 | y <= x - 1;
| ^^^^^^^^^^
|
= help: Consider reducing `x >= y + 1` or `x - 1 >= y` to `x > y`

error: aborting due to 4 previous errors

0 comments on commit bb40bd6

Please sign in to comment.