X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=blobdiff_plain;f=src%2Fcheck.c;fp=src%2Fcheck.c;h=4d5e031f702acbdfafee00fcfaea8cd30caf1f28;hb=70ad7a2a18f5371981c377d0c1938e7b0a970655;hp=25de10d872f14968db65c071aada133804f2d87e;hpb=267f726b77170782a7de470923fefc4ee3ba42a9;p=adns.git

diff --git a/src/check.c b/src/check.c
index 25de10d..4d5e031 100644
--- a/src/check.c
+++ b/src/check.c
@@ -83,11 +83,13 @@ static void checkc_global(adns_state ads) {
   case server_connecting:
     assert(ads->tcpsocket >= 0);
   case server_disconnected: /* fall through */
-    assert(!ads->tcprecv.used);
     assert(!ads->tcpsend.used);
+    assert(!ads->tcprecv.used);
+    assert(!ads->tcprecv_skip);
     break;
   case server_ok:
     assert(ads->tcpsocket >= 0);
+    assert(ads->tcprecv_skip <= ads->tcprecv.used);
     break;
   default:
     assert(!"ads->tcpstate value");