Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_index_overflow.c51 if (!get_hard_max(expr, sval)) in fake_get_hard_max()
73 if (get_hard_max(expr, sval)) { in get_the_max()
H A Dsmatch_extra.c738 if (get_hard_max(condition->right, &max)) { in handle_canonical_for_inc()
1146 if (get_hard_max(right, &max)) { in match_vanilla_assign()
1615 if (get_hard_max(right, &hard_max)) { in handle_comparison()
1626 if (get_hard_max(left, &hard_max)) { in handle_comparison()
1642 if (get_hard_max(left, &hard_max)) { in handle_comparison()
1653 if (get_hard_max(right, &hard_max)) { in handle_comparison()
1667 if (get_hard_max(left, &hard_max)) in handle_comparison()
1669 if (get_hard_max(right, &hard_max)) in handle_comparison()
1674 if (get_hard_max(left, &hard_max)) { in handle_comparison()
1678 if (get_hard_max(right, &hard_max)) { in handle_comparison()
[all …]
H A Dcheck_string_len.c232 if (get_hard_max(dest->right, &max)) in match_not_limited()
H A Dsmatch_capped.c89 if (get_hard_max(expr, &dummy)) in is_capped()
H A Dcheck_memcpy_overflow.c37 if (get_hard_max(expr, sval)) in get_the_max()
H A Dsmatch_math.c915 if (get_hard_max(expr, &sval)) { in get_fuzzy_max_helper()
1729 int get_hard_max(struct expression *expr, sval_t *sval) in get_hard_max() function
H A Dcheck_debug.c238 if (get_hard_max(arg, &sval)) in match_print_hard_max()
H A Dsmatch.h412 int get_hard_max(struct expression *expr, sval_t *sval);