Skip to content

Commit 9ff77f6

Browse files
committed
add an assertion
1 parent 1fecbd8 commit 9ff77f6

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/sync.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -238,6 +238,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
238238
match this.machine.threads.sync.rwlocks[id].readers.entry(reader) {
239239
Entry::Occupied(mut entry) => {
240240
let count = entry.get_mut();
241+
assert!(*count > 0, "rwlock locked with count == 0");
241242
*count -= 1;
242243
if *count == 0 {
243244
entry.remove();

0 commit comments

Comments
 (0)