about summary refs log tree commit diff
path: root/src/tools/miri
diff options
context:
space:
mode:
authorjoboet <jonasboettiger@icloud.com>2024-01-11 20:38:24 +0100
committerjoboet <jonasboettiger@icloud.com>2024-01-11 20:40:00 +0100
commit41c05c46ed38966c2b7da5acc0a3a03e85eff982 (patch)
tree5643457654be1af52c73f889c854654f5efad2cf /src/tools/miri
parentd6efeadb06733a04479bfe57db897712440222be (diff)
downloadrust-41c05c46ed38966c2b7da5acc0a3a03e85eff982.tar.gz
rust-41c05c46ed38966c2b7da5acc0a3a03e85eff982.zip
miri: update reference to PAL module on Windows
Diffstat (limited to 'src/tools/miri')
-rw-r--r--src/tools/miri/src/helpers.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/src/helpers.rs b/src/tools/miri/src/helpers.rs
index 14ba69b898b..0be0be274b4 100644
--- a/src/tools/miri/src/helpers.rs
+++ b/src/tools/miri/src/helpers.rs
@@ -217,7 +217,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
 
     /// Helper function to get a `windows` constant as a `Scalar`.
     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`.
@@ -249,7 +249,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
     fn windows_ty_layout(&self, name: &str) -> TyAndLayout<'tcx> {
         let this = self.eval_context_ref();
         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());
         this.layout_of(ty).unwrap()
     }