We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f8453ad commit 09edbf7Copy full SHA for 09edbf7
src/operator.rs
@@ -43,7 +43,7 @@ impl<'mir, 'tcx> EvalContextExt<'tcx> for super::MiriEvalContext<'mir, 'tcx> {
43
#[inline]
44
fn pointer_inbounds(&self, ptr: Pointer<Tag>) -> InterpResult<'tcx> {
45
let (size, _align) = self.memory().get_size_and_align(ptr.alloc_id, AllocCheck::Live)?;
46
- ptr.check_in_alloc(size, CheckInAllocMsg::InboundsTest)
+ ptr.check_inbounds_alloc(size, CheckInAllocMsg::InboundsTest)
47
}
48
49
fn ptr_op(
0 commit comments