Skip to content

Commit f8c6eb5

Browse files
committed
thread creation error for Windows
1 parent e7b39e3 commit f8c6eb5

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/shims/foreign_items.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -725,8 +725,8 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
725725
this.write_null(dest)?;
726726
}
727727

728-
// We don't support threading.
729-
"pthread_create" => {
728+
// We don't support threading. (Also for Windows.)
729+
"pthread_create" | "CreateThread" => {
730730
return err!(Unimplemented(format!("Miri does not support threading")));
731731
}
732732

0 commit comments

Comments
 (0)