Symbol: has_variable
usr/src/tools/smatch/src/check_signed_integer_overflow_check.c
58
if (has_variable(left, right) == 1) {
usr/src/tools/smatch/src/smatch.h
1199
int has_variable(struct expression *expr, struct expression *var);
usr/src/tools/smatch/src/smatch_extra.c
1969
if (is_simple_math(prev) && has_variable(prev, left_orig) == 0) {
usr/src/tools/smatch/src/smatch_extra.c
1977
if (is_simple_math(prev) && has_variable(prev, right_orig) == 0) {