Symbol: __get_false_states
usr/src/tools/smatch/src/smatch.h
764
struct stree *__get_false_states(void);
usr/src/tools/smatch/src/smatch_conditions.c
574
false_stree = __get_false_states();