Searched refs:r_right (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_comparison.c | 1510 struct expression *r_left, *r_right; in match_assign_add() local
1515 r_right = strip_expr(right->right); in match_assign_add()
1518 get_absolute_min(r_right, &right_tmp); in match_assign_add()
1521 add_comparison(expr->left, '>', r_right); in match_assign_add()
1523 add_comparison(expr->left, SPECIAL_GTE, r_right); in match_assign_add()
1534 struct expression *r_left, *r_right; in match_assign_sub() local
1540 r_right = strip_expr(right->right); in match_assign_sub()
1542 if (get_absolute_min(r_right, &min) && sval_is_negative(min)) in match_assign_sub()
1545 comparison = get_comparison(r_left, r_right); in match_assign_sub()
1550 if (implied_not_equal(r_right, 0)) in match_assign_sub()
[all …]
|