mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

implement ExitProcess for Windows

Browse Source
This commit is contained in:
Ralf Jung 2019-04-21 13:25:24 +02:00
parent d410b13139
commit 6a6c0cd5f0
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/fn_call.rs
View File

@ -78,6 +78,10 @@ pub trait EvalContextExt<'a, 'mir, 'tcx: 'a + 'mir>: crate::MiriEvalContextExt<'
let code = this.read_scalar(args[0])?.to_i32()?; let code = this.read_scalar(args[0])?.to_i32()?;
return err!(Exit(code)); return err!(Exit(code));
} }
"ExitProcess" => {
let code = this.read_scalar(args[0])?.to_u32()?;
return err!(Exit(code as i32));
}
_ => if dest.is_none() { _ => if dest.is_none() {
return err!(Unimplemented( return err!(Unimplemented(
format!("can't call diverging foreign function: {}", link_name), format!("can't call diverging foreign function: {}", link_name),