T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

debug assert could catch double-free

Browse Source
This commit is contained in:
Pat Hickey
2020-11-20 11:18:56 -08:00
parent f5f180a8fe
commit 6681e6786e
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
crates/wiggle/borrow/src/lib.rs
View File

@@ -118,11 +118,13 @@ impl InnerBorrowChecker {
} }
fn shared_unborrow(&mut self, h: BorrowHandle) { fn shared_unborrow(&mut self, h: BorrowHandle) {
let _ = self.shared_borrows.remove(&h); let removed = self.shared_borrows.remove(&h);
debug_assert!(removed.is_some(), "double-freed shared borrow");
} }
fn mut_unborrow(&mut self, h: BorrowHandle) { fn mut_unborrow(&mut self, h: BorrowHandle) {
let _ = self.mut_borrows.remove(&h); let removed = self.mut_borrows.remove(&h);
debug_assert!(removed.is_some(), "double-freed mut borrow");
} }
} }