- EvalResult, EvalErrorKind, MiriEvalContext, HelpersEvalContextExt, Evaluator, MutValueVisitor,
+ EvalResult, InterpError, MiriEvalContext, HelpersEvalContextExt, Evaluator, MutValueVisitor,
MemoryKind, MiriMemoryKind, RangeMap, AllocId, Allocation, AllocationExtra,
Pointer, Immediate, ImmTy, PlaceTy, MPlaceTy,
};
MemoryKind, MiriMemoryKind, RangeMap, AllocId, Allocation, AllocationExtra,
Pointer, Immediate, ImmTy, PlaceTy, MPlaceTy,
};
ptr.tag, kind, ptr, size.bytes());
let stacks = self.stacks.borrow();
for stack in stacks.iter(ptr.offset, size) {
ptr.tag, kind, ptr, size.bytes());
let stacks = self.stacks.borrow();
for stack in stacks.iter(ptr.offset, size) {
let mut stacks = self.stacks.borrow_mut();
for stack in stacks.iter_mut(ptr.offset, size) {
// Access source `ptr`, create new ref.
let mut stacks = self.stacks.borrow_mut();
for stack in stacks.iter_mut(ptr.offset, size) {
// Access source `ptr`, create new ref.
// If we can deref the new tag already, and if that tag lives higher on
// the stack than the one we come from, just use that.
// That is, we check if `new_bor` *already* is "derived from" `ptr.tag`.
// If we can deref the new tag already, and if that tag lives higher on
// the stack than the one we come from, just use that.
// That is, we check if `new_bor` *already* is "derived from" `ptr.tag`.