From cbfca8b888ecc0c15fc757ccc9efc6a0c8febae6 Mon Sep 17 00:00:00 2001
From: trasz <trasz@FreeBSD.org>
Date: Thu, 3 Jun 2010 13:41:55 +0000
Subject: The acl_cnt field is unsigned; no point in checking if it's >= 0.

Found with:	Coverity Prevent
CID:		3683
---
 sys/kern/subr_acl_nfs4.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/sys/kern/subr_acl_nfs4.c b/sys/kern/subr_acl_nfs4.c
index 1a01577..ec7ead9 100644
--- a/sys/kern/subr_acl_nfs4.c
+++ b/sys/kern/subr_acl_nfs4.c
@@ -342,7 +342,6 @@ acl_nfs4_sync_acl_from_mode(struct acl *aclp, mode_t mode, int file_owner_id)
 	const int WRITE = 02;
 	const int EXEC = 01;
 
-	KASSERT(aclp->acl_cnt >= 0, ("aclp->acl_cnt >= 0"));
 	KASSERT(aclp->acl_cnt <= ACL_MAX_ENTRIES,
 	    ("aclp->acl_cnt <= ACL_MAX_ENTRIES"));
 
-- 
cgit v1.1