Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_math.c281 left_rl = cast_rl(type, left_rl); in handle_divide_rl()
285 if (!left_rl || !right_rl) in handle_divide_rl()
392 if (!left_rl) in handle_subtract_rl()
400 max = rl_max(left_rl); in handle_subtract_rl()
407 max = rl_max(left_rl); in handle_subtract_rl()
412 max = rl_max(left_rl); in handle_subtract_rl()
495 left_rl = cast_rl(type, left_rl); in handle_bitwise_AND()
521 left_rl = cast_rl(type, left_rl); in use_rl_binop()
539 max = rl_max(left_rl); in handle_right_shift()
540 min = rl_min(left_rl); in handle_right_shift()
[all …]
H A Dsmatch_capped.c96 struct range_list *left_rl, *right_rl; in is_capped() local
113 get_absolute_rl(expr->left, &left_rl); in is_capped()
115 if (sval_is_negative(rl_min(left_rl)) || in is_capped()
H A Dsmatch_kernel_user_data.c126 struct range_list *left_rl; in binop_capped() local
129 if (expr->op == '-' && get_user_rl(expr->left, &left_rl)) { in binop_capped()
705 struct range_list *left_rl = NULL; in handle_compare() local
746 get_user_rl(left, &left_rl); in handle_compare()
750 if (!left_rl && !right_rl) in handle_compare()
753 if (left_rl && right_rl) in handle_compare()
756 if (left_rl) in handle_compare()
757 user_rl = left_rl; in handle_compare()
772 if (left_rl) in handle_compare()
781 if (left_rl) in handle_compare()
H A Dsmatch_comparison.c169 static int rl_comparison(struct range_list *left_rl, struct range_list *right_rl) in rl_comparison() argument
174 if (!left_rl || !right_rl) in rl_comparison()
177 if (type_positive_bits(rl_type(left_rl)) > type_positive_bits(type)) in rl_comparison()
178 type = rl_type(left_rl); in rl_comparison()
182 left_rl = cast_rl(type, left_rl); in rl_comparison()
185 left_min = rl_min(left_rl); in rl_comparison()
186 left_max = rl_max(left_rl); in rl_comparison()
236 struct range_list *left_rl, *right_rl; in unmatched_comparison() local
248 left_rl = get_orig_rl(data->left_vsl); in unmatched_comparison()
249 else if (!get_implied_rl_var_sym(data->left_var, vsl_to_sym(data->left_vsl), &left_rl)) in unmatched_comparison()
[all …]
H A Dsmatch_ranges.c1775 struct range_list *left_rl, *right_rl; in handle_sub_rl() local
1792 left_rl = cast_rl(type, left_orig); in handle_sub_rl()
1795 max = rl_max(left_rl); in handle_sub_rl()
1798 min_ll = rl_min(left_rl); in handle_sub_rl()
1805 if (!sval_binop_overflows(rl_min(left_rl), '-', rl_max(right_rl))) { in handle_sub_rl()
1806 tmp = sval_binop(rl_min(left_rl), '-', rl_max(right_rl)); in handle_sub_rl()
1820 if (!sval_is_max(rl_max(left_rl))) { in handle_sub_rl()
1821 tmp = sval_binop(rl_max(left_rl), '-', rl_min(right_rl)); in handle_sub_rl()
H A Dsmatch_extra.c2557 struct range_list *left_rl; in db_param_limit_binops() local
2568 left_rl = rl_binop(rl, '/', alloc_rl(sval, sval)); in db_param_limit_binops()
2570 left_rl = remove_range(left_rl, zero, zero); in db_param_limit_binops()
2572 set_extra_expr_nomod(arg->left, alloc_estate_rl(left_rl)); in db_param_limit_binops()