Home
last modified time | relevance | path

Searched refs:possibly_false (Results 1 – 4 of 4) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_impossible.c44 if (!possibly_false(left, op, right)) in handle_compare()
H A Dsmatch_extra.h71 int possibly_false(struct expression *left, int comparison, struct expression *right);
H A Dsmatch_ranges.c1263 int possibly_false(struct expression *left, int comparison, struct expression *right) in possibly_false() function
H A Dsmatch_extra.c2265 return !possibly_false(expr, SPECIAL_NOTEQUAL, value_expr(val)); in implied_not_equal()