Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_states.c760 void clear_all_states(void) in clear_all_states() function
H A Dsmatch.h737 void clear_all_states(void);
H A Dsmatch_flow.c1603 clear_all_states(); in split_function()