Tighten up the assertion: because size can't be 0 and even if sm_space is equal

to sm_size, any 'sm_space - size' will be less than sm_size.

MFC after:	3 days
This commit is contained in:
pjd 2012-05-29 18:11:45 +00:00
parent cf32db042c
commit debc9fb279

View File

@ -195,7 +195,7 @@ space_map_remove(space_map_t *sm, uint64_t start, uint64_t size)
}
VERIFY3U(ss->ss_start, <=, start);
VERIFY3U(ss->ss_end, >=, end);
VERIFY(sm->sm_space - size <= sm->sm_size);
VERIFY(sm->sm_space - size < sm->sm_size);
left_over = (ss->ss_start != start);
right_over = (ss->ss_end != end);