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

add GetFileType stub

Browse Source
This commit is contained in:
Chris Denton 2022-10-21 18:24:46 +01:00
parent 6504d2ef5f
commit 590834b032
No known key found for this signature in database
GPG Key ID: 713472F2F45627DE
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/tools/miri/src/shims/windows/foreign_items.rs
View File

@ -425,6 +425,13 @@ fn emulate_foreign_item_by_name(
// Just make it fail.
this.write_null(dest)?;
}
"GetFileType" if this.frame_in_std() => {
#[allow(non_snake_case)]
let [_hFile] =
this.check_shim(abi, Abi::System { unwind: false }, link_name, args)?;
// Return unknown file type.
this.write_null(dest)?;
}
"AddVectoredExceptionHandler" if this.frame_in_std() => {
#[allow(non_snake_case)]
let [_First, _Handler] =