Skip to content

Commit 6f00c21

Browse files
committed
Replace match with expect()
1 parent c2f681f commit 6f00c21

1 file changed

Lines changed: 1 addition & 4 deletions

File tree

src/helpers.rs

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -91,10 +91,7 @@ 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(ptr, Size::from_bytes(len as u64), Align::from_bytes(1).unwrap())?.expect("we already checked for size 0");
9895

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

0 commit comments

Comments
 (0)