Home
last modified time | relevance | path

Searched refs:rl_right (Results 1 – 2 of 2) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_signed.c236 struct range_list *rl_left, *rl_right; in match_condition() local
273 rl_right = cast_rl(type, rl_right_orig); in match_condition()
276 rl_right = cast_rl(type, rl_right_orig); in match_condition()
286 if (!possibly_true_rl(rl_left, expr->op, rl_right)) { in match_condition()
291 show_rl(rl_right)); in match_condition()
295 if (!possibly_false_rl(rl_left, expr->op, rl_right)) { in match_condition()
H A Dsmatch_ranges.c1234 struct range_list *rl_left, *rl_right; in possibly_true() local
1242 if (!get_implied_rl(right, &rl_right)) in possibly_true()
1246 if (type_positive_bits(type) < type_positive_bits(rl_type(rl_right))) in possibly_true()
1247 type = rl_type(rl_right); in possibly_true()
1252 rl_right = cast_rl(type, rl_right); in possibly_true()
1255 FOR_EACH_PTR(rl_right, tmp_right) { in possibly_true()
1265 struct range_list *rl_left, *rl_right; in possibly_false() local
1271 if (!get_implied_rl(right, &rl_right)) in possibly_false()
1275 if (type_positive_bits(type) < type_positive_bits(rl_type(rl_right))) in possibly_false()
1276 type = rl_type(rl_right); in possibly_false()
[all …]