2023-07-27 11:40:22 +00:00
|
|
|
#![warn(clippy::manual_clamp)]
|
|
|
|
#![allow(
|
|
|
|
unused,
|
|
|
|
dead_code,
|
|
|
|
clippy::unnecessary_operation,
|
|
|
|
clippy::no_effect,
|
|
|
|
clippy::if_same_then_else
|
|
|
|
)]
|
|
|
|
|
|
|
|
use std::cmp::{max as cmp_max, min as cmp_min};
|
|
|
|
|
|
|
|
const CONST_MAX: i32 = 10;
|
|
|
|
const CONST_MIN: i32 = 4;
|
|
|
|
|
|
|
|
const CONST_F64_MAX: f64 = 10.0;
|
|
|
|
const CONST_F64_MIN: f64 = 4.0;
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
let (input, min, max) = (0, -2, 3);
|
|
|
|
// Lint
|
|
|
|
let x0 = input.clamp(min, max);
|
|
|
|
|
|
|
|
let x1 = input.clamp(min, max);
|
|
|
|
|
|
|
|
let x2 = input.clamp(min, max);
|
|
|
|
|
|
|
|
let x3 = input.clamp(min, max);
|
|
|
|
|
|
|
|
let x4 = input.clamp(min, max);
|
2023-07-28 19:35:48 +00:00
|
|
|
//~^ ERROR: clamp-like pattern without using clamp function
|
|
|
|
//~| NOTE: clamp will panic if max < min
|
2023-07-27 11:40:22 +00:00
|
|
|
|
|
|
|
let x5 = input.clamp(min, max);
|
2023-07-28 19:35:48 +00:00
|
|
|
//~^ ERROR: clamp-like pattern without using clamp function
|
|
|
|
//~| NOTE: clamp will panic if max < min
|
2023-07-27 11:40:22 +00:00
|
|
|
|
|
|
|
let x6 = input.clamp(min, max);
|
|
|
|
|
|
|
|
let x7 = input.clamp(min, max);
|
|
|
|
|
|
|
|
let x8 = input.clamp(min, max);
|
|
|
|
|
|
|
|
let mut x9 = input;
|
|
|
|
x9 = x9.clamp(min, max);
|
|
|
|
|
|
|
|
let x10 = input.clamp(min, max);
|
|
|
|
|
|
|
|
let mut x11 = input;
|
|
|
|
let _ = 1;
|
|
|
|
x11 = x11.clamp(min, max);
|
|
|
|
|
|
|
|
let mut x12 = input;
|
|
|
|
x12 = x12.clamp(min, max);
|
|
|
|
|
|
|
|
let mut x13 = input;
|
|
|
|
x13 = x13.clamp(min, max);
|
|
|
|
|
|
|
|
let x14 = input.clamp(CONST_MIN, CONST_MAX);
|
|
|
|
{
|
|
|
|
let (input, min, max) = (0.0f64, -2.0, 3.0);
|
|
|
|
let x15 = input.clamp(min, max);
|
|
|
|
}
|
|
|
|
{
|
|
|
|
let input: i32 = cmp_min_max(1);
|
|
|
|
// These can only be detected if exactly one of the arguments to the inner function is const.
|
|
|
|
let x16 = input.clamp(CONST_MIN, CONST_MAX);
|
2023-07-28 19:35:48 +00:00
|
|
|
//~^ ERROR: clamp-like pattern without using clamp function
|
|
|
|
//~| NOTE: clamp will panic if max < min
|
2023-07-27 11:40:22 +00:00
|
|
|
let x17 = input.clamp(CONST_MIN, CONST_MAX);
|
2023-07-28 19:35:48 +00:00
|
|
|
//~^ ERROR: clamp-like pattern without using clamp function
|
|
|
|
//~| NOTE: clamp will panic if max < min
|
2023-07-27 11:40:22 +00:00
|
|
|
let x18 = input.clamp(CONST_MIN, CONST_MAX);
|
2023-07-28 19:35:48 +00:00
|
|
|
//~^ ERROR: clamp-like pattern without using clamp function
|
|
|
|
//~| NOTE: clamp will panic if max < min
|
2023-07-27 11:40:22 +00:00
|
|
|
let x19 = input.clamp(CONST_MIN, CONST_MAX);
|
2023-07-28 19:35:48 +00:00
|
|
|
//~^ ERROR: clamp-like pattern without using clamp function
|
|
|
|
//~| NOTE: clamp will panic if max < min
|
2023-07-27 11:40:22 +00:00
|
|
|
let x20 = input.clamp(CONST_MIN, CONST_MAX);
|
2023-07-28 19:35:48 +00:00
|
|
|
//~^ ERROR: clamp-like pattern without using clamp function
|
|
|
|
//~| NOTE: clamp will panic if max < min
|
2023-07-27 11:40:22 +00:00
|
|
|
let x21 = input.clamp(CONST_MIN, CONST_MAX);
|
2023-07-28 19:35:48 +00:00
|
|
|
//~^ ERROR: clamp-like pattern without using clamp function
|
|
|
|
//~| NOTE: clamp will panic if max < min
|
2023-07-27 11:40:22 +00:00
|
|
|
let x22 = input.clamp(CONST_MIN, CONST_MAX);
|
2023-07-28 19:35:48 +00:00
|
|
|
//~^ ERROR: clamp-like pattern without using clamp function
|
|
|
|
//~| NOTE: clamp will panic if max < min
|
2023-07-27 11:40:22 +00:00
|
|
|
let x23 = input.clamp(CONST_MIN, CONST_MAX);
|
2023-07-28 19:35:48 +00:00
|
|
|
//~^ ERROR: clamp-like pattern without using clamp function
|
|
|
|
//~| NOTE: clamp will panic if max < min
|
2023-07-27 11:40:22 +00:00
|
|
|
let input: f64 = cmp_min_max(1) as f64;
|
|
|
|
let x24 = input.clamp(CONST_F64_MIN, CONST_F64_MAX);
|
2023-07-28 19:35:48 +00:00
|
|
|
//~^ ERROR: clamp-like pattern without using clamp function
|
|
|
|
//~| NOTE: clamp will panic if max < min, min.is_nan(), or max.is_nan()
|
2023-07-27 11:40:22 +00:00
|
|
|
let x25 = input.clamp(CONST_F64_MIN, CONST_F64_MAX);
|
2023-07-28 19:35:48 +00:00
|
|
|
//~^ ERROR: clamp-like pattern without using clamp function
|
|
|
|
//~| NOTE: clamp will panic if max < min, min.is_nan(), or max.is_nan()
|
2023-07-27 11:40:22 +00:00
|
|
|
let x26 = input.clamp(CONST_F64_MIN, CONST_F64_MAX);
|
2023-07-28 19:35:48 +00:00
|
|
|
//~^ ERROR: clamp-like pattern without using clamp function
|
|
|
|
//~| NOTE: clamp will panic if max < min, min.is_nan(), or max.is_nan()
|
2023-07-27 11:40:22 +00:00
|
|
|
let x27 = input.clamp(CONST_F64_MIN, CONST_F64_MAX);
|
2023-07-28 19:35:48 +00:00
|
|
|
//~^ ERROR: clamp-like pattern without using clamp function
|
|
|
|
//~| NOTE: clamp will panic if max < min, min.is_nan(), or max.is_nan()
|
2023-07-27 11:40:22 +00:00
|
|
|
let x28 = input.clamp(CONST_F64_MIN, CONST_F64_MAX);
|
2023-07-28 19:35:48 +00:00
|
|
|
//~^ ERROR: clamp-like pattern without using clamp function
|
|
|
|
//~| NOTE: clamp will panic if max < min, min.is_nan(), or max.is_nan()
|
2023-07-27 11:40:22 +00:00
|
|
|
let x29 = input.clamp(CONST_F64_MIN, CONST_F64_MAX);
|
2023-07-28 19:35:48 +00:00
|
|
|
//~^ ERROR: clamp-like pattern without using clamp function
|
|
|
|
//~| NOTE: clamp will panic if max < min, min.is_nan(), or max.is_nan()
|
2023-07-27 11:40:22 +00:00
|
|
|
let x30 = input.clamp(CONST_F64_MIN, CONST_F64_MAX);
|
2023-07-28 19:35:48 +00:00
|
|
|
//~^ ERROR: clamp-like pattern without using clamp function
|
|
|
|
//~| NOTE: clamp will panic if max < min, min.is_nan(), or max.is_nan()
|
2023-07-27 11:40:22 +00:00
|
|
|
let x31 = input.clamp(CONST_F64_MIN, CONST_F64_MAX);
|
2023-07-28 19:35:48 +00:00
|
|
|
//~^ ERROR: clamp-like pattern without using clamp function
|
|
|
|
//~| NOTE: clamp will panic if max < min, min.is_nan(), or max.is_nan()
|
2023-07-27 11:40:22 +00:00
|
|
|
}
|
|
|
|
let mut x32 = input;
|
|
|
|
x32 = x32.clamp(min, max);
|
|
|
|
|
|
|
|
// It's important this be the last set of statements
|
|
|
|
let mut x33 = input;
|
|
|
|
x33 = x33.clamp(min, max);
|
|
|
|
}
|
|
|
|
|
|
|
|
// This code intentionally nonsense.
|
|
|
|
fn no_lint() {
|
|
|
|
let (input, min, max) = (0, -2, 3);
|
|
|
|
let x0 = if max < input {
|
|
|
|
max
|
|
|
|
} else if min > input {
|
|
|
|
max
|
|
|
|
} else {
|
|
|
|
min
|
|
|
|
};
|
|
|
|
|
|
|
|
let x1 = if input > max {
|
|
|
|
max
|
|
|
|
} else if input > min {
|
|
|
|
min
|
|
|
|
} else {
|
|
|
|
max
|
|
|
|
};
|
|
|
|
|
|
|
|
let x2 = if max < min {
|
|
|
|
min
|
|
|
|
} else if input > max {
|
|
|
|
input
|
|
|
|
} else {
|
|
|
|
input
|
|
|
|
};
|
|
|
|
|
|
|
|
let x3 = if min > input {
|
|
|
|
input
|
|
|
|
} else if max < input {
|
|
|
|
max
|
|
|
|
} else {
|
|
|
|
max
|
|
|
|
};
|
|
|
|
|
|
|
|
let x6 = match input {
|
|
|
|
x if x < max => x,
|
|
|
|
x if x < min => x,
|
|
|
|
x => x,
|
|
|
|
};
|
|
|
|
|
|
|
|
let x7 = match input {
|
|
|
|
x if x < min => max,
|
|
|
|
x if x > max => min,
|
|
|
|
x => x,
|
|
|
|
};
|
|
|
|
|
|
|
|
let x8 = match input {
|
|
|
|
x if max > x => max,
|
|
|
|
x if min > x => min,
|
|
|
|
x => x,
|
|
|
|
};
|
|
|
|
|
|
|
|
let mut x9 = input;
|
|
|
|
if x9 > min {
|
|
|
|
x9 = min;
|
|
|
|
}
|
|
|
|
if x9 > max {
|
|
|
|
x9 = max;
|
|
|
|
}
|
|
|
|
|
|
|
|
let x10 = match input {
|
|
|
|
x if min > x => min,
|
|
|
|
x if max < x => max,
|
|
|
|
x => min,
|
|
|
|
};
|
|
|
|
|
|
|
|
let mut x11 = input;
|
|
|
|
if x11 > max {
|
|
|
|
x11 = min;
|
|
|
|
}
|
|
|
|
if x11 < min {
|
|
|
|
x11 = max;
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut x12 = input;
|
|
|
|
if min > x12 {
|
|
|
|
x12 = max * 3;
|
|
|
|
}
|
|
|
|
if max < x12 {
|
|
|
|
x12 = min;
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut x13 = input;
|
|
|
|
if max < x13 {
|
|
|
|
let x13 = max;
|
|
|
|
}
|
|
|
|
if min > x13 {
|
|
|
|
x13 = min;
|
|
|
|
}
|
|
|
|
let mut x14 = input;
|
|
|
|
if x14 < min {
|
|
|
|
x14 = 3;
|
|
|
|
} else if x14 > max {
|
|
|
|
x14 = max;
|
|
|
|
}
|
|
|
|
{
|
|
|
|
let input: i32 = cmp_min_max(1);
|
|
|
|
// These can only be detected if exactly one of the arguments to the inner function is const.
|
|
|
|
let x16 = cmp_max(cmp_max(input, CONST_MAX), CONST_MIN);
|
|
|
|
let x17 = cmp_min(cmp_min(input, CONST_MIN), CONST_MAX);
|
|
|
|
let x18 = cmp_max(CONST_MIN, cmp_max(input, CONST_MAX));
|
|
|
|
let x19 = cmp_min(CONST_MAX, cmp_min(input, CONST_MIN));
|
|
|
|
let x20 = cmp_max(cmp_max(CONST_MAX, input), CONST_MIN);
|
|
|
|
let x21 = cmp_min(cmp_min(CONST_MIN, input), CONST_MAX);
|
|
|
|
let x22 = cmp_max(CONST_MIN, cmp_max(CONST_MAX, input));
|
|
|
|
let x23 = cmp_min(CONST_MAX, cmp_min(CONST_MIN, input));
|
|
|
|
let input: f64 = cmp_min_max(1) as f64;
|
|
|
|
let x24 = f64::max(f64::max(input, CONST_F64_MAX), CONST_F64_MIN);
|
|
|
|
let x25 = f64::min(f64::min(input, CONST_F64_MIN), CONST_F64_MAX);
|
|
|
|
let x26 = f64::max(CONST_F64_MIN, f64::max(input, CONST_F64_MAX));
|
|
|
|
let x27 = f64::min(CONST_F64_MAX, f64::min(input, CONST_F64_MIN));
|
|
|
|
let x28 = f64::max(f64::max(CONST_F64_MAX, input), CONST_F64_MIN);
|
|
|
|
let x29 = f64::min(f64::min(CONST_F64_MIN, input), CONST_F64_MAX);
|
|
|
|
let x30 = f64::max(CONST_F64_MIN, f64::max(CONST_F64_MAX, input));
|
|
|
|
let x31 = f64::min(CONST_F64_MAX, f64::min(CONST_F64_MIN, input));
|
|
|
|
let x32 = f64::min(CONST_F64_MAX, f64::min(CONST_F64_MIN, CONST_F64_MAX));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn dont_tell_me_what_to_do() {
|
|
|
|
let (input, min, max) = (0, -2, 3);
|
|
|
|
let mut x_never = input;
|
|
|
|
#[allow(clippy::manual_clamp)]
|
|
|
|
if x_never < min {
|
|
|
|
x_never = min;
|
|
|
|
}
|
|
|
|
if x_never > max {
|
|
|
|
x_never = max;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Just to ensure this isn't const evaled
|
|
|
|
fn cmp_min_max(input: i32) -> i32 {
|
|
|
|
input * 3
|
|
|
|
}
|
|
|
|
|
|
|
|
#[clippy::msrv = "1.49"]
|
|
|
|
fn msrv_1_49() {
|
|
|
|
let (input, min, max) = (0, -1, 2);
|
|
|
|
let _ = if input < min {
|
|
|
|
min
|
|
|
|
} else if input > max {
|
|
|
|
max
|
|
|
|
} else {
|
|
|
|
input
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#[clippy::msrv = "1.50"]
|
|
|
|
fn msrv_1_50() {
|
|
|
|
let (input, min, max) = (0, -1, 2);
|
|
|
|
let _ = input.clamp(min, max);
|
|
|
|
}
|
|
|
|
|
|
|
|
const fn _const() {
|
|
|
|
let (input, min, max) = (0, -1, 2);
|
|
|
|
let _ = if input < min {
|
|
|
|
min
|
|
|
|
} else if input > max {
|
|
|
|
max
|
|
|
|
} else {
|
|
|
|
input
|
|
|
|
};
|
|
|
|
|
|
|
|
let mut x = input;
|
|
|
|
if max < x {
|
|
|
|
let x = max;
|
|
|
|
}
|
|
|
|
if min > x {
|
|
|
|
x = min;
|
|
|
|
}
|
|
|
|
}
|