@@ -166,7 +166,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
166166 dependency_format. 1 . iter ( ) . enumerate ( ) . filter_map ( |( num, & linkage) | {
167167 // We add 1 to the number because that's what rustc also does everywhere it
168168 // calls `CrateNum::new`...
169- #[ allow( clippy:: integer_arithmetic ) ]
169+ #[ allow( clippy:: arithmetic_side_effects ) ]
170170 ( linkage != Linkage :: NotLinked ) . then_some ( CrateNum :: new ( num + 1 ) )
171171 } ) ,
172172 ) {
@@ -707,7 +707,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
707707 . position ( |& c| c == val)
708708 {
709709 let idx = u64:: try_from ( idx) . unwrap ( ) ;
710- #[ allow( clippy:: integer_arithmetic ) ] // idx < num, so this never wraps
710+ #[ allow( clippy:: arithmetic_side_effects ) ] // idx < num, so this never wraps
711711 let new_ptr = ptr. offset ( Size :: from_bytes ( num - idx - 1 ) , this) ?;
712712 this. write_pointer ( new_ptr, dest) ?;
713713 } else {
@@ -916,10 +916,10 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
916916 let a = this. read_scalar ( a) ?. to_u64 ( ) ?;
917917 let b = this. read_scalar ( b) ?. to_u64 ( ) ?;
918918
919- #[ allow( clippy:: integer_arithmetic ) ]
919+ #[ allow( clippy:: arithmetic_side_effects ) ]
920920 // adding two u64 and a u8 cannot wrap in a u128
921921 let wide_sum = u128:: from ( c_in) + u128:: from ( a) + u128:: from ( b) ;
922- #[ allow( clippy:: integer_arithmetic ) ] // it's a u128, we can shift by 64
922+ #[ allow( clippy:: arithmetic_side_effects ) ] // it's a u128, we can shift by 64
923923 let ( c_out, sum) = ( ( wide_sum >> 64 ) . truncate :: < u8 > ( ) , wide_sum. truncate :: < u64 > ( ) ) ;
924924
925925 let c_out_field = this. place_field ( dest, 0 ) ?;
0 commit comments