Symbol: match_implies_inc
usr/src/tools/smatch/src/check_atomic_inc_dec.c
461
return_implies_state("refcount_add_not_zero", 1, 1, &match_implies_inc, INT_PTR(1));
usr/src/tools/smatch/src/check_atomic_inc_dec.c
462
return_implies_state("refcount_inc_not_zero", 1, 1, &match_implies_inc, INT_PTR(0));