2015-05-15 11:46:43 -05:00
|
|
|
#![feature(plugin)]
|
|
|
|
#![plugin(clippy)]
|
|
|
|
|
|
|
|
const ONE : i64 = 1;
|
|
|
|
const NEG_ONE : i64 = -1;
|
|
|
|
const ZERO : i64 = 0;
|
|
|
|
|
2016-02-11 06:50:41 -06:00
|
|
|
#[allow(eq_op, no_effect)]
|
2015-05-15 11:46:43 -05:00
|
|
|
#[deny(identity_op)]
|
|
|
|
fn main() {
|
2015-08-11 13:22:20 -05:00
|
|
|
let x = 0;
|
|
|
|
|
2015-08-13 01:12:07 -05:00
|
|
|
x + 0; //~ERROR the operation is ineffective
|
2015-08-17 04:46:45 -05:00
|
|
|
x + (1 - 1); //~ERROR the operation is ineffective
|
|
|
|
x + 1;
|
2015-08-13 01:12:07 -05:00
|
|
|
0 + x; //~ERROR the operation is ineffective
|
2015-08-17 04:46:45 -05:00
|
|
|
1 + x;
|
2015-08-16 16:09:56 -05:00
|
|
|
x - ZERO; //no error, as we skip lookups (for now)
|
2015-08-13 01:12:07 -05:00
|
|
|
x | (0); //~ERROR the operation is ineffective
|
2015-08-16 16:09:56 -05:00
|
|
|
((ZERO)) | x; //no error, as we skip lookups (for now)
|
2015-08-11 13:22:20 -05:00
|
|
|
|
2015-08-13 01:12:07 -05:00
|
|
|
x * 1; //~ERROR the operation is ineffective
|
|
|
|
1 * x; //~ERROR the operation is ineffective
|
2015-08-16 16:09:56 -05:00
|
|
|
x / ONE; //no error, as we skip lookups (for now)
|
2015-08-11 13:22:20 -05:00
|
|
|
|
2015-08-17 04:46:45 -05:00
|
|
|
x / 2; //no false positive
|
|
|
|
|
2015-08-16 16:09:56 -05:00
|
|
|
x & NEG_ONE; //no error, as we skip lookups (for now)
|
2015-08-13 01:12:07 -05:00
|
|
|
-1 & x; //~ERROR the operation is ineffective
|
2015-05-15 11:46:43 -05:00
|
|
|
}
|