Symbol: possibly_false
usr/src/tools/smatch/src/smatch_extra.c
2265
return !possibly_false(expr, SPECIAL_NOTEQUAL, value_expr(val));
usr/src/tools/smatch/src/smatch_extra.h
71
int possibly_false(struct expression *left, int comparison, struct expression *right);
usr/src/tools/smatch/src/smatch_impossible.c
44
if (!possibly_false(left, op, right))