Searched refs:db_inc_dec (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | check_atomic_inc_dec.c | 196 db_inc_dec(expr, param, key, ATOMIC_INC); in db_inc()
203 db_inc_dec(expr, param, key, ATOMIC_DEC); in db_dec()
208 db_inc_dec(expr, 0, "$->counter", ATOMIC_INC); in match_atomic_inc()
213 db_inc_dec(expr, 0, "$->counter", ATOMIC_DEC); in match_atomic_dec()
223 db_inc_dec(expr, 1, "$->counter", ATOMIC_DEC); in match_atomic_add()
227 db_inc_dec(expr, 1, "$->counter", ATOMIC_INC); in match_atomic_add()
232 db_inc_dec(expr, 1, "$->counter", ATOMIC_DEC); in match_atomic_sub()
237 db_inc_dec(expr, PTR_INT(param), "$->ref.counter", ATOMIC_INC); in refcount_inc()
242 db_inc_dec(expr, PTR_INT(param), "$->ref.counter", ATOMIC_DEC); in refcount_dec()
253 db_inc_dec(call_expr, PTR_INT(param), "$->ref.counter", ATOMIC_INC); in match_implies_inc()
[all …]
|