Symbol: __discard_false_states
usr/src/tools/smatch/src/smatch.h
744
void __discard_false_states(void);
usr/src/tools/smatch/src/smatch_flow.c
658
__discard_false_states();
usr/src/tools/smatch/src/smatch_flow.c
678
__discard_false_states();
usr/src/tools/smatch/src/smatch_implied.c
1220
__discard_false_states();