Skip to content

Commit 32ba4bd

Browse files
committed
Improve miri's error reporting in check_in_alloc
1 parent 11464e7 commit 32ba4bd

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/librustc_mir/interpret/memory.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -448,7 +448,7 @@ impl<'a, 'mir, 'tcx, M: Machine<'a, 'mir, 'tcx>> Memory<'a, 'mir, 'tcx, M> {
448448
"allocation missing in dead_alloc_map"
449449
))
450450
},
451-
_ => err!(DanglingPointerDeref),
451+
InboundsCheck::Live => err!(DanglingPointerDeref),
452452
},
453453
}
454454
}

0 commit comments

Comments
 (0)