Home
last modified time | relevance | path

Searched refs:get_implied_rl (Results 1 – 21 of 21) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_annotate.c33 if (get_implied_rl(expr, &rl) && rl_max(rl).value != 0) in param_caps_return()
H A Dcheck_dma_mapping_error.c37 if (!get_implied_rl(expr->right, &rl)) in match_assign()
H A Dcheck_index_overflow.c63 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 Dsmatch_assigned_expr.c74 if (!get_implied_rl(expr->right, &rl)) in match_assignment()
H A Dsmatch_bits.c263 if (get_implied_rl(expr, &rl)) in get_bit_info()
394 if (get_implied_rl(arg, &rl)) { in match_call_info()
H A Dcheck_kernel.c35 if (!get_implied_rl(arg, rl)) in implied_err_cast_return()
245 if (!get_implied_rl(arg, &arg_rl)) in match_fls()
H A Dsmatch_address.c327 get_implied_rl(unop, &unop_rl) && in get_address_rl()
H A Dsmatch_equiv.c216 if (!get_implied_rl(right, &rl)) in set_equiv()
H A Dsmatch_ranges.c417 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 Dsmatch_strlen.c253 if (!get_implied_rl((struct expression *)state->data, rl)) in get_strlen_from_equiv()
H A Dcheck_debug.c128 get_implied_rl(arg, &rl); in match_print_known()
142 get_implied_rl(arg, &rl); in match_print_implied()
H A Dsmatch_estate.c450 if (!get_implied_rl(expr, &rl)) in get_implied_estate()
H A Dsmatch_extra.h103 int get_implied_rl(struct expression *expr, struct range_list **rl);
H A Dsmatch_extra.c919 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 Dsmatch_comparison.c211 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 Dsmatch_db.c1441 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 Dsmatch_implied.c747 get_implied_rl(right, &rl); in handle_comparison()
750 get_implied_rl(left, &rl); in handle_comparison()
H A Dsmatch_buf_size.c745 if (get_implied_rl(mult, &rl)) in match_calloc()
H A Dsmatch_helper.c847 get_implied_rl(expr, &rl) && in is_error_return()
H A Dsmatch_function_hooks.c565 if (!get_implied_rl(arg, &passed)) in impossible_limit()
H A Dsmatch_math.c1671 int get_implied_rl(struct expression *expr, struct range_list **rl) in get_implied_rl() function