[src/trunk]: src/sys/kern Add KASSERT.

[maxv <maxv%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/7701023bfb92
branches:  trunk
changeset: 447178:7701023bfb92
user:      maxv <maxv%NetBSD.org@localhost>
date:      Thu Jan 03 10:16:43 2019 +0000

description:
Add KASSERT.

diffstat:

 sys/kern/kern_descrip.c |  5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)

diffs (26 lines):

diff -r 66fe1d39c6a7 -r 7701023bfb92 sys/kern/kern_descrip.c
--- a/sys/kern/kern_descrip.c   Thu Jan 03 09:09:39 2019 +0000
+++ b/sys/kern/kern_descrip.c   Thu Jan 03 10:16:43 2019 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: kern_descrip.c,v 1.241 2018/11/24 16:41:48 maxv Exp $  */
+/*     $NetBSD: kern_descrip.c,v 1.242 2019/01/03 10:16:43 maxv Exp $  */
 
 /*-
  * Copyright (c) 2008, 2009 The NetBSD Foundation, Inc.
@@ -70,7 +70,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: kern_descrip.c,v 1.241 2018/11/24 16:41:48 maxv Exp $");
+__KERNEL_RCSID(0, "$NetBSD: kern_descrip.c,v 1.242 2019/01/03 10:16:43 maxv Exp $");
 
 #include <sys/param.h>
 #include <sys/systm.h>
@@ -1229,6 +1229,7 @@
        LIST_REMOVE(fp, f_list);
        mutex_exit(&filelist_lock);
 
+       KASSERT(fp->f_count == 0);
        kauth_cred_free(fp->f_cred);
        mutex_destroy(&fp->f_lock);
 }