Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_atomic_inc_dec.c326 struct sm_state *return_sm; in check_counter() local
342 return_sm = get_sm_state(RETURN_ID, "return_ranges", NULL); in check_counter()
343 if (!return_sm) in check_counter()
345 line.value = return_sm->line; in check_counter()
364 bucket = success_fail_positive(estate_rl(return_sm->state)); in check_counter()
H A Dcheck_locking.c997 struct sm_state *return_sm; in check_lock() local
1012 return_sm = get_sm_state(RETURN_ID, "return_ranges", NULL); in check_lock()
1013 if (!return_sm) in check_lock()
1015 line.value = return_sm->line; in check_lock()
1030 is_EINTR(estate_rl(return_sm->state))) in check_lock()
1033 bucket = success_fail_positive(estate_rl(return_sm->state)); in check_lock()