Skip to content

Commit 4d3398f

Browse files
committed
Replace match with expect()
1 parent c2f681f commit 4d3398f

File tree

1 file changed

+5
-4
lines changed

1 file changed

+5
-4
lines changed

src/helpers.rs

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -91,10 +91,11 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
9191
}
9292
let this = self.eval_context_mut();
9393

94-
let ptr = match this.memory().check_ptr_access(ptr, Size::from_bytes(len as u64), Align::from_bytes(1).unwrap())? {
95-
Some(ptr) => ptr,
96-
None => return Ok(()), // zero-sized access
97-
};
94+
let ptr = this.memory().check_ptr_access(
95+
ptr,
96+
Size::from_bytes(len as u64),
97+
Align::from_bytes(1).unwrap()
98+
)?.expect("we already checked for size 0");
9899

99100
let rng = this.memory_mut().extra.rng.get_mut();
100101
let mut data = vec![0; len];

0 commit comments

Comments
 (0)