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

/linux-master/kernel/bpf/
H A Dverifier.c12915 s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value, local
12926 if ((known && (smin_val != smax_val || umin_val != umax_val)) ||
12927 smin_val > smax_val || umin_val > umax_val) {
13030 signed_add_overflows(smax_ptr, smax_val)) {
13035 dst_reg->smax_value = smax_ptr + smax_val;
13086 if (signed_sub_overflows(smin_ptr, smax_val) ||
13092 dst_reg->smin_value = smin_ptr - smax_val;
13147 s32 smax_val = src_reg->s32_max_value; local
13152 signed_add32_overflows(dst_reg->s32_max_value, smax_val)) {
13157 dst_reg->s32_max_value += smax_val;
13173 s64 smax_val = src_reg->smax_value; local
13199 s32 smax_val = src_reg->s32_max_value; local
13227 s64 smax_val = src_reg->smax_value; local
13722 s64 smin_val, smax_val; local
[all...]

Completed in 161 milliseconds