Home
last modified time | relevance | path

Searched refs:smin_val (Results 1 - 1 of 1) sorted by relevance

/device/soc/rockchip/common/sdk_linux/kernel/bpf/
H A Dverifier.c5949 s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value, smin_ptr = ptr_reg->smin_value, in adjust_ptr_min_max_vals() local
5960 if ((known && (smin_val != smax_val || umin_val != umax_val)) || smin_val > smax_val || umin_val > umax_val) { in adjust_ptr_min_max_vals()
5987 /* smin_val represents the known value */ in adjust_ptr_min_max_vals()
5988 if (known && smin_val == 0 && opcode == BPF_ADD) { in adjust_ptr_min_max_vals()
6032 if (known && (ptr_reg->off + smin_val == (s64)(s32)(ptr_reg->off + smin_val))) { in adjust_ptr_min_max_vals()
6039 dst_reg->off = ptr_reg->off + smin_val; in adjust_ptr_min_max_vals()
6052 if (signed_add_overflows(smin_ptr, smin_val) || signed_add_overflows(smax_ptr, smax_val)) { in adjust_ptr_min_max_vals()
6056 dst_reg->smin_value = smin_ptr + smin_val; in adjust_ptr_min_max_vals()
6165 s32 smin_val = src_reg->s32_min_value; scalar32_min_max_add() local
6189 s64 smin_val = src_reg->smin_value; scalar_min_max_add() local
6212 s32 smin_val = src_reg->s32_min_value; scalar32_min_max_sub() local
6239 s64 smin_val = src_reg->smin_value; scalar_min_max_sub() local
6265 s32 smin_val = src_reg->s32_min_value; scalar32_min_max_mul() local
6296 s64 smin_val = src_reg->smin_value; scalar_min_max_mul() local
6330 s32 smin_val = src_reg->s32_min_value; scalar32_min_max_and() local
6362 s64 smin_val = src_reg->smin_value; scalar_min_max_and() local
6397 s32 smin_val = src_reg->s32_min_value; scalar32_min_max_or() local
6429 s64 smin_val = src_reg->smin_value; scalar_min_max_or() local
6464 s32 smin_val = src_reg->s32_min_value; scalar32_min_max_xor() local
6491 s64 smin_val = src_reg->smin_value; scalar_min_max_xor() local
6718 s64 smin_val, smax_val; adjust_scalar_min_max_vals() local
[all...]

Completed in 11 milliseconds