Home
last modified time | relevance | path

Searched refs:left_vsl (Results 1 – 5 of 5) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_comparison.c71 const char *left_var, struct var_sym_list *left_vsl, in alloc_compare_state() argument
84 data->left_vsl = clone_var_sym_list(left_vsl); in alloc_compare_state()
248 left_rl = get_orig_rl(data->left_vsl); in unmatched_comparison()
249 else if (!get_implied_rl_var_sym(data->left_var, vsl_to_sym(data->left_vsl), &left_rl)) in unmatched_comparison()
260 return alloc_compare_state(data->left, data->left_var, data->left_vsl, in unmatched_comparison()
562 alloc_compare_state(data->left, data->left_var, data->left_vsl, in pre_merge_hook()
577 data->left, data->left_var, data->left_vsl, in merge_compare_states()
616 struct var_sym_list *left_vsl = NULL; in save_start_states() local
623 add_var_sym(&left_vsl, param->ident->name, param); in save_start_states()
626 NULL, param->ident->name, left_vsl, in save_start_states()
[all …]
H A Dsmatch_param_compare_limit.c92 struct var_sym_list *left_vsl, in add_comparison_var_sym() argument
102 struct var_sym_list *tmp_vsl = left_vsl; in add_comparison_var_sym()
105 left_vsl = right_vsl; in add_comparison_var_sym()
111 state = alloc_compare_state(NULL, left_name, left_vsl, comparison, NULL, right_name, right_vsl); in add_comparison_var_sym()
115 FOR_EACH_PTR(left_vsl, vs) { in add_comparison_var_sym()
197 if (ptr_list_size((struct ptr_list *)data->left_vsl) != 1 || in print_return_comparison()
200 left = first_ptr_list((struct ptr_list *)data->left_vsl); in print_return_comparison()
316 struct var_sym_list *left_vsl = NULL, *right_vsl = NULL; in db_return_comparison() local
346 add_var_sym(&left_vsl, left_name, left_sym); in db_return_comparison()
349 add_comparison_var_sym(left_name, left_vsl, op, right_name, right_vsl); in db_return_comparison()
H A Dcheck_off_by_one_relative.c116 if (db_var_is_array_limit(array, comp->left_var, comp->left_vsl)) { in array_check_data_info()
H A Dsmatch.h1105 struct var_sym_list *left_vsl; member
1114 const char *left_var, struct var_sym_list *left_vsl,
H A Dsmatch_buf_comparison.c452 if (db_var_is_array_limit(array, comp->left_var, comp->left_vsl)) { in array_check_data_info()