Home
last modified time | relevance | path

Searched refs:get_user_rl (Results 1 – 8 of 8) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_kernel_user_data.c129 if (expr->op == '-' && get_user_rl(expr->left, &left_rl)) { in binop_capped()
172 if (get_user_rl(expr, &rl)) in user_rl_capped()
194 if (get_user_rl(expr, &rl)) in user_rl_treat_untagged()
594 if (!get_user_rl(binop_expr, &rl)) in handle_op_assign()
639 if (!get_user_rl(expr->right, &rl)) in match_assign()
746 get_user_rl(left, &left_rl); in handle_compare()
747 get_user_rl(right, &right_rl); in handle_compare()
914 if (!get_user_rl(expr->right, &right)) in var_user_rl()
936 get_user_rl(expr->left, &left); in var_user_rl()
937 get_user_rl(expr->right, &right); in var_user_rl()
[all …]
H A Dcheck_index_overflow.c95 if (!get_user_rl(expr, &rl)) in get_the_max()
302 get_user_rl(offset, &user_rl); in array_check()
H A Dcheck_arm64_tagged.c230 if (!get_user_rl(val, &rl)) in match_condition()
H A Dcheck_string_len.c255 if (get_user_rl(arg, &rl)) in match_not_limited()
H A Dcheck_nospec.c130 if (is_nospec(expr) && get_user_rl(expr, &rl)) in returned_struct_members()
H A Dcheck_memcpy_overflow.c43 if (!get_user_rl(expr, &rl)) in get_the_max()
H A Dcheck_debug.c210 get_user_rl(arg, &rl); in match_user_rl()
H A Dsmatch.h1080 int get_user_rl(struct expression *expr, struct range_list **rl);