blob: 8158d4b332acd546b2f9589217f77be83b5a867f [file] [log] [blame] [edit]
#![warn(clippy::excessive_precision)]
#![allow(
dead_code,
overflowing_literals,
unused_variables,
clippy::print_literal,
clippy::useless_vec,
clippy::approx_constant
)]
macro_rules! make_pi {
($i:ident : $t:ty) => {
const $i: $t = 3.14159265358979323846264338327950288419716939937510582097494459230781640628;
};
}
fn main() {
// Consts
const GOOD32: f32 = 0.123_456;
const GOOD32_SM: f32 = 0.000_000_000_1;
const GOOD32_DOT: f32 = 10_000_000_000.0;
const GOOD32_EDGE: f32 = 1.000_000_8;
const GOOD64: f64 = 0.123_456_789_012;
const GOOD64_SM: f32 = 0.000_000_000_000_000_1;
const GOOD64_DOT: f32 = 10_000_000_000_000_000.0;
const BAD32_1: f32 = 0.123_456_79_f32;
//~^ excessive_precision
const BAD32_2: f32 = 0.123_456_79;
//~^ excessive_precision
const BAD32_3: f32 = 0.1;
//~^ excessive_precision
const BAD32_EDGE: f32 = 1.000_001;
//~^ excessive_precision
const BAD64_1: f64 = 0.123_456_789_012_345_67f64;
const BAD64_2: f64 = 0.123_456_789_012_345_67;
const BAD64_3: f64 = 0.1;
//~^ excessive_precision
// Literal as param
println!("{:?}", 8.888_888_888_888_89);
//~^ excessive_precision
// // TODO add inferred type tests for f32
// Locals
let good32: f32 = 0.123_456_f32;
let good32_2: f32 = 0.123_456;
let good64: f64 = 0.123_456_789_012;
let good64_suf: f64 = 0.123_456_789_012f64;
let good64_inf = 0.123_456_789_012;
let bad32: f32 = 1.123_456_8;
//~^ excessive_precision
let bad32_suf: f32 = 1.123_456_8_f32;
//~^ excessive_precision
let bad32_inf = 1.123_456_8_f32;
//~^ excessive_precision
let bad64: f64 = 0.123_456_789_012_345_67;
let bad64_suf: f64 = 0.123_456_789_012_345_67f64;
let bad64_inf = 0.123_456_789_012_345_67;
// Vectors
let good_vec32: Vec<f32> = vec![0.123_456];
let good_vec64: Vec<f64> = vec![0.123_456_789];
let bad_vec32: Vec<f32> = vec![0.123_456_79];
//~^ excessive_precision
let bad_vec64: Vec<f64> = vec![0.123_456_789_123_456_78];
//~^ excessive_precision
// Exponential float notation
let good_e32: f32 = 1e-10;
let bad_e32: f32 = 1.123_456_8e-10;
//~^ excessive_precision
let good_bige32: f32 = 1E-10;
let bad_bige32: f32 = 1.123_456_8E-10;
//~^ excessive_precision
// Inferred type
let good_inferred: f32 = 1f32 * 1_000_000_000.;
// issue #2840
let num = 0.000_000_000_01e-10f64;
// issue #6341
let exponential: f64 = 4.886506780521244E-03;
// issue #7744
let _ = 2.225_073_858_507_201e-308_f64;
//~^ excessive_precision
// issue #7745
let _ = 0_f64;
//~^ excessive_precision
// issue #9910
const INF1: f32 = 1.0e+33f32;
const INF2: f64 = 1.0e+3300f64;
const NEG_INF1: f32 = -1.0e+33f32;
const NEG_INF2: f64 = -1.0e+3300f64;
const NEG_INF3: f32 = -3.40282357e+38_f32;
// issue #12954
const _: f64 = 3.0;
//~^ excessive_precision
const _: f64 = 3.0000000000000000;
// Overly specified constants
let _: f32 = 1.012_345_7;
//~^ excessive_precision
let _: f64 = 1.012_345_678_901_234_6;
//~^ excessive_precision
const _: f32 = 1.01234567890123456789012345678901234567890;
const _: f64 = 1.01234567890123456789012345678901234567890;
static STATIC1: f32 = 1.01234567890123456789012345678901234567890;
static STATIC2: f64 = 1.01234567890123456789012345678901234567890;
static mut STATIC_MUT1: f32 = 1.01234567890123456789012345678901234567890;
static mut STATIC_MUT2: f64 = 1.01234567890123456789012345678901234567890;
// From issue #13855
let gamma = 0.577_215_664_901_532_9;
//~^ excessive_precision
const GAMMA: f64 = 0.5772156649015328606065120900824024310421;
make_pi!(P32: f32);
make_pi!(P64: f64);
}
trait ExcessivelyPreciseTrait {
// Overly specified constants
const GOOD1: f32 = 1.01234567890123456789012345678901234567890;
const GOOD2: f64 = 1.01234567890123456789012345678901234567890;
}
struct ExcessivelyPreciseStruct;
impl ExcessivelyPreciseStruct {
// Overly specified constants
const GOOD1: f32 = 1.01234567890123456789012345678901234567890;
const GOOD2: f64 = 1.01234567890123456789012345678901234567890;
}