hardenedbsd/HardenedBSD
1
0
Fork 0
mirror of https://git.hardenedbsd.org/hardenedbsd/HardenedBSD.git synced 2025-01-22 16:44:32 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

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

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

MFC after:	3 days
This commit is contained in:
Pawel Jakub Dawidek 2012-05-29 18:11:45 +00:00
parent 837a617728
commit 97e9ad8ec4
Notes: svn2git 2020-12-20 02:59:44 +00:00 
svn path=/head/; revision=236250
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
sys/cddl/contrib/opensolaris/uts/common/fs/zfs/space_map.c
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);