[src/trunk]: src/sys/netinet Clarify with KASSERT.

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

details:   https://anonhg.NetBSD.org/src/rev/715e99817d7a
branches:  trunk
changeset: 321645:715e99817d7a
user:      maxv <maxv%NetBSD.org@localhost>
date:      Thu Mar 29 16:59:38 2018 +0000

description:
Clarify with KASSERT.

diffstat:

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

diffs (26 lines):

diff -r 484aaef705ba -r 715e99817d7a sys/netinet/tcp_input.c
--- a/sys/netinet/tcp_input.c   Thu Mar 29 16:54:59 2018 +0000
+++ b/sys/netinet/tcp_input.c   Thu Mar 29 16:59:38 2018 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: tcp_input.c,v 1.394 2018/03/29 16:54:59 maxv Exp $     */
+/*     $NetBSD: tcp_input.c,v 1.395 2018/03/29 16:59:38 maxv Exp $     */
 
 /*
  * Copyright (C) 1995, 1996, 1997, and 1998 WIDE Project.
@@ -148,7 +148,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: tcp_input.c,v 1.394 2018/03/29 16:54:59 maxv Exp $");
+__KERNEL_RCSID(0, "$NetBSD: tcp_input.c,v 1.395 2018/03/29 16:59:38 maxv Exp $");
 
 #ifdef _KERNEL_OPT
 #include "opt_inet.h"
@@ -2359,6 +2359,7 @@
                         * and (if not RST) ack.
                         */
                        if (tp->rcv_wnd == 0 && th->th_seq == tp->rcv_nxt) {
+                               KASSERT(todrop == tlen);
                                tp->t_flags |= TF_ACKNOW;
                                TCP_STATINC(TCP_STAT_RCVWINPROBE);
                        } else {