Skip to content

Commit

Permalink
Miri: Add CreateWaitableTimerEx stub
Browse files Browse the repository at this point in the history
This function will always fail, allowing std's `Sleep` fallback path to be taken instead.
  • Loading branch information
ChrisDenton committed Oct 6, 2023
1 parent 9ac43c5 commit 571b4cb
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions src/tools/miri/src/shims/windows/foreign_items.rs
Original file line number Diff line number Diff line change
Expand Up @@ -267,6 +267,12 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {

this.Sleep(timeout)?;
}
"CreateWaitableTimerExW" => {
let [_attributes, _name, _flags, _access] =
this.check_shim(abi, Abi::System { unwind: false }, link_name, args)?;
// Unimplemented. Always return failure.
this.write_null(dest)?;
}

// Synchronization primitives
"AcquireSRWLockExclusive" => {
Expand Down

0 comments on commit 571b4cb

Please sign in to comment.