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);
|