Skip to content

Commit 862386f

Browse files
committed
Minimal changes to make miri work
1 parent ef95b20 commit 862386f

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/machine.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -771,10 +771,11 @@ impl<'mir, 'tcx> Machine<'mir, 'tcx> for MiriMachine<'mir, 'tcx> {
771771

772772
type Provenance = Provenance;
773773
type ProvenanceExtra = ProvenanceExtra;
774+
type Bytes = Box<[u8]>;
774775

775776
type MemoryMap = MonoHashMap<
776777
AllocId,
777-
(MemoryKind<MiriMemoryKind>, Allocation<Provenance, Self::AllocExtra>),
778+
(MemoryKind<MiriMemoryKind>, Allocation<Provenance, Self::AllocExtra, Self::Bytes>),
778779
>;
779780

780781
const GLOBAL_KIND: Option<MiriMemoryKind> = Some(MiriMemoryKind::Global);

0 commit comments

Comments
 (0)