Searched refs:get_absolute_max (Results 1 – 14 of 14) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | check_min_t.c | 37 if (!get_absolute_max(expr->left, &max_left)) in match_assign()
39 if (!get_absolute_max(expr->right, &max_right)) in match_assign()
|
| H A D | check_64bit_shift.c | 77 get_absolute_max(right->left, &bits); in match_shift_assignment()
78 get_absolute_max(right->right, &shifter); in match_shift_assignment()
|
| H A D | smatch_integer_overflow.c | 169 get_absolute_max(expr->left, &lmax); in can_integer_overflow()
170 get_absolute_max(expr->right, &rmax); in can_integer_overflow()
|
| H A D | check_snprintf.c | 68 if (get_absolute_max(arg, &max) && sval_cmp_val(max, old_buflen) > 0) in match_call()
|
| H A D | check_access_ok_math.c | 42 if (get_absolute_max(expr, &max) && sval_cmp_val(max, 4096) <= 0) in can_overflow()
|
| H A D | check_impossible_mask.c | 50 get_absolute_max(expr, &sval);
|
| H A D | check_off_by_one_relative.c | 74 get_absolute_max(offset, &max); in known_access_ok_numbers()
|
| H A D | check_pointer_math.c | 88 get_absolute_max(expr->right, &max); in match_binop()
|
| H A D | check_get_user_overflow.c | 130 get_absolute_max(expr, &max); in check_expr()
|
| H A D | check_string_len.c | 145 get_absolute_max(arg, &sval); in handle_format()
|
| H A D | smatch_buf_comparison.c | 410 get_absolute_max(offset, &max); in known_access_ok_numbers()
|
| H A D | check_debug.c | 302 get_absolute_max(arg, &sval); in match_print_absolute_max()
|
| H A D | smatch.h | 416 int get_absolute_max(struct expression *expr, sval_t *sval);
|
| H A D | smatch_math.c | 1787 int get_absolute_max(struct expression *expr, sval_t *sval) in get_absolute_max() function
|