Home
last modified time | relevance | path

Searched refs:offset_name (Results 1 – 2 of 2) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_off_by_one_relative.c87 char *offset_name; in array_check_data_info() local
101 offset_name = expr_to_var(offset); in array_check_data_info()
102 if (!offset_name) in array_check_data_info()
110 if (strcmp(comp->left_var, offset_name) == 0) { in array_check_data_info()
115 } else if (strcmp(comp->right_var, offset_name) == 0) { in array_check_data_info()
132 free_string(offset_name); in array_check_data_info()
H A Dsmatch_buf_comparison.c423 char *offset_name; in array_check_data_info() local
437 offset_name = expr_to_var(offset); in array_check_data_info()
438 if (!offset_name) in array_check_data_info()
446 if (strcmp(comp->left_var, offset_name) == 0) { in array_check_data_info()
451 } else if (strcmp(comp->right_var, offset_name) == 0) { in array_check_data_info()
468 free_string(offset_name); in array_check_data_info()