2015-08-19 17:04:01 -05:00
|
|
|
#![feature(plugin)]
|
|
|
|
#![plugin(clippy)]
|
|
|
|
|
2015-08-22 14:36:54 -05:00
|
|
|
#[deny(cast_precision_loss, cast_possible_truncation, cast_sign_loss, cast_possible_wrap)]
|
2016-05-13 09:43:47 -05:00
|
|
|
#[allow(no_effect, unnecessary_operation)]
|
2015-08-19 17:04:01 -05:00
|
|
|
fn main() {
|
|
|
|
// Test cast_precision_loss
|
2017-02-08 07:58:07 -06:00
|
|
|
1i32 as f32;
|
|
|
|
1i64 as f32;
|
|
|
|
1i64 as f64;
|
|
|
|
1u32 as f32;
|
|
|
|
1u64 as f32;
|
|
|
|
1u64 as f64;
|
2015-08-22 14:36:54 -05:00
|
|
|
1i32 as f64; // Should not trigger the lint
|
|
|
|
1u32 as f64; // Should not trigger the lint
|
2015-08-20 20:03:37 -05:00
|
|
|
|
2015-08-20 15:44:40 -05:00
|
|
|
// Test cast_possible_truncation
|
2017-02-08 07:58:07 -06:00
|
|
|
1f32 as i32;
|
|
|
|
1f32 as u32;
|
|
|
|
|
|
|
|
1f64 as f32;
|
|
|
|
1i32 as i8;
|
|
|
|
1i32 as u8;
|
|
|
|
|
|
|
|
1f64 as isize;
|
|
|
|
1f64 as usize;
|
|
|
|
|
2015-08-22 14:36:54 -05:00
|
|
|
|
|
|
|
// Test cast_possible_wrap
|
2017-02-08 07:58:07 -06:00
|
|
|
1u8 as i8;
|
|
|
|
1u16 as i16;
|
|
|
|
1u32 as i32;
|
|
|
|
1u64 as i64;
|
|
|
|
1usize as isize;
|
2015-08-20 20:03:37 -05:00
|
|
|
|
2015-08-19 17:04:01 -05:00
|
|
|
// Test cast_sign_loss
|
2017-02-08 07:58:07 -06:00
|
|
|
1i32 as u32;
|
|
|
|
1isize as usize;
|
2015-08-20 20:03:37 -05:00
|
|
|
|
2015-08-22 14:36:54 -05:00
|
|
|
// Extra checks for *size
|
|
|
|
// Casting from *size
|
2017-02-08 07:58:07 -06:00
|
|
|
1isize as i8;
|
|
|
|
1isize as f64;
|
|
|
|
1usize as f64;
|
|
|
|
1isize as f32;
|
|
|
|
1usize as f32;
|
|
|
|
1isize as i32;
|
|
|
|
1isize as u32;
|
|
|
|
|
|
|
|
1usize as u32;
|
|
|
|
1usize as i32;
|
|
|
|
|
2015-08-22 14:36:54 -05:00
|
|
|
// Casting to *size
|
2017-02-08 07:58:07 -06:00
|
|
|
1i64 as isize;
|
|
|
|
1i64 as usize;
|
|
|
|
|
|
|
|
1u64 as isize;
|
|
|
|
|
|
|
|
1u64 as usize;
|
|
|
|
1u32 as isize;
|
2015-08-22 16:49:03 -05:00
|
|
|
1u32 as usize; // Should not trigger any lint
|
|
|
|
1i32 as isize; // Neither should this
|
2017-02-08 07:58:07 -06:00
|
|
|
1i32 as usize;
|
2015-09-28 00:11:03 -05:00
|
|
|
}
|