Symbol: __or_cond_states
usr/src/tools/smatch/src/smatch.h
760
void __or_cond_states(void);
usr/src/tools/smatch/src/smatch_conditions.c
206
__or_cond_states();