usr/src/tools/smatch/src/smatch.h

464

int invert_op(int op);

usr/src/tools/smatch/src/smatch_extra.c

1796

*left_p = binop_expression(left, invert_op(right->op), right->right);

usr/src/tools/smatch/src/smatch_extra.c

1801

*left_p = binop_expression(left, invert_op(right->op), right->left);

usr/src/tools/smatch/src/smatch_extra.c

1806

*left_p = binop_expression(left, invert_op(right->op), right->right);

usr/src/tools/smatch/src/smatch_extra.c

1824

*right_p = binop_expression(right, invert_op(left->op), left->right);

usr/src/tools/smatch/src/smatch_extra.c

1829

*right_p = binop_expression(right, invert_op(left->op), left->left);

usr/src/tools/smatch/src/smatch_extra.c

1835

*right_p = binop_expression(right, invert_op(left->op), left->right);

usr/src/tools/smatch/src/smatch_sval.c

708

if (sval_cmp(left, sval_binop(max, invert_op(op), right)) > 0)