Skip to content

Commit bd162d7

Browse files
Update src/intptrcast.rs
Co-authored-by: Ralf Jung <[email protected]>
1 parent f71a9cc commit bd162d7

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/intptrcast.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -48,6 +48,7 @@ impl<'mir, 'tcx> GlobalStateInner {
4848
// or `None` if the addr is out of bounds
4949
fn alloc_id_from_addr(ecx: &MiriEvalContext<'mir, 'tcx>, addr: u64) -> Option<AllocId> {
5050
let global_state = ecx.machine.intptrcast.borrow();
51+
assert!(global_state.provenance_mode != ProvenanceMode::Strict);
5152

5253
let pos = global_state.int_to_ptr_map.binary_search_by_key(&addr, |(addr, _)| *addr);
5354

0 commit comments

Comments
 (0)