Searched refs:left_rl (Results 1 – 6 of 6) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_math.c | 281 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 D | smatch_capped.c | 96 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 D | smatch_kernel_user_data.c | 126 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 D | smatch_comparison.c | 169 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 D | smatch_ranges.c | 1775 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 D | smatch_extra.c | 2557 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()
|