Home
last modified time | relevance | path

Searched refs:inc_buckets (Results 1 – 1 of 1) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_atomic_inc_dec.c322 int inc_buckets[NUM_BUCKETS] = {}; in check_counter() local
368 inc_buckets[bucket] = true; in check_counter()
378 if (inc_buckets[NEGATIVE] && in check_counter()
379 inc_buckets[ZERO]) { in check_counter()