Searched refs:left_var (Results 1 – 4 of 4) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_comparison.c | 71 const char *left_var, struct var_sym_list *left_vsl, in alloc_compare_state() argument 83 data->left_var = alloc_sname(left_var); in alloc_compare_state() 247 if (strstr(data->left_var, " orig")) 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() 703 data->left, data->left_var, data->left_vsl, in match_inc() 711 data->left, data->left_var, data->left_vsl, in match_inc() 718 data->left, data->left_var, data->left_vsl, in match_inc() [all …]
|
H A D | check_off_by_one_relative.c | 110 if (strcmp(comp->left_var, offset_name) == 0) { in array_check_data_info() 116 if (db_var_is_array_limit(array, comp->left_var, comp->left_vsl)) { in array_check_data_info() 117 equal_name = comp->left_var; in array_check_data_info()
|
H A D | smatch_buf_comparison.c | 446 if (strcmp(comp->left_var, offset_name) == 0) { in array_check_data_info() 452 if (db_var_is_array_limit(array, comp->left_var, comp->left_vsl)) { in array_check_data_info() 453 equal_name = comp->left_var; in array_check_data_info()
|
H A D | smatch.h | 1104 const char *left_var; member 1114 const char *left_var, struct var_sym_list *left_vsl,
|