Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_conditions.c574 false_stree = __get_false_states(); in __handle_condition_assigns()
H A Dsmatch_states.c914 struct stree *__get_false_states(void) in __get_false_states() function
H A Dsmatch.h764 struct stree *__get_false_states(void);