Home
last modified time | relevance | path

Searched refs:smax_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()
6052 if (signed_add_overflows(smin_ptr, smin_val) || signed_add_overflows(smax_ptr, smax_val)) { in adjust_ptr_min_max_vals()
6057 dst_reg->smax_value = smax_ptr + smax_val; in adjust_ptr_min_max_vals()
6104 if (signed_sub_overflows(smin_ptr, smax_val) || signed_sub_overflows(smax_ptr, smin_val)) { in adjust_ptr_min_max_vals()
6109 dst_reg->smin_value = smin_ptr - smax_val; in adjust_ptr_min_max_vals()
6166 s32 smax_val = src_reg->s32_max_value; in scalar32_min_max_add() local
6171 signed_add32_overflows(dst_reg->s32_max_value, smax_val)) { in scalar32_min_max_add()
6176 dst_reg->s32_max_value += smax_val; in scalar32_min_max_add()
6190 s64 smax_val = src_reg->smax_value; scalar_min_max_add() local
6213 s32 smax_val = src_reg->s32_max_value; scalar32_min_max_sub() local
6240 s64 smax_val = src_reg->smax_value; scalar_min_max_sub() local
6718 s64 smin_val, smax_val; adjust_scalar_min_max_vals() local
[all...]

Completed in 12 milliseconds