2016-01-30 18:03:53 +01:00
|
|
|
#![feature(plugin)]
|
|
|
|
#![plugin(clippy)]
|
|
|
|
|
2016-02-11 13:50:41 +01:00
|
|
|
#![allow(dead_code, no_effect)]
|
2016-01-30 20:10:14 +01:00
|
|
|
#![allow(let_and_return)]
|
|
|
|
#![allow(needless_return)]
|
|
|
|
#![allow(unused_variables)]
|
2016-02-10 01:22:53 +01:00
|
|
|
#![allow(cyclomatic_complexity)]
|
2016-01-30 18:03:53 +01:00
|
|
|
|
2016-02-10 01:22:53 +01:00
|
|
|
fn bar<T>(_: T) {}
|
2016-01-30 18:03:53 +01:00
|
|
|
fn foo() -> bool { unimplemented!() }
|
|
|
|
|
2016-02-09 16:45:47 +01:00
|
|
|
#[deny(if_same_then_else)]
|
2016-02-10 01:22:53 +01:00
|
|
|
#[deny(match_same_arms)]
|
2016-02-13 15:36:57 +01:00
|
|
|
fn if_same_then_else() -> Result<&'static str, ()> {
|
2016-02-09 16:45:47 +01:00
|
|
|
if true {
|
2016-01-30 19:16:49 +01:00
|
|
|
foo();
|
|
|
|
}
|
2016-02-10 01:22:53 +01:00
|
|
|
else { //~ERROR this `if` has identical blocks
|
2016-01-30 19:16:49 +01:00
|
|
|
foo();
|
|
|
|
}
|
|
|
|
|
|
|
|
if true {
|
|
|
|
foo();
|
|
|
|
foo();
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
foo();
|
|
|
|
}
|
|
|
|
|
2016-02-09 16:45:47 +01:00
|
|
|
let _ = if true {
|
2016-01-30 19:16:49 +01:00
|
|
|
foo();
|
|
|
|
42
|
|
|
|
}
|
2016-02-10 01:22:53 +01:00
|
|
|
else { //~ERROR this `if` has identical blocks
|
2016-01-30 19:16:49 +01:00
|
|
|
foo();
|
|
|
|
42
|
|
|
|
};
|
|
|
|
|
|
|
|
if true {
|
|
|
|
foo();
|
|
|
|
}
|
|
|
|
|
2016-02-09 16:45:47 +01:00
|
|
|
let _ = if true {
|
2016-01-30 19:16:49 +01:00
|
|
|
42
|
|
|
|
}
|
2016-02-10 01:22:53 +01:00
|
|
|
else { //~ERROR this `if` has identical blocks
|
2016-01-30 19:16:49 +01:00
|
|
|
42
|
|
|
|
};
|
2016-01-30 20:10:14 +01:00
|
|
|
|
2016-02-09 16:45:47 +01:00
|
|
|
if true {
|
2016-01-30 20:10:14 +01:00
|
|
|
let bar = if true {
|
|
|
|
42
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
43
|
|
|
|
};
|
|
|
|
|
|
|
|
while foo() { break; }
|
|
|
|
bar + 1;
|
|
|
|
}
|
2016-02-10 01:22:53 +01:00
|
|
|
else { //~ERROR this `if` has identical blocks
|
2016-01-30 20:10:14 +01:00
|
|
|
let bar = if true {
|
|
|
|
42
|
|
|
|
}
|
|
|
|
else {
|
|
|
|
43
|
|
|
|
};
|
|
|
|
|
|
|
|
while foo() { break; }
|
|
|
|
bar + 1;
|
|
|
|
}
|
|
|
|
|
2016-02-09 16:45:47 +01:00
|
|
|
if true {
|
2016-02-10 01:22:53 +01:00
|
|
|
let _ = match 42 {
|
|
|
|
42 => 1,
|
|
|
|
a if a > 0 => 2,
|
|
|
|
10...15 => 3,
|
|
|
|
_ => 4,
|
|
|
|
};
|
2016-01-30 20:10:14 +01:00
|
|
|
}
|
2016-02-09 16:45:47 +01:00
|
|
|
else if false {
|
|
|
|
foo();
|
|
|
|
}
|
2016-02-10 01:22:53 +01:00
|
|
|
else if foo() { //~ERROR this `if` has identical blocks
|
|
|
|
let _ = match 42 {
|
|
|
|
42 => 1,
|
|
|
|
a if a > 0 => 2,
|
|
|
|
10...15 => 3,
|
|
|
|
_ => 4,
|
|
|
|
};
|
2016-01-30 20:10:14 +01:00
|
|
|
}
|
|
|
|
|
2016-02-09 16:45:47 +01:00
|
|
|
if true {
|
|
|
|
if let Some(a) = Some(42) {}
|
|
|
|
}
|
2016-02-10 01:22:53 +01:00
|
|
|
else { //~ERROR this `if` has identical blocks
|
2016-02-09 16:45:47 +01:00
|
|
|
if let Some(a) = Some(42) {}
|
|
|
|
}
|
|
|
|
|
|
|
|
if true {
|
2016-01-30 20:10:14 +01:00
|
|
|
if let Some(a) = Some(42) {}
|
|
|
|
}
|
|
|
|
else {
|
2016-02-09 16:45:47 +01:00
|
|
|
if let Some(a) = Some(43) {}
|
2016-01-30 20:10:14 +01:00
|
|
|
}
|
|
|
|
|
2016-02-10 01:22:53 +01:00
|
|
|
let _ = match 42 {
|
|
|
|
42 => foo(),
|
|
|
|
51 => foo(), //~ERROR this `match` has identical arm bodies
|
|
|
|
_ => true,
|
|
|
|
};
|
|
|
|
|
|
|
|
let _ = match Some(42) {
|
|
|
|
Some(42) => 24,
|
|
|
|
Some(a) => 24, // bindings are different
|
|
|
|
None => 0,
|
|
|
|
};
|
|
|
|
|
|
|
|
match (Some(42), Some(42)) {
|
|
|
|
(Some(a), None) => bar(a),
|
|
|
|
(None, Some(a)) => bar(a), //~ERROR this `match` has identical arm bodies
|
|
|
|
_ => (),
|
|
|
|
}
|
|
|
|
|
|
|
|
match (Some(42), Some("")) {
|
|
|
|
(Some(a), None) => bar(a),
|
|
|
|
(None, Some(a)) => bar(a), // bindings have different types
|
|
|
|
_ => (),
|
|
|
|
}
|
|
|
|
|
2016-02-13 15:36:57 +01:00
|
|
|
if true {
|
|
|
|
try!(Ok("foo"));
|
|
|
|
}
|
|
|
|
else { //~ERROR this `if` has identical blocks
|
|
|
|
try!(Ok("foo"));
|
|
|
|
}
|
|
|
|
|
2016-02-09 16:45:47 +01:00
|
|
|
if true {
|
2016-01-30 20:10:14 +01:00
|
|
|
let foo = "";
|
2016-02-13 15:36:57 +01:00
|
|
|
return Ok(&foo[0..]);
|
2016-01-30 20:10:14 +01:00
|
|
|
}
|
2016-02-09 16:45:47 +01:00
|
|
|
else if false {
|
|
|
|
let foo = "bar";
|
2016-02-13 15:36:57 +01:00
|
|
|
return Ok(&foo[0..]);
|
2016-02-09 16:45:47 +01:00
|
|
|
}
|
2016-02-10 01:22:53 +01:00
|
|
|
else { //~ERROR this `if` has identical blocks
|
2016-01-30 20:10:14 +01:00
|
|
|
let foo = "";
|
2016-02-13 15:36:57 +01:00
|
|
|
return Ok(&foo[0..]);
|
2016-01-30 20:10:14 +01:00
|
|
|
}
|
2016-01-30 19:16:49 +01:00
|
|
|
}
|
|
|
|
|
2016-02-09 16:45:47 +01:00
|
|
|
#[deny(ifs_same_cond)]
|
|
|
|
#[allow(if_same_then_else)] // all empty blocks
|
2016-01-30 19:16:49 +01:00
|
|
|
fn ifs_same_cond() {
|
2016-01-30 18:03:53 +01:00
|
|
|
let a = 0;
|
2016-02-09 15:18:27 +01:00
|
|
|
let b = false;
|
|
|
|
|
|
|
|
if b {
|
|
|
|
}
|
2016-02-10 01:22:53 +01:00
|
|
|
else if b { //~ERROR this `if` has the same condition as a previous if
|
2016-02-09 15:18:27 +01:00
|
|
|
}
|
2016-01-30 18:03:53 +01:00
|
|
|
|
|
|
|
if a == 1 {
|
|
|
|
}
|
2016-02-10 01:22:53 +01:00
|
|
|
else if a == 1 { //~ERROR this `if` has the same condition as a previous if
|
2016-01-30 18:03:53 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
if 2*a == 1 {
|
|
|
|
}
|
|
|
|
else if 2*a == 2 {
|
|
|
|
}
|
2016-02-10 01:22:53 +01:00
|
|
|
else if 2*a == 1 { //~ERROR this `if` has the same condition as a previous if
|
2016-01-30 18:03:53 +01:00
|
|
|
}
|
|
|
|
else if a == 1 {
|
|
|
|
}
|
|
|
|
|
2016-02-13 15:36:57 +01:00
|
|
|
// See #659
|
|
|
|
if cfg!(feature = "feature1-659") {
|
|
|
|
1
|
|
|
|
} else if cfg!(feature = "feature2-659") {
|
|
|
|
2
|
|
|
|
} else {
|
|
|
|
3
|
|
|
|
};
|
|
|
|
|
2016-01-30 20:10:14 +01:00
|
|
|
let mut v = vec![1];
|
|
|
|
if v.pop() == None { // ok, functions
|
|
|
|
}
|
|
|
|
else if v.pop() == None {
|
|
|
|
}
|
|
|
|
|
|
|
|
if v.len() == 42 { // ok, functions
|
2016-01-30 18:03:53 +01:00
|
|
|
}
|
2016-01-30 20:10:14 +01:00
|
|
|
else if v.len() == 42 {
|
2016-01-30 18:03:53 +01:00
|
|
|
}
|
|
|
|
}
|
2016-01-30 19:16:49 +01:00
|
|
|
|
|
|
|
fn main() {}
|