BumpPtrAllocator: do the size check without moving any pointers