]> git.lizzy.rs Git - rust.git/commitdiff
Add tests for 'int_plus_one'
authorMichael Recachinas <mgr3yp@virginia.edu>
Sun, 17 Sep 2017 16:27:40 +0000 (17:27 +0100)
committerMichael Recachinas <mgr3yp@virginia.edu>
Sun, 17 Sep 2017 16:27:40 +0000 (17:27 +0100)
tests/ui/int_plus_one.rs [new file with mode: 0644]
tests/ui/int_plus_one.stderr [new file with mode: 0644]

diff --git a/tests/ui/int_plus_one.rs b/tests/ui/int_plus_one.rs
new file mode 100644 (file)
index 0000000..90375da
--- /dev/null
@@ -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
+}
diff --git a/tests/ui/int_plus_one.stderr b/tests/ui/int_plus_one.stderr
new file mode 100644 (file)
index 0000000..fd39e03
--- /dev/null
@@ -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
+