Home
last modified time | relevance | path

Searched refs:right_rl (Results 1 – 5 of 5) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_math.c283 right_rl = cast_rl(type, right_rl); in handle_divide_rl()
285 if (!left_rl || !right_rl) in handle_divide_rl()
388 if ((!left_rl || !right_rl) && in handle_subtract_rl()
394 if (!right_rl) in handle_subtract_rl()
502 right_rl = cast_rl(type, right_rl); in handle_bitwise_AND()
522 right_rl = cast_rl(type, right_rl); in use_rl_binop()
523 if (!left_rl || !right_rl) in use_rl_binop()
615 if (!left_rl || !right_rl) in handle_implied_binop()
652 right_rl = cast_rl(type, right_rl); in handle_binop_rl_helper()
653 if (!left_rl && !right_rl) in handle_binop_rl_helper()
[all …]
H A Dsmatch_capped.c96 struct range_list *left_rl, *right_rl; in is_capped() local
114 get_absolute_rl(expr->right, &right_rl); in is_capped()
116 sval_is_negative(rl_min(right_rl))) in is_capped()
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()
179 if (type_positive_bits(rl_type(right_rl)) > type_positive_bits(type)) in rl_comparison()
180 type = rl_type(right_rl); in rl_comparison()
183 right_rl = cast_rl(type, right_rl); in rl_comparison()
187 right_min = rl_min(right_rl); in rl_comparison()
188 right_max = rl_max(right_rl); in rl_comparison()
236 struct range_list *left_rl, *right_rl; in unmatched_comparison() local
253 right_rl = get_orig_rl(data->right_vsl); in unmatched_comparison()
254 else if (!get_implied_rl_var_sym(data->right_var, vsl_to_sym(data->right_vsl), &right_rl)) in unmatched_comparison()
[all …]
H A Dsmatch_kernel_user_data.c706 struct range_list *right_rl = NULL; in handle_compare() local
747 get_user_rl(right, &right_rl); in handle_compare()
750 if (!left_rl && !right_rl) in handle_compare()
753 if (left_rl && right_rl) in handle_compare()
759 user_rl = right_rl; in handle_compare()
H A Dsmatch_ranges.c1775 struct range_list *left_rl, *right_rl; in handle_sub_rl() local
1793 right_rl = cast_rl(type, right_orig); in handle_sub_rl()
1800 max_ll = rl_max(right_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()
1821 tmp = sval_binop(rl_max(left_rl), '-', rl_min(right_rl)); in handle_sub_rl()