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

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

details:   https://anonhg.NetBSD.org/src/rev/002e69a04be2
branches:  trunk
changeset: 350443:002e69a04be2
user:      christos <christos%NetBSD.org@localhost>
date:      Wed Jan 11 18:25:46 2017 +0000

description:
Add KASSERT.

diffstat:

 sys/netinet6/in6.c |  6 ++++--
 1 files changed, 4 insertions(+), 2 deletions(-)

diffs (27 lines):

diff -r d9d1c6d990d8 -r 002e69a04be2 sys/netinet6/in6.c
--- a/sys/netinet6/in6.c        Wed Jan 11 18:19:29 2017 +0000
+++ b/sys/netinet6/in6.c        Wed Jan 11 18:25:46 2017 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: in6.c,v 1.231 2017/01/10 05:42:34 ozaki-r Exp $        */
+/*     $NetBSD: in6.c,v 1.232 2017/01/11 18:25:46 christos Exp $       */
 /*     $KAME: in6.c,v 1.198 2001/07/18 09:12:38 itojun Exp $   */
 
 /*
@@ -62,7 +62,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: in6.c,v 1.231 2017/01/10 05:42:34 ozaki-r Exp $");
+__KERNEL_RCSID(0, "$NetBSD: in6.c,v 1.232 2017/01/11 18:25:46 christos Exp $");
 
 #ifdef _KERNEL_OPT
 #include "opt_inet.h"
@@ -1770,6 +1770,8 @@
 {
        struct ifaddr *best_ifa = NULL, *ifa;
 
+       KASSERT(ifp != NULL);
+
        IFADDR_READER_FOREACH(ifa, ifp) {
                if (ifa->ifa_addr->sa_family != AF_INET6)
                        continue;