[src/trunk]: src/sys/kern table can't be NULL here.

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

details:   https://anonhg.NetBSD.org/src/rev/da75487c95c8
branches:  trunk
changeset: 797230:da75487c95c8
user:      christos <christos%NetBSD.org@localhost>
date:      Thu Jul 10 15:00:28 2014 +0000

description:
table can't be NULL here.

diffstat:

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

diffs (26 lines):

diff -r d72ecc158564 -r da75487c95c8 sys/kern/kern_fileassoc.c
--- a/sys/kern/kern_fileassoc.c Thu Jul 10 14:05:19 2014 +0000
+++ b/sys/kern/kern_fileassoc.c Thu Jul 10 15:00:28 2014 +0000
@@ -1,4 +1,4 @@
-/* $NetBSD: kern_fileassoc.c,v 1.35 2012/01/22 03:48:51 rmind Exp $ */
+/* $NetBSD: kern_fileassoc.c,v 1.36 2014/07/10 15:00:28 christos Exp $ */
 
 /*-
  * Copyright (c) 2006 Elad Efrat <elad%NetBSD.org@localhost>
@@ -28,7 +28,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: kern_fileassoc.c,v 1.35 2012/01/22 03:48:51 rmind Exp $");
+__KERNEL_RCSID(0, "$NetBSD: kern_fileassoc.c,v 1.36 2014/07/10 15:00:28 christos Exp $");
 
 #include "opt_fileassoc.h"
 
@@ -525,6 +525,7 @@
        file_free(faf);
 
        tbl = fileassoc_table_lookup(vp->v_mount);
+       KASSERT(tbl != NULL);
        --(tbl->tbl_nused); /* XXX gc? */
 
        KERNEL_UNLOCK_ONE(NULL);