get_implied_min (reference) in projects: illumos-gate

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

/illumos-gate/usr/src/tools/smatch/src/
H A D	check_precedence.c	`41 if (!get_implied_min(expr, &sval) \|\| sval.value < 0) in is_bool_from_context()`
H A D	check_kernel.c	`222 if (start_arg && get_implied_min(start_arg, &tmp) && !sval_is_negative(tmp)) in match_next_bit()`
H A D	check_debug.c	`172 if (get_implied_min(arg, &sval)) in match_print_implied_min()`
H A D	smatch.h	`410 int get_implied_min(struct expression expr, sval_t sval);`
H A D	smatch_math.c	`1651 int get_implied_min(struct expression expr, sval_t sval) in get_implied_min() function`
H A D	smatch_ranges.c	`323 if (!use_max && get_implied_min(arg, &tmp)) { in get_val_from_key()`
H A D	smatch_comparison.c	`1567 if (!get_implied_min(r_right, &min) \|\| min.value <= 1) in match_assign_divide()`
H A D	smatch_extra.c	`766 if (!get_implied_min(condition->right, &end)) in handle_canonical_for_dec()`