CVS commit: src/sys/kern

[Maxime Villard]

Module Name:    src
Committed By:   maxv
Date:           Thu Jan  3 10:16:43 UTC 2019

Modified Files:
        src/sys/kern: kern_descrip.c

Log Message:
Add KASSERT.


To generate a diff of this commit:
cvs rdiff -u -r1.241 -r1.242 src/sys/kern/kern_descrip.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.


Modified files:

Index: src/sys/kern/kern_descrip.c
diff -u src/sys/kern/kern_descrip.c:1.241 src/sys/kern/kern_descrip.c:1.242
--- src/sys/kern/kern_descrip.c:1.241	Sat Nov 24 16:41:48 2018
+++ src/sys/kern/kern_descrip.c	Thu Jan  3 10:16:43 2019
@@ -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 @@ file_dtor(void *arg, void *obj)
 	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);
 }