2016-03-30 19:53:43 +02:00
|
|
|
#![feature(plugin)]
|
|
|
|
#![plugin(clippy)]
|
|
|
|
|
|
|
|
#![allow(unused_variables, unused_assignments, similar_names, blacklisted_name)]
|
|
|
|
#![deny(useless_let_if_seq)]
|
|
|
|
|
|
|
|
fn f() -> bool { true }
|
2016-06-05 21:38:15 +02:00
|
|
|
fn g(x: i32) -> i32 { x + 1 }
|
|
|
|
|
|
|
|
fn issue985() -> i32 {
|
|
|
|
let mut x = 42;
|
|
|
|
if f() {
|
|
|
|
x = g(x);
|
|
|
|
}
|
|
|
|
|
|
|
|
x
|
|
|
|
}
|
|
|
|
|
|
|
|
fn issue985_alt() -> i32 {
|
|
|
|
let mut x = 42;
|
|
|
|
if f() {
|
|
|
|
f();
|
|
|
|
} else {
|
|
|
|
x = g(x);
|
|
|
|
}
|
|
|
|
|
|
|
|
x
|
|
|
|
}
|
2016-03-30 19:53:43 +02:00
|
|
|
|
2016-06-03 19:35:39 +02:00
|
|
|
fn issue975() -> String {
|
|
|
|
let mut udn = "dummy".to_string();
|
|
|
|
if udn.starts_with("uuid:") {
|
|
|
|
udn = String::from(&udn[5..]);
|
|
|
|
}
|
|
|
|
udn
|
|
|
|
}
|
|
|
|
|
2016-03-30 19:53:43 +02:00
|
|
|
fn early_return() -> u8 {
|
|
|
|
// FIXME: we could extend the lint to include such cases:
|
|
|
|
let foo;
|
|
|
|
|
|
|
|
if f() {
|
|
|
|
return 42;
|
|
|
|
} else {
|
|
|
|
foo = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
foo
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
early_return();
|
2016-06-03 19:35:39 +02:00
|
|
|
issue975();
|
2016-06-05 21:38:15 +02:00
|
|
|
issue985();
|
|
|
|
issue985_alt();
|
2016-03-30 19:53:43 +02:00
|
|
|
|
|
|
|
let mut foo = 0;
|
2017-02-08 14:58:07 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
2016-03-30 19:53:43 +02:00
|
|
|
if f() {
|
|
|
|
foo = 42;
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut bar = 0;
|
2017-02-08 14:58:07 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
2016-03-30 19:53:43 +02:00
|
|
|
if f() {
|
|
|
|
f();
|
|
|
|
bar = 42;
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
f();
|
|
|
|
}
|
|
|
|
|
|
|
|
let quz;
|
2017-02-08 14:58:07 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
2016-03-30 19:53:43 +02:00
|
|
|
|
|
|
|
if f() {
|
|
|
|
quz = 42;
|
|
|
|
} else {
|
|
|
|
quz = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
// `toto` is used several times
|
|
|
|
let mut toto;
|
|
|
|
|
|
|
|
if f() {
|
|
|
|
toto = 42;
|
|
|
|
} else {
|
|
|
|
for i in &[1, 2] {
|
|
|
|
toto = *i;
|
|
|
|
}
|
|
|
|
|
|
|
|
toto = 2;
|
|
|
|
}
|
|
|
|
|
2016-06-09 00:22:59 +02:00
|
|
|
// found in libcore, the inner if is not a statement but the block's expr
|
|
|
|
let mut ch = b'x';
|
|
|
|
if f() {
|
|
|
|
ch = b'*';
|
|
|
|
if f() {
|
|
|
|
ch = b'?';
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-03-30 19:53:43 +02:00
|
|
|
// baz needs to be mut
|
|
|
|
let mut baz = 0;
|
2017-02-08 14:58:07 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
2016-03-30 19:53:43 +02:00
|
|
|
if f() {
|
|
|
|
baz = 42;
|
|
|
|
}
|
|
|
|
|
|
|
|
baz = 1337;
|
|
|
|
}
|