usr/src/tools/smatch/src/check_atomic_inc_dec.c

196

db_inc_dec(expr, param, key, ATOMIC_INC);

usr/src/tools/smatch/src/check_atomic_inc_dec.c

203

db_inc_dec(expr, param, key, ATOMIC_DEC);

usr/src/tools/smatch/src/check_atomic_inc_dec.c

208

db_inc_dec(expr, 0, "$->counter", ATOMIC_INC);

usr/src/tools/smatch/src/check_atomic_inc_dec.c

213

db_inc_dec(expr, 0, "$->counter", ATOMIC_DEC);

usr/src/tools/smatch/src/check_atomic_inc_dec.c

223

db_inc_dec(expr, 1, "$->counter", ATOMIC_DEC);

usr/src/tools/smatch/src/check_atomic_inc_dec.c

227

db_inc_dec(expr, 1, "$->counter", ATOMIC_INC);

usr/src/tools/smatch/src/check_atomic_inc_dec.c

232

db_inc_dec(expr, 1, "$->counter", ATOMIC_DEC);

usr/src/tools/smatch/src/check_atomic_inc_dec.c

237

db_inc_dec(expr, PTR_INT(param), "$->ref.counter", ATOMIC_INC);

usr/src/tools/smatch/src/check_atomic_inc_dec.c

242

db_inc_dec(expr, PTR_INT(param), "$->ref.counter", ATOMIC_DEC);

usr/src/tools/smatch/src/check_atomic_inc_dec.c

247

db_inc_dec(expr, PTR_INT(param), "$->power.usage_count.counter", ATOMIC_INC);

usr/src/tools/smatch/src/check_atomic_inc_dec.c

253

db_inc_dec(call_expr, PTR_INT(param), "$->ref.counter", ATOMIC_INC);

usr/src/tools/smatch/src/check_atomic_inc_dec.c

259

db_inc_dec(call_expr, PTR_INT(param), "$->counter", ATOMIC_DEC);