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

miri: update reference to PAL module on Windows

Browse Source
This commit is contained in:
joboet 2024-01-11 20:38:24 +01:00
parent d6efeadb06
commit 41c05c46ed
No known key found for this signature in database
GPG Key ID: 704E0149B0194B3C
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/tools/miri/src/helpers.rs
View File

@ -217,7 +217,7 @@ fn eval_libc_u32(&self, name: &str) -> u32 {
/// Helper function to get a `windows` constant as a `Scalar`. /// Helper function to get a `windows` constant as a `Scalar`.
fn eval_windows(&self, module: &str, name: &str) -> Scalar<Provenance> { fn eval_windows(&self, module: &str, name: &str) -> Scalar<Provenance> {
self.eval_context_ref().eval_path_scalar(&["std", "sys", "windows", module, name]) self.eval_context_ref().eval_path_scalar(&["std", "sys", "pal","windows", module, name])
} }
/// Helper function to get a `windows` constant as a `u32`. /// Helper function to get a `windows` constant as a `u32`.
@ -249,7 +249,7 @@ fn libc_ty_layout(&self, name: &str) -> TyAndLayout<'tcx> {
fn windows_ty_layout(&self, name: &str) -> TyAndLayout<'tcx> { fn windows_ty_layout(&self, name: &str) -> TyAndLayout<'tcx> {
let this = self.eval_context_ref(); let this = self.eval_context_ref();
let ty = this let ty = this
.resolve_path(&["std", "sys", "windows", "c", name], Namespace::TypeNS) .resolve_path(&["std", "sys", "pal","windows", "c", name], Namespace::TypeNS)
.ty(*this.tcx, ty::ParamEnv::reveal_all()); .ty(*this.tcx, ty::ParamEnv::reveal_all());
this.layout_of(ty).unwrap() this.layout_of(ty).unwrap()
} }