Symbol: separate_implication_states
usr/src/tools/smatch/src/smatch_implied.c
954
separate_implication_states(implied_true, implied_false, comparison_id);
usr/src/tools/smatch/src/smatch_implied.c
959
separate_implication_states(implied_true, implied_false, SMATCH_EXTRA);