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()
|