Home
last modified time | relevance | path

Searched refs:hard_max (Results 1 – 4 of 4) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_estate.c127 return get_dinfo(state)->hard_max; in estate_has_hard_max()
135 get_dinfo(state)->hard_max = 1; in estate_set_hard_max()
140 get_dinfo(state)->hard_max = 0; in estate_clear_hard_max()
145 if (!state || !get_dinfo(state)->hard_max || !estate_rl(state)) in estate_get_hard_max()
325 ret->hard_max = dinfo->hard_max; in clone_dinfo()
467 ret->hard_max = 0; in clone_dinfo_perm()
H A Dcheck_index_overflow.c209 sval_t hard_max = { .type = &int_ctype, }; in should_warn() local
228 fake_get_hard_max(offset, &hard_max); in should_warn()
267 sval_t hard_max = { .type = &int_ctype, }; in array_check() local
303 fake_get_hard_max(offset, &hard_max); in array_check()
H A Dsmatch_extra.c1524 sval_t dummy, hard_max; in handle_comparison() local
1615 if (get_hard_max(right, &hard_max)) { in handle_comparison()
1617 hard_max.value--; in handle_comparison()
1618 estate_set_fuzzy_max(left_true_state, hard_max); in handle_comparison()
1620 if (get_implied_value(right, &hard_max)) { in handle_comparison()
1623 hard_max.value++; in handle_comparison()
1624 estate_set_fuzzy_max(left_false_state, hard_max); in handle_comparison()
1626 if (get_hard_max(left, &hard_max)) { in handle_comparison()
1629 hard_max.value--; in handle_comparison()
1630 estate_set_fuzzy_max(right_false_state, hard_max); in handle_comparison()
[all …]
H A Dsmatch_extra.h32 unsigned int hard_max:1; member