Symbol: possibly_true
usr/src/tools/smatch/src/smatch_comparison.c
2585
if (!possibly_true(data->left, data->comparison, data->right))
usr/src/tools/smatch/src/smatch_extra.h
67
int possibly_true(struct expression *left, int comparison, struct expression *right);
usr/src/tools/smatch/src/smatch_implied.c
1144
int possibly_true = 0;
usr/src/tools/smatch/src/smatch_implied.c
1156
possibly_true = 1;
usr/src/tools/smatch/src/smatch_implied.c
1161
if (!possibly_true) {
usr/src/tools/smatch/src/smatch_impossible.c
42
if (!possibly_true(left, op, right))