Skip to content

Commit 69bac7d

Browse files
teofrteofr
committed
Added configurable threshold
1 parent e447586 commit 69bac7d

File tree

10 files changed

+155
-6
lines changed

10 files changed

+155
-6
lines changed

‎CHANGELOG.md‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6608,6 +6608,7 @@ Released 2018-09-13
66086608
[`check-inconsistent-struct-field-initializers`]: https://doc.rust-lang.org/clippy/lint_configuration.html#check-inconsistent-struct-field-initializers
66096609
[`check-private-items`]: https://doc.rust-lang.org/clippy/lint_configuration.html#check-private-items
66106610
[`cognitive-complexity-threshold`]: https://doc.rust-lang.org/clippy/lint_configuration.html#cognitive-complexity-threshold
6611+
[`const-literal-precision-threshold`]: https://doc.rust-lang.org/clippy/lint_configuration.html#const-literal-precision-threshold
66116612
[`disallowed-macros`]: https://doc.rust-lang.org/clippy/lint_configuration.html#disallowed-macros
66126613
[`disallowed-methods`]: https://doc.rust-lang.org/clippy/lint_configuration.html#disallowed-methods
66136614
[`disallowed-names`]: https://doc.rust-lang.org/clippy/lint_configuration.html#disallowed-names

