Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_atomic_inc_dec.c304 static int success_fail_positive(struct range_list *rl) in success_fail_positive() function
364 bucket = success_fail_positive(estate_rl(return_sm->state)); in check_counter()
H A Dcheck_locking.c941 static int success_fail_positive(struct range_list *rl) in success_fail_positive() function
1033 bucket = success_fail_positive(estate_rl(return_sm->state)); in check_lock()