Home
last modified time | relevance | path

Searched refs:right_orig (Results 1 – 6 of 6) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_ranges.c350 struct range_list *right_orig = right; in filter_by_comparison() local
359 if (sval_type_max(rl_type(left_orig)).uvalue < sval_type_max(rl_type(right_orig)).uvalue) in filter_by_comparison()
360 cast_type = rl_type(right_orig); in filter_by_comparison()
367 right_orig = cast_rl(cast_type, right_orig); in filter_by_comparison()
372 ret_rl = remove_range(left_orig, rl_max(right_orig), max); in filter_by_comparison()
376 if (!sval_is_max(rl_max(right_orig))) in filter_by_comparison()
377 ret_rl = remove_range(left_orig, add_one(rl_max(right_orig)), max); in filter_by_comparison()
380 ret_rl = rl_intersection(left_orig, right_orig); in filter_by_comparison()
384 if (!sval_is_min(rl_min(right_orig))) in filter_by_comparison()
385 ret_rl = remove_range(left_orig, min, sub_one(rl_min(right_orig))); in filter_by_comparison()
[all …]
H A Dsmatch_extra.c1517 struct range_list *right_orig; in handle_comparison() local
1554 get_real_absolute_rl(right, &right_orig); in handle_comparison()
1555 right_orig = cast_rl(type, right_orig); in handle_comparison()
1557 split_comparison_rl(left_orig, op, right_orig, &left_true, &left_false, &right_true, &right_false); in handle_comparison()
1567 split_comparison_rl(alloc_whole_rl(type), op, right_orig, &tmp_true, &tmp_false, NULL, NULL); in handle_comparison()
1577 split_comparison_rl(alloc_whole_rl(type), op, right_orig, NULL, NULL, &tmp_true, &tmp_false); in handle_comparison()
1715 if (rl_equiv(right_orig, estate_rl(right_true_state))) in handle_comparison()
1717 if (rl_equiv(right_orig, estate_rl(right_false_state))) in handle_comparison()
1942 struct expression *right_orig = strip_parens(expr->right); in match_comparison() local
1959 right = right_orig; in match_comparison()
[all …]
H A Dsmatch_implied.c127 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 Dsmatch_kernel_user_data.c660 struct smatch_state *left_orig, *right_orig; in handle_eq_noteq() local
663 right_orig = get_state_expr(my_id, expr->right); in handle_eq_noteq()
665 if (!left_orig && !right_orig) in handle_eq_noteq()
667 if (left_orig && right_orig) in handle_eq_noteq()
H A Dsmatch_math.c362 struct range_list *left_orig, *right_orig; in handle_subtract_rl() local
384 right_orig = NULL; in handle_subtract_rl()
385 get_rl_internal(expr->right, implied, recurse_cnt, &right_orig); in handle_subtract_rl()
386 right_rl = cast_rl(type, right_orig); in handle_subtract_rl()
427 if (!left_orig || !right_orig) in handle_subtract_rl()
H A Dsmatch_extra.h112 void split_comparison_rl(struct range_list *left_orig, int op, struct range_list *right_orig,