diff options
Diffstat (limited to 'lib/qtimers.c')
| -rw-r--r-- | lib/qtimers.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/qtimers.c b/lib/qtimers.c index 3af79d7b..ad8da395 100644 --- a/lib/qtimers.c +++ b/lib/qtimers.c @@ -406,7 +406,7 @@ qtimer_pile_verify(qtimer_pile qtp) vector_index_t i ; vector_length_t e ; qtimer qtr ; - bool seen ; + bool seen = false ; assert(qtp != NULL) ; @@ -427,7 +427,10 @@ qtimer_pile_verify(qtimer_pile qtp) assert(qtr != NULL) ; if (qtr == qtp->implicit_unset) - seen = 1 ; + { + assert(!seen) ; + seen = true ; + } ; assert(qtr->active) ; |