Home
last modified time | relevance | path

Searched refs:right_var (Results 1 – 4 of 4) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_comparison.c74 const char *right_var, struct var_sym_list *right_vsl) in alloc_compare_state() argument
87 data->right_var = alloc_sname(right_var); in alloc_compare_state()
252 if (strstr(data->right_var, " orig")) in unmatched_comparison()
254 else if (!get_implied_rl_var_sym(data->right_var, vsl_to_sym(data->right_vsl), &right_rl)) in unmatched_comparison()
262 data->right, data->right_var, data->right_vsl); in unmatched_comparison()
564 data->right, data->right_var, data->right_vsl)); in pre_merge_hook()
579 data->right, data->right_var, data->right_vsl); in merge_compare_states()
705 data->right, data->right_var, data->right_vsl); in match_inc()
713 data->right, data->right_var, data->right_vsl); in match_inc()
720 data->right, data->right_var, data->right_vsl); in match_inc()
[all …]
H A Dcheck_off_by_one_relative.c111 if (db_var_is_array_limit(array, comp->right_var, comp->right_vsl)) { in array_check_data_info()
112 equal_name = comp->right_var; in array_check_data_info()
115 } else if (strcmp(comp->right_var, offset_name) == 0) { in array_check_data_info()
H A Dsmatch_buf_comparison.c447 if (db_var_is_array_limit(array, comp->right_var, comp->right_vsl)) { in array_check_data_info()
448 equal_name = comp->right_var; in array_check_data_info()
451 } else if (strcmp(comp->right_var, offset_name) == 0) { in array_check_data_info()
H A Dsmatch.h1108 const char *right_var; member
1117 const char *right_var, struct var_sym_list *right_vsl);