Searched refs:sub_one (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_ranges.c | 341 static sval_t sub_one(sval_t sval) in sub_one() function
385 ret_rl = remove_range(left_orig, min, sub_one(rl_min(right_orig))); in filter_by_comparison()
2084 left_false = remove_range(left_orig, min, sub_one(rl_min(right_orig))); in split_comparison_rl()
2098 right_true = remove_range(right_orig, min, sub_one(rl_min(left_orig))); in split_comparison_rl()
2118 left_true = remove_range(left_orig, min, sub_one(rl_min(right_orig))); in split_comparison_rl()
2138 right_false = remove_range(right_orig, min, sub_one(rl_min(left_orig))); in split_comparison_rl()
|