Skip to content

Commit 1614743

Browse files
StrophoxRalfJung
andauthored
Update src/tools/miri/src/machine.rs
Co-authored-by: Ralf Jung <[email protected]>
1 parent 4ee6e60 commit 1614743

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/tools/miri/src/machine.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1248,7 +1248,7 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {
12481248
// to give it some reserved memory space.
12491249
let alloc = alloc.adjust_from_tcx(&ecx.tcx, |bytes, align| {
12501250
assert_eq!(alloc.align, align);
1251-
let kind = MemoryKind::Machine(kind);
1251+
let kind = Self::GLOBAL_KIND.unwrap().into();
12521252
// TODO: is this unwrap warranted?
12531253
let mut alloc_bytes = ecx.take_prepared_alloc_bytes(id, kind).unwrap();
12541254
assert_eq!(alloc_bytes.len(), bytes.len());

0 commit comments

Comments
 (0)