Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_conditions.c303 __use_pre_cond_states(); in handle_select()
668 __use_pre_cond_states(); in __handle_select_assigns()
H A Dsmatch_states.c221 __use_pre_cond_states(); in __pop_fake_cur_stree()
858 void __use_pre_cond_states(void) in __use_pre_cond_states() function
H A Dsmatch.h749 void __use_pre_cond_states(void);