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