}
let ptr = this.read_pointer(ptr_op)?;
+ // If this carries no provenance, treat it like an integer.
+ if ptr.provenance.is_none() {
+ // Use actual implementation.
+ return Ok(false);
+ }
+
if let Ok((alloc_id, _offset, _)) = this.ptr_try_get_alloc_id(ptr) {
// Only do anything if we can identify the allocation this goes to.
let (_size, cur_align, _kind) = this.get_alloc_info(alloc_id);