Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_estate.c109 void estate_copy_fuzzy_max(struct smatch_state *new, struct smatch_state *old) in estate_copy_fuzzy_max() function
H A Dsmatch_extra.h146 void estate_copy_fuzzy_max(struct smatch_state *new, struct smatch_state *old);
H A Dsmatch_extra.c685 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()