Home
last modified time | relevance | path

Searched refs:compare_expression (Results 1 – 6 of 6) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_index_overflow.c291 comparison = compare_expression(offset, SPECIAL_GTE, array_size_value); in array_check()
H A Dsmatch_expressions.c137 struct expression *compare_expression(struct expression *left, int op, struct expression *right) in compare_expression() function
H A Dcheck_uninitialized.c121 success = compare_expression(expr->left, SPECIAL_EQUAL, expr->right); in match_negative_comparison()
H A Dsmatch_extra.h220 struct expression *compare_expression(struct expression *left, int op, struct expression *right);
H A Dsmatch_db.c1714 if (!assume(compare_expression(expr, separate_zero ? '>' : SPECIAL_GTE, zero_expr()))) in split_positive_from_negative()
1727 undo = assume(compare_expression(expr, SPECIAL_EQUAL, zero_expr())); in split_positive_from_negative()
1740 undo = assume(compare_expression(expr, '<', zero_expr())); in split_positive_from_negative()
H A Dsmatch_implied.c1231 comparison = compare_expression(left, op, value); in impossible_assumption()