diff options
-rw-r--r-- | src/alloc.c | 5 |
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); } } |