Symbol: comparison_implication_hook
usr/src/tools/smatch/src/smatch.h
1213
struct sm_state *comparison_implication_hook(struct expression *expr,
usr/src/tools/smatch/src/smatch_implied.c
828
sm = comparison_implication_hook(expr, &true_stack, &false_stack);