Searched refs:estate_copy_fuzzy_max (Results 1 – 3 of 3) sorted by relevance
109 void estate_copy_fuzzy_max(struct smatch_state *new, struct smatch_state *old) in estate_copy_fuzzy_max() function
146 void estate_copy_fuzzy_max(struct smatch_state *new, struct smatch_state *old);
685 estate_copy_fuzzy_max(estate, sm->state); in handle_canonical_while_count_down()692 estate_copy_fuzzy_max(estate, sm->state); in handle_canonical_while_count_down()