bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Move duration division out

Browse source
This commit is contained in:
tiif 2024-06-08 01:21:56 +08:00
parent 9cf04b5a22
commit aa8323585c
1 changed files with 3 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/tools/miri/src/clock.rs
View file

@ -39,13 +39,11 @@ impl Instant {
InstantKind::Virtual { nanoseconds }, InstantKind::Virtual { nanoseconds },
InstantKind::Virtual { nanoseconds: earlier }, InstantKind::Virtual { nanoseconds: earlier },
) => { ) => {
let duration = nanoseconds.saturating_sub(earlier);
// It is possible for second to overflow because u64::MAX < (u128::MAX / 1e9). // It is possible for second to overflow because u64::MAX < (u128::MAX / 1e9).
let seconds = u64::try_from( let seconds = u64::try_from(duration.saturating_div(1_000_000_000)).unwrap();
nanoseconds.saturating_sub(earlier).saturating_div(1_000_000_000),
)
.unwrap();
// It is impossible for nanosecond to overflow because u32::MAX > 1e9. // It is impossible for nanosecond to overflow because u32::MAX > 1e9.
let nanosecond = u32::try_from(nanoseconds.wrapping_rem(1_000_000_000)).unwrap(); let nanosecond = u32::try_from(duration.wrapping_rem(1_000_000_000)).unwrap();
Duration::new(seconds, nanosecond) Duration::new(seconds, nanosecond)
} }
_ => panic!("all `Instant` must be of the same kind"), _ => panic!("all `Instant` must be of the same kind"),