Home
last modified time | relevance | path

Searched refs:get_implied_min (Results 1 – 8 of 8) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_precedence.c41 if (!get_implied_min(expr, &sval) || sval.value < 0) in is_bool_from_context()
H A Dcheck_kernel.c222 if (start_arg && get_implied_min(start_arg, &tmp) && !sval_is_negative(tmp)) in match_next_bit()
H A Dcheck_debug.c172 if (get_implied_min(arg, &sval)) in match_print_implied_min()
H A Dsmatch.h410 int get_implied_min(struct expression *expr, sval_t *sval);
H A Dsmatch_math.c1651 int get_implied_min(struct expression *expr, sval_t *sval) in get_implied_min() function
H A Dsmatch_ranges.c323 if (!use_max && get_implied_min(arg, &tmp)) { in get_val_from_key()
H A Dsmatch_comparison.c1567 if (!get_implied_min(r_right, &min) || min.value <= 1) in match_assign_divide()
H A Dsmatch_extra.c766 if (!get_implied_min(condition->right, &end)) in handle_canonical_for_dec()