Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_extra.c1796 *left_p = binop_expression(left, invert_op(right->op), right->right); in move_known_values()
1801 *left_p = binop_expression(left, invert_op(right->op), right->left); in move_known_values()
1806 *left_p = binop_expression(left, invert_op(right->op), right->right); in move_known_values()
1824 *right_p = binop_expression(right, invert_op(left->op), left->right); in move_known_values()
1829 *right_p = binop_expression(right, invert_op(left->op), left->left); in move_known_values()
1835 *right_p = binop_expression(right, invert_op(left->op), left->right); in move_known_values()
H A Dsmatch_sval.c708 if (sval_cmp(left, sval_binop(max, invert_op(op), right)) > 0) in sval_binop_overflows()
H A Dsmatch_helper.c1162 int invert_op(int op) in invert_op() function
H A Dsmatch.h464 int invert_op(int op);