- DLIST_CHECK(ads->timew, qu, , {
- switch (qu->state) {
- case query_tosend:
- assert(qu->udpsent);
- assert(!qu->tcpfailed);
- break;
- case query_tcpwait:
- assert(ads->tcpstate != server_ok);
- break;
- case query_tcpsent:
- break;
- default:
- assert(!"timew state");
- }
+ DLIST_CHECK(ads->udpw, qu, , {
+ assert(qu->state==query_tosend);
+ assert(qu->retries <= UDPMAXRETRIES);
+ assert(qu->udpsent);
+ assert(!qu->children.head && !qu->children.tail);
+ checkc_query(ads,qu);
+ checkc_query_alloc(ads,qu);
+ });
+}
+
+static void checkc_queue_tcpw(adns_state ads) {
+ adns_query qu;
+
+ DLIST_CHECK(ads->tcpw, qu, , {
+ assert(qu->state==query_tcpw);