‎book/src/lint_configuration.md‎

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -485,6 +485,16 @@ The maximum cognitive complexity a function can have
485485
* [`cognitive_complexity`](https://rust-lang.github.io/rust-clippy/master/index.html#cognitive_complexity)
486486

487487

488+
## `const-literal-precision-threshold`
489+
The minimum digits a const float literal must have to supress the `excessive_precicion` lint
490+
491+
**Default Value:** `40`
492+
493+
---
494+
**Affected lints:**
495+
* [`excessive_precision`](https://rust-lang.github.io/rust-clippy/master/index.html#excessive_precision)
496+
497+
488498
## `disallowed-macros`
489499
The list of disallowed macros, written as fully qualified paths.
490500

‎clippy_config/src/conf.rs‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -569,6 +569,9 @@ define_Conf! {
569569
/// The maximum cognitive complexity a function can have
570570
#[lints(cognitive_complexity)]
571571
cognitive_complexity_threshold: u64 = 25,
572+
/// The minimum digits a const float literal must have to supress the `excessive_precicion` lint
573+
#[lints(excessive_precision)]
574+
const_literal_precision_threshold: usize = 40,
572575
/// DEPRECATED LINT: CYCLOMATIC_COMPLEXITY.
573576
///
574577
/// Use the Cognitive Complexity lint instead.

‎clippy_lints/src/float_literal.rs‎

Lines changed: 22 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,19 +1,20 @@
1+
use clippy_config::Conf;
12
use clippy_utils::diagnostics::span_lint_and_then;
23
use clippy_utils::{ExprUseNode, expr_use_ctxt, numeric_literal};
34
use rustc_ast::ast::{self, LitFloatType, LitKind};
45
use rustc_errors::Applicability;
56
use rustc_hir as hir;
67
use rustc_lint::{LateContext, LateLintPass};
78
use rustc_middle::ty::{self, FloatTy};
8-
use rustc_session::declare_lint_pass;
9+
use rustc_session::impl_lint_pass;
910
use std::fmt;
1011

1112
declare_clippy_lint! {
1213
/// ### What it does
1314
/// Checks for float literals with a precision greater
1415
/// than that supported by the underlying type.
1516
///
16-
/// The lint is suppressed for literals with over 40 digits.
17+
/// The lint is suppressed for literals with over `const_literal_precision_threshold` digits.
1718
///
1819
/// ### Why is this bad?
1920
/// Rust will truncate the literal silently.
@@ -60,7 +61,21 @@ declare_clippy_lint! {
6061
"lossy whole number float literals"
6162
}
6263

63-
declare_lint_pass!(FloatLiteral => [EXCESSIVE_PRECISION, LOSSY_FLOAT_LITERAL]);
64+
pub struct FloatLiteral {
65+
const_literal_precision_threshold: usize,
66+
}
67+
68+
impl_lint_pass!(FloatLiteral => [
69+
EXCESSIVE_PRECISION, LOSSY_FLOAT_LITERAL
70+
]);
71+
72+
impl FloatLiteral {
73+
pub fn new(conf: &'static Conf) -> Self {
74+
Self {
75+
const_literal_precision_threshold: conf.const_literal_precision_threshold,
76+
}
77+
}
78+
}
6479

6580
impl<'tcx> LateLintPass<'tcx> for FloatLiteral {
6681
fn check_expr(&mut self, cx: &LateContext<'tcx>, expr: &'tcx hir::Expr<'_>) {
@@ -129,7 +144,9 @@ impl<'tcx> LateLintPass<'tcx> for FloatLiteral {
129144
);
130145
}
131146
} else if digits > max as usize && count_digits(&float_str) < digits {
132-
if digits >= 40 && matches!(expr_use_ctxt(cx, expr).use_node(cx), ExprUseNode::ConstStatic(_)) {
147+
if digits >= self.const_literal_precision_threshold
148+
&& matches!(expr_use_ctxt(cx, expr).use_node(cx), ExprUseNode::ConstStatic(_))
149+
{
133150
// If a big enough number of digits is specified and it's a constant
134151
// we assume the user is definining a constant, and excessive precision is ok
135152
return;
@@ -140,7 +157,7 @@ impl<'tcx> LateLintPass<'tcx> for FloatLiteral {
140157
expr.span,
141158
"float has excessive precision",
142159
|diag| {
143-
if digits >= 40
160+
if digits >= self.const_literal_precision_threshold
144161
&& let Some(let_stmt) = maybe_let_stmt(cx, expr)
145162
{
146163
diag.span_note(let_stmt.span, "consider making it a `const` item");

‎clippy_lints/src/lib.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -475,7 +475,7 @@ pub fn register_lint_passes(store: &mut rustc_lint::LintStore, conf: &'static Co
475475
store.register_late_pass(move |_| Box::new(types::Types::new(conf)));
476476
store.register_late_pass(move |_| Box::new(booleans::NonminimalBool::new(conf)));
477477
store.register_late_pass(|_| Box::new(enum_clike::UnportableVariant));
478-
store.register_late_pass(|_| Box::new(float_literal::FloatLiteral));
478+
store.register_late_pass(move |_| Box::new(float_literal::FloatLiteral::new(conf)));
479479
store.register_late_pass(|_| Box::new(ptr::Ptr));
480480
store.register_late_pass(|_| Box::new(needless_bool::NeedlessBool));
481481
store.register_late_pass(|_| Box::new(needless_bool::BoolComparison));

‎tests/ui-toml/excessive_precision/clippy.toml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
const-literal-precision-threshold = 20

‎tests/ui-toml/excessive_precision/excessive_precision.fixed‎

Lines changed: 38 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,38 @@
1+
#![warn(clippy::excessive_precision)]
2+
#![allow(
3+
dead_code,
4+
overflowing_literals,
5+
unused_variables,
6+
clippy::print_literal,
7+
clippy::useless_vec
8+
)]
9+
10+
fn main() {
11+
// Overly specified constants
12+
let _: f32 = 1.012_345_7;
13+
//~^ excessive_precision
14+
let _: f64 = 1.012_345_678_901_234_6;
15+
//~^ excessive_precision
16+
const _: f32 = 1.012345678901234567890;
17+
const _: f64 = 1.012345678901234567890;
18+
19+
static STATIC1: f32 = 1.012345678901234567890;
20+
static STATIC2: f64 = 1.012345678901234567890;
21+
22+
static mut STATIC_MUT1: f32 = 1.012345678901234567890;
23+
static mut STATIC_MUT2: f64 = 1.012345678901234567890;
24+
}
25+
26+
trait ExcessivelyPreciseTrait {
27+
// Overly specified constants
28+
const GOOD1: f32 = 1.012345678901234567890;
29+
const GOOD2: f64 = 1.012345678901234567890;
30+
}
31+
32+
struct ExcessivelyPreciseStruct;
33+
34+
impl ExcessivelyPreciseStruct {
35+
// Overly specified constants
36+
const GOOD1: f32 = 1.012345678901234567890;
37+
const GOOD2: f64 = 1.012345678901234567890;
38+
}

‎tests/ui-toml/excessive_precision/excessive_precision.rs‎

Lines changed: 38 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,38 @@
1+
#![warn(clippy::excessive_precision)]
2+
#![allow(
3+
dead_code,
4+
overflowing_literals,
5+
unused_variables,
6+
clippy::print_literal,
7+
clippy::useless_vec
8+
)]
9+
10+
fn main() {
11+
// Overly specified constants
12+
let _: f32 = 1.012345678901234567890;
13+
//~^ excessive_precision
14+
let _: f64 = 1.012345678901234567890;
15+
//~^ excessive_precision
16+
const _: f32 = 1.012345678901234567890;
17+
const _: f64 = 1.012345678901234567890;
18+
19+
static STATIC1: f32 = 1.012345678901234567890;
20+
static STATIC2: f64 = 1.012345678901234567890;
21+
22+
static mut STATIC_MUT1: f32 = 1.012345678901234567890;
23+
static mut STATIC_MUT2: f64 = 1.012345678901234567890;
24+
}
25+
26+
trait ExcessivelyPreciseTrait {
27+
// Overly specified constants
28+
const GOOD1: f32 = 1.012345678901234567890;
29+
const GOOD2: f64 = 1.012345678901234567890;
30+
}
31+
32+
struct ExcessivelyPreciseStruct;
33+
34+
impl ExcessivelyPreciseStruct {
35+
// Overly specified constants
36+
const GOOD1: f32 = 1.012345678901234567890;
37+
const GOOD2: f64 = 1.012345678901234567890;
38+
}

‎tests/ui-toml/excessive_precision/excessive_precision.stderr‎

Lines changed: 38 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,38 @@
1+
error: float has excessive precision
2+
--> tests/ui-toml/excessive_precision/excessive_precision.rs:12:18
3+
|
4+
LL | let _: f32 = 1.012345678901234567890;
5+
| ^^^^^^^^^^^^^^^^^^^^^^^
6+
|
7+
note: consider making it a `const` item
8+
--> tests/ui-toml/excessive_precision/excessive_precision.rs:12:5
9+
|
10+
LL | let _: f32 = 1.012345678901234567890;
11+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
12+
= note: `-D clippy::excessive-precision` implied by `-D warnings`
13+
= help: to override `-D warnings` add `#[allow(clippy::excessive_precision)]`
14+
help: consider changing the type or truncating it to
15+
|
16+
LL - let _: f32 = 1.012345678901234567890;
17+
LL + let _: f32 = 1.012_345_7;
18+
|
19+
20+
error: float has excessive precision
21+
--> tests/ui-toml/excessive_precision/excessive_precision.rs:14:18
22+
|
23+
LL | let _: f64 = 1.012345678901234567890;
24+
| ^^^^^^^^^^^^^^^^^^^^^^^
25+
|
26+
note: consider making it a `const` item
27+
--> tests/ui-toml/excessive_precision/excessive_precision.rs:14:5
28+
|
29+
LL | let _: f64 = 1.012345678901234567890;
30+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
31+
help: consider changing the type or truncating it to
32+
|
33+
LL - let _: f64 = 1.012345678901234567890;
34+
LL + let _: f64 = 1.012_345_678_901_234_6;
35+
|
36+
37+
error: aborting due to 2 previous errors
38+

‎tests/ui-toml/toml_unknown_key/conf_unknown_key.stderr‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -35,6 +35,7 @@ error: error reading Clippy's configuration file: unknown field `foobar`, expect
3535
check-inconsistent-struct-field-initializers
3636
check-private-items
3737
cognitive-complexity-threshold
38+
const-literal-precision-threshold
3839
disallowed-macros
3940
disallowed-methods
4041
disallowed-names
@@ -129,6 +130,7 @@ error: error reading Clippy's configuration file: unknown field `barfoo`, expect
129130
check-inconsistent-struct-field-initializers
130131
check-private-items
131132
cognitive-complexity-threshold
133+
const-literal-precision-threshold
132134
disallowed-macros
133135
disallowed-methods
134136
disallowed-names
@@ -223,6 +225,7 @@ error: error reading Clippy's configuration file: unknown field `allow_mixed_uni
223225
check-inconsistent-struct-field-initializers
224226
check-private-items
225227
cognitive-complexity-threshold
228+
const-literal-precision-threshold
226229
disallowed-macros
227230
disallowed-methods
228231
disallowed-names

0 commit comments

Comments
 (0)