Skip to content

Commit 10d7b62

Browse files
committed
remove isolation check on timeout
1 parent a66439c commit 10d7b62

File tree

1 file changed

+0
-3
lines changed

1 file changed

+0
-3
lines changed

src/shims/windows/sync.rs

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -378,10 +378,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
378378
let timeout_time = if timeout_ms == this.eval_windows("c", "INFINITE")?.to_u32()? {
379379
None
380380
} else {
381-
this.check_no_isolation("`SleepConditionVariableSRW` with non-infinite timeout")?;
382-
383381
let duration = Duration::from_millis(timeout_ms.into());
384-
385382
Some(this.machine.clock.now().checked_add(duration).unwrap())
386383
};
387384

0 commit comments

Comments
 (0)