Searched refs:__get_true_states (Results 1 – 3 of 3) sorted by relevance
573 true_stree = __get_true_states(); in __handle_condition_assigns()
909 struct stree *__get_true_states(void) in __get_true_states() function
763 struct stree *__get_true_states(void);