| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_ignore.c | 32 return !!get_state_stree(ignored, owner, name, sym); in is_ignored()
62 if (name && get_state_stree(ignored_from_file, owner, name, NULL)) in is_ignored_expr()
66 if (name && get_state_stree(ignored_from_file, owner, name, NULL)) in is_ignored_expr()
|
| H A D | check_atomic_inc_dec.c | 51 orig = get_state_stree(start_states, my_id, name, sym); in set_start_state()
284 if (sm->state == get_state_stree(start_states, my_id, sm->name, sm->sym)) in match_return_info()
347 if (get_state_stree(start_states, my_id, name, sym) == &inc) in check_counter()
|
| H A D | smatch_type_val.c | 132 old = get_state_stree(fn_type_val, my_id, member, NULL); in add_type_val()
146 old = get_state_stree(fn_type_val, my_id, member, NULL); in add_fake_type_val()
169 old = get_state_stree(global_type_val, my_id, member, NULL); in add_global_type_val()
|
| H A D | check_spectre_second_half.c | 61 return get_state_stree(first_halfs, my_id, buf, NULL); in get_spectre_first_half()
|
| H A D | smatch_slist.h | 40 struct smatch_state *get_state_stree(struct stree *stree, int owner, const char *name,
|
| H A D | smatch_param_limit.c | 156 old = get_state_stree(start_states, SMATCH_EXTRA, tmp->name, tmp->sym); in print_return_value_param()
|
| H A D | check_nospec.c | 109 if (get_state_stree(start_states, my_id, sm->name, sm->sym) == sm->state) in returned_struct_members()
|
| H A D | smatch_integer_overflow.c | 270 if (get_state_stree(done, my_id, link->state->name, NULL)) in match_call_info()
|
| H A D | smatch_capped.c | 276 orig = get_state_stree(get_start_states(), my_id, sm->name, sm->sym); in print_return_implies_capped()
|
| H A D | smatch_constraints.c | 488 orig = get_state_stree(get_start_states(), my_id, sm->name, sm->sym); in print_return_implies_constrained()
|
| H A D | smatch_comparison.c | 993 state = get_state_stree(pre_stree, comparison_id, state_name, NULL); in get_orig_comparison()
1046 state = get_state_stree(pre_stree, comparison_id, tmp, NULL); in update_tf_links()
1128 state = get_state_stree(pre_stree, link_id, right_name, vsl_to_sym(right_vsl)); in update_tf_data()
1132 state = get_state_stree(pre_stree, link_id, left_name, vsl_to_sym(left_vsl)); in update_tf_data()
|
| H A D | check_locking.c | 578 orig = get_state_stree(start_states, my_id, name, sym); in set_start_state()
837 orig = get_state_stree(start_states, my_id, sm->name, sm->sym); in get_start_state()
|
| H A D | smatch_slist.c | 536 struct smatch_state *get_state_stree(struct stree *stree, in get_state_stree() function
|
| H A D | smatch_kernel_user_data.c | 1372 start_state = get_state_stree(start_states, my_id, sm->name, sm->sym); in param_set_to_user_data()
|
| H A D | smatch_extra.c | 929 state = get_state_stree(unmatched_stree, SMATCH_EXTRA, sm->name, sm->sym); in unmatched_state()
|