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.c84 data->left_vsl = clone_var_sym_list(left_vsl); in alloc_compare_state()
1078 left_vsl = right_vsl; in update_tf_links()
1112 if (!vsl_to_sym(left_vsl)) in update_tf_links()
1319 left_vsl = right_vsl; in handle_comparison()
1334 left_expr, left, left_vsl, in handle_comparison()
1338 left_expr, left, left_vsl, in handle_comparison()
1436 left_vsl = right_vsl; in add_comparison_var_sym()
1450 FOR_EACH_PTR(left_vsl, vs) { in add_comparison_var_sym()
1485 left_vsl = right_vsl; in add_comparison()
1626 vsl = data->left_vsl; in copy_comparisons()
[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()