Searched refs:RETURN_ID (Results 1 – 5 of 5) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_returns.c | 22 int RETURN_ID; variable
126 RETURN_ID = id; in register_returns_early()
128 set_dynamic_states(RETURN_ID); in register_returns_early()
|
| H A D | smatch_db.c | 1533 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_sval(sval)); in call_return_state_hooks_compare()
1547 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_sval(sval)); in call_return_state_hooks_compare()
1719 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(ret_rl)); in split_positive_from_negative()
1731 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(ret_rl)); in split_positive_from_negative()
1744 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(ret_rl)); in split_positive_from_negative()
1802 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(nonnull_rl)); in call_return_state_hooks_split_null_non_null_zero()
1815 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(null_rl)); in call_return_state_hooks_split_null_non_null_zero()
1898 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(nonzero_rl)); in call_return_state_hooks_split_success_fail()
1911 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(zero_rl)); in call_return_state_hooks_split_success_fail()
2012 set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(ret_rl)); in split_on_bool_sm()
[all …]
|
| H A D | check_atomic_inc_dec.c | 342 return_sm = get_sm_state(RETURN_ID, "return_ranges", NULL); in check_counter()
|
| H A D | check_locking.c | 1012 return_sm = get_sm_state(RETURN_ID, "return_ranges", NULL); in check_lock()
|
| H A D | smatch.h | 612 extern int RETURN_ID;
|