Symbol: __get_true_states
usr/src/tools/smatch/src/smatch.h
763
struct stree *__get_true_states(void);
usr/src/tools/smatch/src/smatch_conditions.c
573
true_stree = __get_true_states();