2018-07-28 15:34:52 +00:00
|
|
|
#![feature(tool_lints)]
|
2017-09-18 10:47:33 +00:00
|
|
|
|
2015-05-15 16:46:43 +00:00
|
|
|
|
|
|
|
const ONE : i64 = 1;
|
|
|
|
const NEG_ONE : i64 = -1;
|
|
|
|
const ZERO : i64 = 0;
|
|
|
|
|
2018-07-28 15:34:52 +00:00
|
|
|
#[allow(clippy::eq_op, clippy::no_effect, clippy::unnecessary_operation, clippy::double_parens)]
|
|
|
|
#[warn(clippy::identity_op)]
|
2015-05-15 16:46:43 +00:00
|
|
|
fn main() {
|
2015-08-11 18:22:20 +00:00
|
|
|
let x = 0;
|
|
|
|
|
2017-02-08 13:58:07 +00:00
|
|
|
x + 0;
|
|
|
|
x + (1 - 1);
|
2015-08-17 09:46:45 +00:00
|
|
|
x + 1;
|
2017-02-08 13:58:07 +00:00
|
|
|
0 + x;
|
2015-08-17 09:46:45 +00:00
|
|
|
1 + x;
|
2015-08-16 21:09:56 +00:00
|
|
|
x - ZERO; //no error, as we skip lookups (for now)
|
2017-02-08 13:58:07 +00:00
|
|
|
x | (0);
|
2015-08-16 21:09:56 +00:00
|
|
|
((ZERO)) | x; //no error, as we skip lookups (for now)
|
2015-08-11 18:22:20 +00:00
|
|
|
|
2017-02-08 13:58:07 +00:00
|
|
|
x * 1;
|
|
|
|
1 * x;
|
2015-08-16 21:09:56 +00:00
|
|
|
x / ONE; //no error, as we skip lookups (for now)
|
2015-08-11 18:22:20 +00:00
|
|
|
|
2015-08-17 09:46:45 +00:00
|
|
|
x / 2; //no false positive
|
|
|
|
|
2015-08-16 21:09:56 +00:00
|
|
|
x & NEG_ONE; //no error, as we skip lookups (for now)
|
2017-02-08 13:58:07 +00:00
|
|
|
-1 & x;
|
2017-09-30 08:33:15 +00:00
|
|
|
|
|
|
|
let u : u8 = 0;
|
|
|
|
u & 255;
|
2015-05-15 16:46:43 +00:00
|
|
|
}
|