From debc9fb27922e96181112cb91172f920894f1745 Mon Sep 17 00:00:00 2001 From: pjd Date: Tue, 29 May 2012 18:11:45 +0000 Subject: [PATCH] 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 --- sys/cddl/contrib/opensolaris/uts/common/fs/zfs/space_map.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sys/cddl/contrib/opensolaris/uts/common/fs/zfs/space_map.c b/sys/cddl/contrib/opensolaris/uts/common/fs/zfs/space_map.c index 5c35816be5c9..ef5fb6202831 100644 --- a/sys/cddl/contrib/opensolaris/uts/common/fs/zfs/space_map.c +++ b/sys/cddl/contrib/opensolaris/uts/common/fs/zfs/space_map.c @@ -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);