Searched refs:left_ranges (Results 1 – 3 of 3) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_ranges.c | 1292 int possibly_true_rl(struct range_list *left_ranges, int comparison, struct range_list *right_range… in possibly_true_rl() argument
1297 if (!left_ranges || !right_ranges || comparison == UNKNOWN_COMPARISON) in possibly_true_rl()
1300 type = rl_type(left_ranges); in possibly_true_rl()
1306 left_ranges = cast_rl(type, left_ranges); in possibly_true_rl()
1309 FOR_EACH_PTR(left_ranges, left_tmp) { in possibly_true_rl()
1318 int possibly_false_rl(struct range_list *left_ranges, int comparison, struct range_list *right_rang… in possibly_false_rl() argument
1323 if (!left_ranges || !right_ranges || comparison == UNKNOWN_COMPARISON) in possibly_false_rl()
1326 type = rl_type(left_ranges); in possibly_false_rl()
1332 left_ranges = cast_rl(type, left_ranges); in possibly_false_rl()
1335 FOR_EACH_PTR(left_ranges, left_tmp) { in possibly_false_rl()
|
| H A D | smatch_extra.h | 68 int possibly_true_rl(struct range_list *left_ranges, int comparison, struct range_list *right_range…
72 int possibly_false_rl(struct range_list *left_ranges, int comparison, struct range_list *right_rang…
|
| H A D | smatch_math.c | 730 struct range_list *left_ranges = NULL; in do_comparison() local
736 get_absolute_rl(expr->left, &left_ranges); in do_comparison()
739 left_ranges = cast_rl(type, left_ranges); in do_comparison()
742 poss_true = possibly_true_rl(left_ranges, expr->op, right_ranges); in do_comparison()
743 poss_false = possibly_false_rl(left_ranges, expr->op, right_ranges); in do_comparison()
|