| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_annotate.c | 33 if (get_implied_rl(expr, &rl) && rl_max(rl).value != 0) in param_caps_return()
|
| H A D | check_index_overflow.c | 63 if (get_implied_rl(expr, &implied_rl) && in fake_get_hard_max()
85 if (get_implied_rl(expr, &implied_rl) && in get_the_max()
|
| H A D | check_dma_mapping_error.c | 37 if (!get_implied_rl(expr->right, &rl)) in match_assign()
|
| H A D | smatch_assigned_expr.c | 74 if (!get_implied_rl(expr->right, &rl)) in match_assignment()
|
| H A D | smatch_bits.c | 263 if (get_implied_rl(expr, &rl)) in get_bit_info()
394 if (get_implied_rl(arg, &rl)) { in match_call_info()
|
| H A D | check_kernel.c | 35 if (!get_implied_rl(arg, rl)) in implied_err_cast_return()
245 if (!get_implied_rl(arg, &arg_rl)) in match_fls()
|
| H A D | smatch_ranges.c | 417 if (!get_implied_rl(arg, &right_orig)) in filter_by_comparison_call()
624 if (!get_implied_rl(arg, &rl)) in str_to_dinfo()
1240 if (!get_implied_rl(left, &rl_left)) in possibly_true()
1242 if (!get_implied_rl(right, &rl_right)) in possibly_true()
1269 if (!get_implied_rl(left, &rl_left)) in possibly_false()
1271 if (!get_implied_rl(right, &rl_right)) in possibly_false()
|
| H A D | smatch_equiv.c | 216 if (!get_implied_rl(right, &rl)) in set_equiv()
|
| H A D | smatch_address.c | 327 get_implied_rl(unop, &unop_rl) && in get_address_rl()
|
| H A D | smatch_strlen.c | 253 if (!get_implied_rl((struct expression *)state->data, rl)) in get_strlen_from_equiv()
|
| H A D | check_debug.c | 128 get_implied_rl(arg, &rl); in match_print_known()
142 get_implied_rl(arg, &rl); in match_print_implied()
|
| H A D | smatch_estate.c | 450 if (!get_implied_rl(expr, &rl)) in get_implied_estate()
|
| H A D | smatch_extra.h | 103 int get_implied_rl(struct expression *expr, struct range_list **rl);
|
| H A D | smatch_extra.c | 919 return get_implied_rl(expr, rl); in get_global_rl()
1138 get_implied_rl(left, &orig_rl); in match_vanilla_assign()
1141 if (get_implied_rl(right, &rl)) { in match_vanilla_assign()
1865 get_implied_rl(left->left, &rl) && in do_simple_algebra()
1872 get_implied_rl(left->right, &rl) && in do_simple_algebra()
|
| H A D | smatch_comparison.c | 211 if (!get_implied_rl(a, &left)) in comparison_from_extra()
213 if (!get_implied_rl(b, &right)) in comparison_from_extra()
896 if (!get_implied_rl(expr->unop, &left) || in match_preop()
897 !get_implied_rl(parent->right, &right)) in match_preop()
|
| H A D | smatch_db.c | 1441 if (get_implied_rl(expr, &rl) && !is_whole_rl(rl)) { in get_return_ranges_str()
1699 if (!get_implied_rl(expr, &rl) || !rl) in split_positive_from_negative()
1927 if (!get_implied_rl(expr, &rl)) in is_boolean()
2106 if (!get_implied_rl(expr, &rl)) in is_kernel_error_path()
|
| H A D | smatch_implied.c | 747 get_implied_rl(right, &rl); in handle_comparison()
750 get_implied_rl(left, &rl); in handle_comparison()
|
| H A D | smatch_buf_size.c | 745 if (get_implied_rl(mult, &rl)) in match_calloc()
|
| H A D | smatch_helper.c | 847 get_implied_rl(expr, &rl) && in is_error_return()
|
| H A D | smatch_function_hooks.c | 565 if (!get_implied_rl(arg, &passed)) in impossible_limit()
|
| H A D | smatch_math.c | 1671 int get_implied_rl(struct expression *expr, struct range_list **rl) in get_implied_rl() function
|