1 files changed, 0 insertions, 5 deletions

diff --git a/src/alloc.c b/src/alloc.c
index 78e0b5f60cc..e057107f98c 100644
--- a/src/alloc.c
+++ b/src/alloc.c
@@ -4868,11 +4868,6 @@ mark_memory (void const *start, void const *end)
       intptr_t ip;
       INT_ADD_WRAPV ((intptr_t) p, (intptr_t) lispsym, &ip);
       mark_maybe_pointer ((void *) ip);
-
-      verify (alignof (Lisp_Object) % GC_POINTER_ALIGNMENT == 0);
-      if (alignof (Lisp_Object) == GC_POINTER_ALIGNMENT
-          || (uintptr_t) pp % alignof (Lisp_Object) == 0)
-        mark_maybe_object (*(Lisp_Object const *) pp);
     }
 }