usr/src/tools/smatch/src/check_atomic_inc_dec.c

284

if (sm->state == get_state_stree(start_states, my_id, sm->name, sm->sym))

usr/src/tools/smatch/src/check_atomic_inc_dec.c

347

if (get_state_stree(start_states, my_id, name, sym) == &inc)

usr/src/tools/smatch/src/check_atomic_inc_dec.c

51

orig = get_state_stree(start_states, my_id, name, sym);

usr/src/tools/smatch/src/check_locking.c

578

orig = get_state_stree(start_states, my_id, name, sym);

usr/src/tools/smatch/src/check_locking.c

837

orig = get_state_stree(start_states, my_id, sm->name, sm->sym);

usr/src/tools/smatch/src/check_nospec.c

109

if (get_state_stree(start_states, my_id, sm->name, sm->sym) == sm->state)

usr/src/tools/smatch/src/check_spectre_second_half.c

61

return get_state_stree(first_halfs, my_id, buf, NULL);

usr/src/tools/smatch/src/smatch_capped.c

276

orig = get_state_stree(get_start_states(), my_id, sm->name, sm->sym);

usr/src/tools/smatch/src/smatch_comparison.c

1046

state = get_state_stree(pre_stree, comparison_id, tmp, NULL);

usr/src/tools/smatch/src/smatch_comparison.c

1128

state = get_state_stree(pre_stree, link_id, right_name, vsl_to_sym(right_vsl));

usr/src/tools/smatch/src/smatch_comparison.c

1132

state = get_state_stree(pre_stree, link_id, left_name, vsl_to_sym(left_vsl));

usr/src/tools/smatch/src/smatch_comparison.c

993

state = get_state_stree(pre_stree, comparison_id, state_name, NULL);

usr/src/tools/smatch/src/smatch_constraints.c

488

orig = get_state_stree(get_start_states(), my_id, sm->name, sm->sym);

usr/src/tools/smatch/src/smatch_extra.c

929

state = get_state_stree(unmatched_stree, SMATCH_EXTRA, sm->name, sm->sym);

usr/src/tools/smatch/src/smatch_ignore.c

32

return !!get_state_stree(ignored, owner, name, sym);

usr/src/tools/smatch/src/smatch_ignore.c

62

if (name && get_state_stree(ignored_from_file, owner, name, NULL))

usr/src/tools/smatch/src/smatch_ignore.c

66

if (name && get_state_stree(ignored_from_file, owner, name, NULL))

usr/src/tools/smatch/src/smatch_integer_overflow.c

270

if (get_state_stree(done, my_id, link->state->name, NULL))

usr/src/tools/smatch/src/smatch_kernel_user_data.c

1372

start_state = get_state_stree(start_states, my_id, sm->name, sm->sym);

usr/src/tools/smatch/src/smatch_param_limit.c

156

old = get_state_stree(start_states, SMATCH_EXTRA, tmp->name, tmp->sym);

usr/src/tools/smatch/src/smatch_slist.h

40

struct smatch_state *get_state_stree(struct stree *stree, int owner, const char *name,

usr/src/tools/smatch/src/smatch_type_val.c

132

old = get_state_stree(fn_type_val, my_id, member, NULL);

usr/src/tools/smatch/src/smatch_type_val.c

146

old = get_state_stree(fn_type_val, my_id, member, NULL);

usr/src/tools/smatch/src/smatch_type_val.c

169

old = get_state_stree(global_type_val, my_id, member, NULL);