Searched refs:set_state_stree (Results 1 – 11 of 11) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_param_used.c | 43 set_state_stree(&used_stree, my_id, name, sym, &used); in get_state_hook() 64 set_state_stree(&used_stree, my_id, name, sym, &used); in set_param_used()
|
H A D | smatch_ignore.c | 27 set_state_stree(&ignored, owner, name, sym, &ignore); in add_ignore()
|
H A D | check_spectre_second_half.c | 40 set_state_stree(&first_halfs, my_id, buf, NULL, alloc_state_num(get_stmt_cnt())); in set_spectre_first_half()
|
H A D | smatch_slist.h | 48 struct sm_state *set_state_stree(struct stree **stree, int owner, const char *name,
|
H A D | check_atomic_inc_dec.c | 53 set_state_stree(&start_states, my_id, name, sym, start); in set_start_state() 55 set_state_stree(&start_states, my_id, name, sym, &undefined); in set_start_state()
|
H A D | check_double_checking.c | 205 set_state_stree(&to_check, my_id, name, sym, &checked); in match_condition()
|
H A D | smatch_type_val.c | 138 set_state_stree(&fn_type_val, my_id, member, NULL, new); in add_type_val() 161 set_state_stree(&fn_type_val, my_id, member, NULL, new); in add_fake_type_val()
|
H A D | smatch_container_of.c | 457 set_state_stree(stree, SMATCH_EXTRA, name, arg, alloc_estate_rl(rl)); in set_param_value() 544 set_state_stree(&db_info.stree, SMATCH_EXTRA, arg->ident->name, arg, alloc_estate_sval(sval)); in load_tag_info_sym()
|
H A D | smatch_slist.c | 564 struct sm_state *set_state_stree(struct stree **stree, int owner, const char *name, in set_state_stree() function 657 sm = set_state_stree(&stree, owner, name, sym, state); in set_state_stree_stack()
|
H A D | check_locking.c | 580 set_state_stree(&start_states, my_id, name, sym, start); in set_start_state() 582 set_state_stree(&start_states, my_id, name, sym, &undefined); in set_start_state()
|
H A D | smatch_states.c | 182 ret = set_state_stree(&cur_stree, owner, name, sym, state); in set_state()
|