- pdeq *q;
-
- assert ( dq
- && (dq->magic == PDEQ_MAGIC1)
- && (dq->l_end && dq->r_end));
- q = dq->l_end;
- while (q) {
- assert ( ((q == dq) || (q->magic == PDEQ_MAGIC2))
- && ((q == dq->l_end) ^ (q->l != NULL))
- && ((q == dq->r_end) ^ (q->r != NULL))
- && (!q->l || (q == q->l->r))
- && ((q->n >= 0) && (q->n <= NDATA))
- && ((q == dq->l_end) || (q == dq->r_end) || (q->n == NDATA))
- && ((q->p >= 0) && (q->p < NDATA)));
- q = q->r;
- }
+ pdeq *q;
+
+ assert ( dq
+ && (dq->magic == PDEQ_MAGIC1)
+ && (dq->l_end && dq->r_end));
+ q = dq->l_end;
+ while (q) {
+ assert ( ((q == dq) || (q->magic == PDEQ_MAGIC2))
+ && ((q == dq->l_end) ^ (q->l != NULL))
+ && ((q == dq->r_end) ^ (q->r != NULL))
+ && (!q->l || (q == q->l->r))
+ && (q->n <= NDATA)
+ && ((q == dq->l_end) || (q == dq->r_end) || (q->n == NDATA))
+ && (q->p < NDATA));
+ q = q->r;
+ }