diff options
| author | joboet <jonasboettiger@icloud.com> | 2024-01-11 20:38:24 +0100 |
|---|---|---|
| committer | joboet <jonasboettiger@icloud.com> | 2024-01-11 20:40:00 +0100 |
| commit | 41c05c46ed38966c2b7da5acc0a3a03e85eff982 (patch) | |
| tree | 5643457654be1af52c73f889c854654f5efad2cf /src/tools/miri | |
| parent | d6efeadb06733a04479bfe57db897712440222be (diff) | |
| download | rust-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.rs | 4 |
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() } |
