diff --git a/src/operator.rs b/src/operator.rs
index cc803c4ea954..4b110224a0a2 100644
--- a/src/operator.rs
+++ b/src/operator.rs
@@ -303,10 +303,9 @@ impl<'a, 'mir, 'tcx> EvalContextExt<'tcx> for super::MiriEvalContext<'a, 'mir, '
         if let Scalar::Ptr(ptr) = ptr {
             // Both old and new pointer must be in-bounds of a *live* allocation.
             // (Of the same allocation, but that part is trivial with our representation.)
-            let alloc = self.memory().get(ptr.alloc_id)?;
-            alloc.check_bounds_ptr(ptr)?;
+            self.memory().check_bounds_ptr(ptr, InboundsCheck::Live)?;
             let ptr = ptr.signed_offset(offset, self)?;
-            alloc.check_bounds_ptr(ptr)?;
+            self.memory().check_bounds_ptr(ptr, InboundsCheck::Live)?;
             Ok(Scalar::Ptr(ptr))
         } else {
             // An integer pointer. They can only be offset by 0, and we pretend there
diff --git a/tests/run-pass/ptr_offset.rs b/tests/run-pass/ptr_offset.rs
index 6add5212db9f..9e2e26fad365 100644
--- a/tests/run-pass/ptr_offset.rs
+++ b/tests/run-pass/ptr_offset.rs
@@ -1,6 +1,16 @@
+fn f() -> i32 { 42 }
+
 fn main() {
     let v = [1i16, 2];
     let x = &v as *const i16;
     let x = unsafe { x.offset(1) };
     assert_eq!(unsafe { *x }, 2);
+
+    // fn ptr offset
+    unsafe {
+        let p = f as fn() -> i32 as usize;
+        let x = (p as *mut u32).offset(0) as usize;
+        let f: fn() -> i32 = std::mem::transmute(x);
+        assert_eq!(f(), 42);
+    }
 }