diff options
Diffstat (limited to 'rts/sm/Sanity.c')
| -rw-r--r-- | rts/sm/Sanity.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/rts/sm/Sanity.c b/rts/sm/Sanity.c index 6f6b15c4e8..f1b57eae66 100644 --- a/rts/sm/Sanity.c +++ b/rts/sm/Sanity.c @@ -839,12 +839,14 @@ checkRunQueue(Capability *cap) { StgTSO *prev, *tso; prev = END_TSO_QUEUE; - for (tso = cap->run_queue_hd; tso != END_TSO_QUEUE; - prev = tso, tso = tso->_link) { + uint32_t n; + for (n = 0, tso = cap->run_queue_hd; tso != END_TSO_QUEUE; + prev = tso, tso = tso->_link, n++) { ASSERT(prev == END_TSO_QUEUE || prev->_link == tso); ASSERT(tso->block_info.prev == prev); } ASSERT(cap->run_queue_tl == prev); + ASSERT(cap->n_run_queue == n); } /* ----------------------------------------------------------------------------- |