Home
last modified time | relevance | path

Searched refs:fuzzy_max (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_estate.c92 return get_dinfo(state)->fuzzy_max; in estate_get_fuzzy_max()
102 void estate_set_fuzzy_max(struct smatch_state *state, sval_t fuzzy_max) in estate_set_fuzzy_max() argument
104 if (!rl_has_sval(estate_rl(state), fuzzy_max)) in estate_set_fuzzy_max()
106 get_dinfo(state)->fuzzy_max = fuzzy_max; in estate_set_fuzzy_max()
120 get_dinfo(state)->fuzzy_max = empty; in estate_clear_fuzzy_max()
326 ret->fuzzy_max = dinfo->fuzzy_max; in clone_dinfo()
468 ret->fuzzy_max = dinfo->fuzzy_max; in clone_dinfo_perm()
H A Dcheck_index_overflow.c210 sval_t fuzzy_max = { .type = &int_ctype, }; in should_warn() local
229 get_fuzzy_max(offset, &fuzzy_max); in should_warn()
268 sval_t fuzzy_max = { .type = &int_ctype, }; in array_check() local
304 get_fuzzy_max(offset, &fuzzy_max); in array_check()
H A Dsmatch_extra.h31 sval_t fuzzy_max; member