Searched refs:match_implies_inc (Results 1 – 1 of 1) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | check_atomic_inc_dec.c | 250 static void match_implies_inc(const char *fn, struct expression *call_expr, in match_implies_inc() function 461 return_implies_state("refcount_add_not_zero", 1, 1, &match_implies_inc, INT_PTR(1)); in check_atomic_inc_dec() 462 return_implies_state("refcount_inc_not_zero", 1, 1, &match_implies_inc, INT_PTR(0)); in check_atomic_inc_dec()
|