Searched refs:estate_set_hard_max (Results 1 – 3 of 3) sorted by relevance
49 estate_set_hard_max(tmp); in merge_estates()130 void estate_set_hard_max(struct smatch_state *state) in estate_set_hard_max() function355 estate_set_hard_max(ret); in clone_partial_estate()396 estate_set_hard_max(state); in alloc_estate_sval()
684 estate_set_hard_max(estate); in handle_canonical_while_count_down()691 estate_set_hard_max(estate); in handle_canonical_while_count_down()740 estate_set_hard_max(estate); in handle_canonical_for_inc()786 estate_set_hard_max(estate); in handle_canonical_for_dec()1147 estate_set_hard_max(state); in match_vanilla_assign()1595 estate_set_hard_max(left_true_state); in handle_comparison()1597 estate_set_hard_max(right_false_state); in handle_comparison()1604 estate_set_hard_max(right_true_state); in handle_comparison()1606 estate_set_hard_max(left_false_state); in handle_comparison()1675 estate_set_hard_max(left_true_state); in handle_comparison()[all …]
149 void estate_set_hard_max(struct smatch_state *state);