Searched refs:rl_left (Results 1 – 2 of 2) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | check_signed.c | 236 struct range_list *rl_left, *rl_right; in match_condition() local
268 rl_left = cast_rl(type, rl_left_orig); in match_condition()
281 rl_left = cast_rl(type, rl_left_orig); in match_condition()
286 if (!possibly_true_rl(rl_left, expr->op, rl_right)) { in match_condition()
290 show_rl(rl_left), show_special(expr->op), in match_condition()
295 if (!possibly_false_rl(rl_left, expr->op, rl_right)) { in match_condition()
|
| H A D | smatch_ranges.c | 1234 struct range_list *rl_left, *rl_right; in possibly_true() local
1240 if (!get_implied_rl(left, &rl_left)) in possibly_true()
1245 type = rl_type(rl_left); in possibly_true()
1251 rl_left = cast_rl(type, rl_left); in possibly_true()
1254 FOR_EACH_PTR(rl_left, tmp_left) { in possibly_true()
1265 struct range_list *rl_left, *rl_right; in possibly_false() local
1269 if (!get_implied_rl(left, &rl_left)) in possibly_false()
1274 type = rl_type(rl_left); in possibly_false()
1280 rl_left = cast_rl(type, rl_left); in possibly_false()
1283 FOR_EACH_PTR(rl_left, tmp_left) { in possibly_false()
|