mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

replace a borrow_mut by get_mut

Browse Source
This commit is contained in:
Ralf Jung 2022-11-25 08:57:16 +01:00
parent 8b0b2d136e
commit 448f044407
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/tools/miri/src/stacked_borrows/mod.rs
View File

@ -935,11 +935,11 @@ fn reborrow(
// Note that this asserts that the allocation is mutable -- but since we are creating a // Note that this asserts that the allocation is mutable -- but since we are creating a
// mutable pointer, that seems reasonable. // mutable pointer, that seems reasonable.
let (alloc_extra, machine) = this.get_alloc_extra_mut(alloc_id)?; let (alloc_extra, machine) = this.get_alloc_extra_mut(alloc_id)?;
let mut stacked_borrows = alloc_extra let stacked_borrows = alloc_extra
.stacked_borrows .stacked_borrows
.as_mut() .as_mut()
.expect("we should have Stacked Borrows data") .expect("we should have Stacked Borrows data")
.borrow_mut(); .get_mut();
let item = Item::new(new_tag, perm, protect.is_some()); let item = Item::new(new_tag, perm, protect.is_some());
let range = alloc_range(base_offset, size); let range = alloc_range(base_offset, size);
let global = machine.stacked_borrows.as_ref().unwrap().borrow(); let global = machine.stacked_borrows.as_ref().unwrap().borrow();