bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Add comment for u128 to u64 conversion.

Browse source 
Co-authored-by: Ralf Jung <post@ralfj.de>
This commit is contained in:
byt 2024-06-09 17:59:06 +08:00 • committed by tiif
parent aa8323585c
commit d0fb350b6a
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -40,6 +40,8 @@ impl Instant {
InstantKind::Virtual { nanoseconds: earlier },
) => {
let duration = nanoseconds.saturating_sub(earlier);
// `Duration` does not provide a nice constructor from a `u128` of nanoseconds,
// so we have to implement this ourselves.
// It is possible for second to overflow because u64::MAX < (u128::MAX / 1e9).
let seconds = u64::try_from(duration.saturating_div(1_000_000_000)).unwrap();
// It is impossible for nanosecond to overflow because u32::MAX > 1e9.