Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_estate.c138 void estate_clear_hard_max(struct smatch_state *state) in estate_clear_hard_max() function
H A Dsmatch_extra.h150 void estate_clear_hard_max(struct smatch_state *state);
H A Dsmatch_extra.c894 estate_clear_hard_max(state); in __extra_pre_loop_hook_after()