Home
last modified time | relevance | path

Searched refs:set_state_stree (Results 1 – 11 of 11) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_param_used.c43 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 Dsmatch_ignore.c27 set_state_stree(&ignored, owner, name, sym, &ignore); in add_ignore()
H A Dcheck_spectre_second_half.c40 set_state_stree(&first_halfs, my_id, buf, NULL, alloc_state_num(get_stmt_cnt())); in set_spectre_first_half()
H A Dsmatch_slist.h48 struct sm_state *set_state_stree(struct stree **stree, int owner, const char *name,
H A Dcheck_atomic_inc_dec.c53 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 Dcheck_double_checking.c205 set_state_stree(&to_check, my_id, name, sym, &checked); in match_condition()
H A Dsmatch_type_val.c138 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 Dsmatch_container_of.c457 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 Dsmatch_slist.c564 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 Dcheck_locking.c580 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 Dsmatch_states.c182 ret = set_state_stree(&cur_stree, owner, name, sym, state); in set_state()