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