Symbol: get_implied_value_fast
usr/src/tools/smatch/src/smatch.h
409
int get_implied_value_fast(struct expression *expr, sval_t *sval);
usr/src/tools/smatch/src/smatch_fresh_alloc.c
112
if (get_implied_value_fast(expr, &sval) && sval.value == 0)