Searched refs:get_implied_max (Results 1 – 11 of 11) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | check_access_ok_math.c | 40 if (get_implied_max(expr, &max)) in can_overflow()
|
| H A D | smatch_common_functions.c | 54 if (!get_implied_max(limit, &bound)) in match_strnlen()
|
| H A D | check_precedence.c | 39 if (!get_implied_max(expr, &sval) || sval.uvalue > 1) in is_bool_from_context()
|
| H A D | check_uninitialized.c | 118 if (get_implied_max(expr->left, &max) && max.value == 0) in match_negative_comparison()
|
| H A D | smatch_strlen.c | 197 if (!get_implied_max(limit_expr, &limit)) in match_strlcpycat()
|
| H A D | check_kernel.c | 220 if (get_implied_max(size_arg, &tmp) && tmp.uvalue < max.value) in match_next_bit()
|
| H A D | smatch_buf_size.c | 769 if (get_implied_max(size_expr, &size)) { in match_strndup()
|
| H A D | check_debug.c | 189 if (get_implied_max(arg, &sval)) in match_print_implied_max()
|
| H A D | smatch.h | 411 int get_implied_max(struct expression *expr, sval_t *val);
|
| H A D | smatch_math.c | 1661 int get_implied_max(struct expression *expr, sval_t *sval) in get_implied_max() function
|
| H A D | smatch_ranges.c | 316 if (use_max && get_implied_max(arg, &tmp)) { in get_val_from_key()
|