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 60a0688 commit a801b0bCopy full SHA for a801b0b
src/operator.rs
@@ -35,7 +35,7 @@ impl<'mir, 'tcx> EvalContextExt<'tcx> for super::MiriEvalContext<'mir, 'tcx> {
35
#[inline]
36
fn pointer_inbounds(&self, ptr: Pointer<Tag>) -> InterpResult<'tcx> {
37
let (size, _align) = self.memory().get_size_and_align(ptr.alloc_id, AllocCheck::Live)?;
38
- ptr.check_in_alloc(size, CheckInAllocMsg::InboundsTest)
+ ptr.check_inbounds_alloc(size, CheckInAllocMsg::InboundsTest)
39
}
40
41
fn binary_ptr_op(
0 commit comments