Searched refs:left_true_rl (Results 1 – 3 of 3) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_implied.c | 128 struct range_list **left_true_rl, struct range_list **left_false_rl) in split_comparison_helper() argument
131 *left_true_rl = rl_intersection(left_orig, right_orig); in split_comparison_helper()
136 split_comparison_rl(left_orig, op, right_orig, left_true_rl, left_false_rl, NULL, NULL); in split_comparison_helper()
|
| H A D | smatch_extra.h | 113 struct range_list **left_true_rl, struct range_list **left_false_rl,
|
| H A D | smatch_ranges.c | 2064 struct range_list **left_true_rl, struct range_list **left_false_rl, in split_comparison_rl() argument
2153 if (left_true_rl) { in split_comparison_rl()
2154 *left_true_rl = left_true; in split_comparison_rl()
|