user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

rename per-location part of reborowing to 'granting'

Browse source
This commit is contained in:
Ralf Jung 2019-05-11 11:03:53 +02:00
parent 72698b1b30
commit 8530080d03
1 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/stacked_borrows.rs
View file

@ -373,10 +373,10 @@ impl<'tcx> Stack {
}
/// Derived a new pointer from one with the given tag.
/// `weak` controls whether this is a weak reborrow: weak reborrows do not act as
/// accesses, and they add the new item directly on top of the one it is derived
/// `weak` controls whether this operation is weak or string: weak granting does not act as
/// an access, and they add the new item directly on top of the one it is derived
/// from instead of all the way at the top of the stack.
fn reborrow(
fn grant(
&mut self,
derived_from: Tag,
weak: bool,
@ -588,7 +588,7 @@ trait EvalContextPrivExt<'a, 'mir, 'tcx: 'a+'mir>: crate::MiriEvalContextExt<'a,
let weak = perm == Permission::SharedReadWrite;
let item = Item { perm, tag: new_tag, protector };
alloc.extra.for_each(cur_ptr, size, |stack, global| {
stack.reborrow(cur_ptr.tag, force_weak || weak, item, global)
stack.grant(cur_ptr.tag, force_weak || weak, item, global)
})
});
}
@ -597,7 +597,7 @@ trait EvalContextPrivExt<'a, 'mir, 'tcx: 'a+'mir>: crate::MiriEvalContextExt<'a,
let weak = perm == Permission::SharedReadWrite;
let item = Item { perm, tag: new_tag, protector };
alloc.extra.for_each(ptr, size, |stack, global| {
stack.reborrow(ptr.tag, force_weak || weak, item, global)
stack.grant(ptr.tag, force_weak || weak, item, global)
})
}