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 …]
|