Searched refs:fuzzy_max (Results 1 – 3 of 3) sorted by relevance
92 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() argument104 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()
210 sval_t fuzzy_max = { .type = &int_ctype, }; in should_warn() local229 get_fuzzy_max(offset, &fuzzy_max); in should_warn()268 sval_t fuzzy_max = { .type = &int_ctype, }; in array_check() local304 get_fuzzy_max(offset, &fuzzy_max); in array_check()
31 sval_t fuzzy_max; member