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

fix typo: is_reserved

Browse Source
This commit is contained in:
Ralf Jung 2023-08-06 22:50:05 +02:00
parent d1174a974e
commit 84edcb9869
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs
View File

@ -283,7 +283,7 @@ fn tb_reborrow(
// interleaving, but wether UB happens can depend on whether a write occurs in the // interleaving, but wether UB happens can depend on whether a write occurs in the
// future... // future...
let is_write = new_perm.initial_state.is_active() let is_write = new_perm.initial_state.is_active()
|| (new_perm.initial_state.is_resrved() && new_perm.protector.is_some()); || (new_perm.initial_state.is_reserved() && new_perm.protector.is_some());
if is_write { if is_write {
// Need to get mutable access to alloc_extra. // Need to get mutable access to alloc_extra.
// (Cannot always do this as we can do read-only reborrowing on read-only allocations.) // (Cannot always do this as we can do read-only reborrowing on read-only allocations.)

2
src/tools/miri/src/borrow_tracker/tree_borrows/perms.rs
View File

@ -152,7 +152,7 @@ pub fn is_active(self) -> bool {
matches!(self.inner, Active) matches!(self.inner, Active)
} }
pub fn is_resrved(self) -> bool { pub fn is_reserved(self) -> bool {
matches!(self.inner, Reserved { .. }) matches!(self.inner, Reserved { .. })
} }