Commit 0bbe7c52 authored by Matthias Braun's avatar Matthias Braun
Browse files

remove unused PDEQ_VRFY

parent ecd4ad05
......@@ -171,13 +171,6 @@ FIRM_API void *pdeq_getl(pdeq *dq);
*/
FIRM_API void *pdeq_getr(pdeq *dq);
#ifdef NDEBUG
#define PDEQ_VRFY(deq) ((void)0)
#else
#define PDEQ_VRFY(deq) _pdeq_vrfy ((deq))
FIRM_API void _pdeq_vrfy(pdeq *dq);
#endif
/**
* The pdeq is often used as a wait queue. A helper
* type to support this.
......
......@@ -115,34 +115,6 @@ static inline pdeq *alloc_pdeq_block (void)
return p;
}
#ifndef NDEBUG
/**
* Verify a double ended list, assert if failure.
*
* @param dq The list to verify.
*/
void _pdeq_vrfy(pdeq *dq)
{
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;
}
}
#endif
/* Creates a new double ended pointer list. */
pdeq *new_pdeq(void)
{
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment