Searched refs:left_orig (Results 1 – 6 of 6) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_ranges.c | 366 left_orig = cast_rl(cast_type, left_orig); in filter_by_comparison() 1933 return left_orig; in handle_lshift() 1941 left = left_orig; in handle_lshift() 1976 return left_orig; in handle_rshift() 2102 left_false = remove_range(left_false, rl_min(left_orig), rl_min(left_orig)); in split_comparison_rl() 2104 right_false = remove_range(right_false, rl_max(left_orig), rl_max(left_orig)); in split_comparison_rl() 2112 if (sval_cmp(rl_min(left_orig), rl_max(left_orig)) == 0) in split_comparison_rl() 2113 right_false = remove_range(right_orig, rl_min(left_orig), rl_min(left_orig)); in split_comparison_rl() 2128 left_false = remove_range(left_false, rl_max(left_orig), rl_max(left_orig)); in split_comparison_rl() 2146 if (sval_cmp(rl_min(left_orig), rl_max(left_orig)) == 0) in split_comparison_rl() [all …]
|
H A D | smatch_extra.c | 1514 struct range_list *left_orig; in handle_comparison() local 1551 get_real_absolute_rl(left, &left_orig); in handle_comparison() 1552 left_orig = cast_rl(type, left_orig); in handle_comparison() 1711 if (rl_equiv(left_orig, estate_rl(left_true_state))) in handle_comparison() 1713 if (rl_equiv(left_orig, estate_rl(left_false_state))) in handle_comparison() 1958 left = left_orig; in match_comparison() 1963 left = left_orig; in match_comparison() 1968 prev = get_assigned_expr(left_orig); in match_comparison() 1978 left = left_orig; in match_comparison() 1985 left = left_orig; in match_comparison() [all …]
|
H A D | smatch_kernel_user_data.c | 660 struct smatch_state *left_orig, *right_orig; in handle_eq_noteq() local 662 left_orig = get_state_expr(my_id, expr->left); in handle_eq_noteq() 665 if (!left_orig && !right_orig) in handle_eq_noteq() 667 if (left_orig && right_orig) in handle_eq_noteq() 670 if (left_orig) { in handle_eq_noteq()
|
H A D | smatch_implied.c | 127 void split_comparison_helper(struct range_list *left_orig, int op, struct range_list *right_orig, in split_comparison_helper() argument 131 *left_true_rl = rl_intersection(left_orig, right_orig); in split_comparison_helper() 132 *left_false_rl = rl_filter(left_orig, right_orig); in split_comparison_helper() 136 split_comparison_rl(left_orig, op, right_orig, left_true_rl, left_false_rl, NULL, NULL); in split_comparison_helper()
|
H A D | smatch_math.c | 362 struct range_list *left_orig, *right_orig; in handle_subtract_rl() local 381 left_orig = NULL; in handle_subtract_rl() 382 get_rl_internal(expr->left, implied, recurse_cnt, &left_orig); in handle_subtract_rl() 383 left_rl = cast_rl(type, left_orig); in handle_subtract_rl() 427 if (!left_orig || !right_orig) in handle_subtract_rl()
|
H A D | smatch_extra.h | 112 void split_comparison_rl(struct range_list *left_orig, int op, struct range_list *right_orig,
|