Skip to content

Commit

Permalink
miri: update reference to PAL module on Windows
Browse files Browse the repository at this point in the history
  • Loading branch information
joboet committed Jan 11, 2024
1 parent 0553319 commit 8d2e97f
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/helpers.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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`.
Expand Down Expand Up @@ -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()
}
Expand Down

0 comments on commit 8d2e97f

Please sign in to comment.