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
1617 hard_max.value--; in handle_comparison()
1623 hard_max.value++; in handle_comparison()
1629 hard_max.value--; in handle_comparison()
1634 hard_max.value++; in handle_comparison()
1644 hard_max.value--; in handle_comparison()
1650 hard_max.value++; in handle_comparison()
1656 hard_max.value--; in handle_comparison()
1662 hard_max.value++; in handle_comparison()
1667 if (get_hard_max(left, &hard_max)) in handle_comparison()
[all …]
H A Dsmatch_extra.h32 unsigned int hard_max:1; member