Searched refs:estate_clear_fuzzy_max (Results 1 – 3 of 3) sorted by relevance
116 void estate_clear_fuzzy_max(struct smatch_state *state) in estate_clear_fuzzy_max() function
147 void estate_clear_fuzzy_max(struct smatch_state *state);
901 estate_clear_fuzzy_max(state); in __extra_pre_loop_hook_after()903 estate_clear_fuzzy_max(state); in __extra_pre_loop_hook_after()