Home
last modified time | relevance | path

Searched refs:array_expr (Results 1 – 7 of 7) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_index_overflow.c180 static int constraint_met(struct expression *array_expr, struct expression *offset) in constraint_met() argument
185 data_str = get_constraint_str(array_expr); in constraint_met()
193 unmet = unmet_constraint(array_expr, offset); in constraint_met()
207 struct expression *array_expr; in should_warn() local
221 array_expr = get_array_base(expr); in should_warn()
222 array_size = get_array_size(array_expr); in should_warn()
235 if (constraint_met(array_expr, offset)) in should_warn()
241 if (definitely_just_used_as_limiter(array_expr, offset)) in should_warn()
244 array_expr = strip_expr(array_expr); in should_warn()
245 if (common_false_positives(array_expr, max)) in should_warn()
[all …]
H A Dcheck_spectre.c155 struct expression *array_expr, *offset; in array_check() local
169 array_expr = get_array_base(expr); in array_check()
170 if (suppress_multiple && is_ignored_expr(my_id, array_expr)) { in array_check()
181 array_size = get_array_size(array_expr); in array_check()
194 name = expr_to_str(array_expr); in array_check()
202 add_ignore_expr(my_id, array_expr); in array_check()
H A Dcheck_testing_index_after_use.c40 struct expression *array_expr; in array_check() local
49 array_expr = get_array_base(expr); in array_check()
50 array_size = get_array_size(array_expr); in array_check()
H A Dsmatch_param_cleared.c165 struct expression *array_expr; in match_array_assign() local
170 array_expr = get_array_base(expr->left); in match_array_assign()
171 set_state_expr(my_id, array_expr, &cleared); in match_array_assign()
H A Dsmatch_buf_comparison.c615 struct expression *array_expr; in set_param_compare() local
628 array_expr = symbol_expression(array_sym); in set_param_compare()
632 tmp = set_state_expr(size_id, array_expr, alloc_compare_size(limit_type, size_expr)); in set_param_compare()
635 set_state_expr(link_id, size_expr, alloc_state_expr(array_expr)); in set_param_compare()
638 static void set_implied(struct expression *call, struct expression *array_expr, char *key, char *va… in set_implied() argument
655 tmp = set_state_expr(size_id, array_expr, alloc_compare_size(limit_type, size_expr)); in set_implied()
658 set_state_expr(link_id, size_expr, alloc_state_expr(array_expr)); in set_implied()
H A Dsmatch_helper.c272 struct expression *array_expr; in __get_variable_from_expr() local
275 array_expr = get_array_expr(expr); in __get_variable_from_expr()
276 if (array_expr) { in __get_variable_from_expr()
277 __get_variable_from_expr(sym_ptr, buf, array_expr, len, complicated); in __get_variable_from_expr()
285 if (array_expr) in __get_variable_from_expr()
H A Dsmatch_extra.c2226 struct expression *array_expr; in assume_indexes_are_valid() local
2246 array_expr = get_array_base(expr); in assume_indexes_are_valid()
2247 array_size = get_real_array_size(array_expr); in assume_indexes_are_valid()