Symbol: compare_expression
usr/src/tools/smatch/src/check_index_overflow.c
291
comparison = compare_expression(offset, SPECIAL_GTE, array_size_value);
usr/src/tools/smatch/src/check_uninitialized.c
121
success = compare_expression(expr->left, SPECIAL_EQUAL, expr->right);
usr/src/tools/smatch/src/smatch_db.c
1714
if (!assume(compare_expression(expr, separate_zero ? '>' : SPECIAL_GTE, zero_expr())))
usr/src/tools/smatch/src/smatch_db.c
1727
undo = assume(compare_expression(expr, SPECIAL_EQUAL, zero_expr()));
usr/src/tools/smatch/src/smatch_db.c
1740
undo = assume(compare_expression(expr, '<', zero_expr()));
usr/src/tools/smatch/src/smatch_extra.h
220
struct expression *compare_expression(struct expression *left, int op, struct expression *right);
usr/src/tools/smatch/src/smatch_implied.c
1231
comparison = compare_expression(left, op, value);