svn commit: r201717 - head/sys/ufs/ufs
Kirk McKusick
mckusick at FreeBSD.org
Thu Jan 7 06:20:08 UTC 2010
Author: mckusick
Date: Thu Jan 7 06:20:07 2010
New Revision: 201717
URL: http://svn.freebsd.org/changeset/base/201717
Log:
KASSERT that condition raised by Coverity cannot happen.
Found by: Coverity Prevent (tm)
KASSERT by: sam
Modified:
head/sys/ufs/ufs/ufs_dirhash.c
Modified: head/sys/ufs/ufs/ufs_dirhash.c
==============================================================================
--- head/sys/ufs/ufs/ufs_dirhash.c Thu Jan 7 04:47:09 2010 (r201716)
+++ head/sys/ufs/ufs/ufs_dirhash.c Thu Jan 7 06:20:07 2010 (r201717)
@@ -632,6 +632,7 @@ restart:
goto fail;
}
}
+ KASSERT(bp != NULL, ("no buffer allocated"));
dp = (struct direct *)(bp->b_data + (offset & bmask));
if (dp->d_reclen == 0 || dp->d_reclen >
DIRBLKSIZ - (offset & (DIRBLKSIZ - 1))) {
More information about the svn-src-head
mailing list