Home
last modified time | relevance | path

Searched refs:get_absolute_min (Results 1 – 11 of 11) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_buffer_too_small_for_struct.c58 get_absolute_min(size_expr, &min_size); in match_assign()
97 get_absolute_min(size_expr, &min_size); in match_dereferences()
H A Dcheck_string_len.c147 get_absolute_min(arg, &sval); in handle_format()
162 get_absolute_min(arg, &min); in handle_format()
H A Dcheck_dma_mapping_error.c66 if (!get_absolute_min(ret_value, &min)) in match_return()
H A Dcheck_signed_integer_overflow_check.c90 get_absolute_min(expr->right, &right_min); in match_binop()
H A Dcheck_return_efault.c75 if (!get_absolute_min(ret_value, &min)) in match_return_var()
H A Dcheck_get_user_overflow.c137 get_absolute_min(expr, &sval); in check_expr()
H A Dsmatch_comparison.c1517 get_absolute_min(r_left, &left_tmp); in match_assign_add()
1518 get_absolute_min(r_right, &right_tmp); in match_assign_add()
1542 if (get_absolute_min(r_right, &min) && sval_is_negative(min)) in match_assign_sub()
H A Dcheck_debug.c287 if (get_absolute_min(arg, &sval)) in match_print_absolute_min()
H A Dsmatch_extra.c1927 get_absolute_min(left->left, &left_min); in handle_integer_overflow_test()
1928 get_absolute_min(left->right, &right_min); in handle_integer_overflow_test()
H A Dsmatch.h415 int get_absolute_min(struct expression *expr, sval_t *sval);
H A Dsmatch_math.c1767 int get_absolute_min(struct expression *expr, sval_t *sval) in get_absolute_min() function