Searched refs:estate_get_fuzzy_max (Results 1 – 4 of 4) sorted by relevance
51 estate_set_fuzzy_max(tmp, sval_max(estate_get_fuzzy_max(s1), estate_get_fuzzy_max(s2))); in merge_estates()86 sval_t estate_get_fuzzy_max(struct smatch_state *state) in estate_get_fuzzy_max() function97 if (estate_get_fuzzy_max(state).type) in estate_has_fuzzy_max()113 estate_set_fuzzy_max(new, estate_get_fuzzy_max(old)); in estate_copy_fuzzy_max()357 estate_set_fuzzy_max(ret, estate_get_fuzzy_max(state)); in clone_partial_estate()
144 sval_t estate_get_fuzzy_max(struct smatch_state *state);
787 estate_set_fuzzy_max(estate, estate_get_fuzzy_max(estate)); in handle_canonical_for_dec()897 sval_t hmax = estate_get_fuzzy_max(sm->state); in __extra_pre_loop_hook_after()2478 sval_to_str(estate_get_fuzzy_max(sm->state))); in struct_member_callback()2795 sval_to_str(estate_get_fuzzy_max(state))); in match_call_info()
923 *max = sval_cast(get_type(expr), estate_get_fuzzy_max(state)); in get_fuzzy_max_helper()