fix to the add_millis helper reseting the total number of seconds

dvdsk · dvdsk · commit 6e212a36a0f7 · 2025-07-05T13:20:52.000+02:00
diff --git a/src/tools/miri/tests/pass-dep/libc/libc-time.rs b/src/tools/miri/tests/pass-dep/libc/libc-time.rs
@@ -360,7 +360,7 @@ mod test_clock_nanosleep {
     fn add_100_millis(mut ts: libc::timespec) -> libc::timespec {
         const SECOND: i64 = 1_000_000_000;
         ts.tv_nsec += SECOND / 10;
-        ts.tv_sec = ts.tv_nsec / SECOND;
+        ts.tv_sec += ts.tv_nsec / SECOND;
         ts.tv_nsec %= SECOND;
         ts
     }

Original file line number	Diff line number	Diff line change
`@@ -360,7 +360,7 @@ mod test_clock_nanosleep {`
`360`	`360`	`fn add_100_millis(mut ts: libc::timespec) -> libc::timespec {`
`361`	`361`	`const SECOND: i64 = 1_000_000_000;`
`362`	`362`	`ts.tv_nsec += SECOND / 10;`
`363`		`- ts.tv_sec = ts.tv_nsec / SECOND;`
	`363`	`+ ts.tv_sec += ts.tv_nsec / SECOND;`
`364`	`364`	`ts.tv_nsec %= SECOND;`
`365`	`365`	`ts`
`366`	`366`	`}`