Home
last modified time | relevance | path

Searched refs:match_implies_atomic_dec (Results 1 – 1 of 1) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_atomic_inc_dec.c256 static void match_implies_atomic_dec(const char *fn, struct expression *call_expr, in match_implies_atomic_dec() function
464 return_implies_state("atomic_dec_if_positive", 0, INT_MAX, &match_implies_atomic_dec, INT_PTR(0)); in check_atomic_inc_dec()