svn commit: r236250 - head/sys/cddl/contrib/opensolaris/uts/common/fs/zfs

[Pawel Jakub Dawidek]

Author: pjd
Date: Tue May 29 18:11:45 2012
New Revision: 236250
URL: http://svn.freebsd.org/changeset/base/236250

Log:
  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

Modified:
  head/sys/cddl/contrib/opensolaris/uts/common/fs/zfs/space_map.c

Modified: head/sys/cddl/contrib/opensolaris/uts/common/fs/zfs/space_map.c
==============================================================================
--- head/sys/cddl/contrib/opensolaris/uts/common/fs/zfs/space_map.c	Tue May 29 18:09:14 2012	(r236249)
+++ head/sys/cddl/contrib/opensolaris/uts/common/fs/zfs/space_map.c	Tue May 29 18:11:45 2012	(r236250)
@@ -195,7 +195,7 @@ space_map_remove(space_map_t *sm, uint64
 	}
 	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);