thread creation error for Windows

This commit is contained in:
Ralf Jung 2019-07-11 18:59:11 +02:00
parent e7b39e382a
commit f8c6eb5e8c

View file

@ -725,8 +725,8 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
this.write_null(dest)?;
}
// We don't support threading.
"pthread_create" => {
// We don't support threading. (Also for Windows.)
"pthread_create" | "CreateThread" => {
return err!(Unimplemented(format!("Miri does not support threading")));
}