Home
last modified time | relevance | path

Searched refs:possibly_true (Results 1 – 5 of 5) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_impossible.c42 if (!possibly_true(left, op, right)) in handle_compare()
H A Dsmatch_implied.c1144 int possibly_true = 0; in get_tf_stacks_from_pool() local
1156 possibly_true = 1; in get_tf_stacks_from_pool()
1161 if (!possibly_true) { in get_tf_stacks_from_pool()
H A Dsmatch_extra.h67 int possibly_true(struct expression *left, int comparison, struct expression *right);
H A Dsmatch_ranges.c1232 int possibly_true(struct expression *left, int comparison, struct expression *right) in possibly_true() function
H A Dsmatch_comparison.c2585 if (!possibly_true(data->left, data->comparison, data->right)) in impossibly_high_comparison()