Symbol: call_implies_callbacks
usr/src/tools/smatch/src/smatch_db.c
1350
call_implies_callbacks);
usr/src/tools/smatch/src/smatch_function_hooks.c
871
call_implies_callbacks(comparison, call_expr, sval, call_on_left, &implied_true, &implied_false);