Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_capped.c45 state = __get_state(SMATCH_EXTRA, sm->name, sm->sym); in unmatched_state()
243 estate = __get_state(SMATCH_EXTRA, sm->name, sm->sym); in struct_member_callback()
272 estate = __get_state(SMATCH_EXTRA, sm->name, sm->sym); in print_return_implies_capped()
296 estate = __get_state(SMATCH_EXTRA, sm->name, sm->sym); in print_return_implies_capped()
H A Dsmatch_states.c164 s = __get_state(owner, name, sym); in set_state()
274 s = __get_state(sm->owner, sm->name, sm->sym); in __set_sm()
300 s = __get_state(sm->owner, sm->name, sm->sym); in __set_sm_cur_stree()
323 s = __get_state(sm->owner, sm->name, sm->sym); in __set_sm_fake_stree()
365 struct smatch_state *__get_state(int owner, const char *name, struct symbol *sym) in __get_state() function
379 return __get_state(owner, name, sym); in get_state()
566 tmp = __get_state(owner, name, sym); in set_true_false_states()
620 tmp = __get_state(owner, name, sym); in __set_true_false_sm()
H A Dsmatch_param_limit.c69 state = __get_state(SMATCH_EXTRA, sm->name, sm->sym); in unmatched_state()
150 state = __get_state(my_id, tmp->name, tmp->sym); in print_return_value_param()
H A Dsmatch_assigned_expr.c54 state = __get_state(my_id, name, sym); in get_assigned_expr_name_sym()
H A Dsmatch_real_absolute.c137 return __get_state(my_id, name, sym); in get_real_absolute_state_var_sym()
H A Dsmatch_param_filter.c69 state = __get_state(SMATCH_EXTRA, sm->name, sm->sym); in unmatched_state()
H A Dcheck_free.c259 state = __get_state(my_id, start, sym); in parent_is_free_var_sym()
H A Dsmatch_kernel_user_data.c93 extra = __get_state(SMATCH_EXTRA, cur->name, cur->sym); in pre_merge_hook()
110 user = __get_state(my_id, name, sym); in extra_nomod_hook()
472 state = __get_state(my_id, buf, sym); in points_to_user_data()
1095 state = __get_state(SMATCH_EXTRA, sm->name, sm->sym); in struct_member_callback()
H A Dsmatch_param_set.c191 extra = __get_state(SMATCH_EXTRA, sm->name, sm->sym); in print_return_value_param_helper()
H A Dcheck_free_strict.c288 state = __get_state(my_id, start, sym); in parent_is_free_var_sym_strict()
H A Dsmatch_extra.c2293 state = __get_state(SMATCH_EXTRA, start, sym); in parent_is_null_var_sym()
2309 state = __get_state(SMATCH_EXTRA, start, sym); in parent_is_null_var_sym()
H A Dsmatch.h353 struct smatch_state *__get_state(int owner, const char *name, struct symbol *sym);