Searched refs:limit_type (Results 1 – 6 of 6) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_buf_comparison.c | 195 limit_type = ELEM_LAST; in match_alloc_helper() 234 limit_type = ELEM_LAST; in match_calloc() 271 int limit_type; in array_check() local 372 int limit_type; in buf_comparison_index_ok() local 384 if ((limit_type == ELEM_COUNT || limit_type == ELEM_LAST) && in buf_comparison_index_ok() 570 int limit_type; in match_call() local 621 int limit_type; in set_param_compare() local 645 int limit_type; in set_implied() local 696 int limit_type; in set_used() local 734 int limit_type; in match_assign_size() local [all …]
|
H A D | check_buffer_too_small_for_struct.c | 29 int limit_type; in match_assign() local 52 size_expr = get_size_variable(expr->right, &limit_type); in match_assign() 55 if (limit_type != ELEM_COUNT) in match_assign() 73 int limit_type; in match_dereferences() local 91 size_expr = get_size_variable(right, &limit_type); in match_dereferences() 94 if (limit_type != ELEM_COUNT) in match_dereferences()
|
H A D | check_off_by_one_relative.c | 36 int limit_type; in array_check() local 43 size = get_size_variable(array, &limit_type); in array_check() 44 if (!size || limit_type != ELEM_COUNT) in array_check()
|
H A D | smatch_constraints_required.c | 284 int limit_type; in match_assign_has_buf_comparison() local 290 size = get_size_variable(expr->right, &limit_type); in match_assign_has_buf_comparison() 293 if (limit_type != ELEM_COUNT) in match_assign_has_buf_comparison()
|
H A D | check_debug.c | 392 int limit_type; in match_buf_size() local 401 comp = get_size_variable(arg, &limit_type); in match_buf_size() 412 snprintf(buf + n, sizeof(buf) - n, "[size_var=%s %s]", limit_type_str(limit_type), name); in match_buf_size()
|
H A D | smatch.h | 1234 const char *limit_type_str(unsigned int limit_type); 1235 struct expression *get_size_variable(struct expression *buf, int *limit_type);
|