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

/linux-master/kernel/bpf/
H A Dverifier.c13100 s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value, local
13111 if ((known && (smin_val != smax_val || umin_val != umax_val)) ||
13112 smin_val > smax_val || umin_val > umax_val) {
13158 /* smin_val represents the known value */
13159 if (known && smin_val == 0 && opcode == BPF_ADD)
13193 if (known && (ptr_reg->off + smin_val ==
13194 (s64)(s32)(ptr_reg->off + smin_val))) {
13201 dst_reg->off = ptr_reg->off + smin_val;
13214 if (signed_add_overflows(smin_ptr, smin_val) ||
13219 dst_reg->smin_value = smin_ptr + smin_val;
13331 s32 smin_val = src_reg->s32_min_value; local
13357 s64 smin_val = src_reg->smin_value; local
13383 s32 smin_val = src_reg->s32_min_value; local
13411 s64 smin_val = src_reg->smin_value; local
13439 s32 smin_val = src_reg->s32_min_value; local
13471 s64 smin_val = src_reg->smin_value; local
[all...]

Completed in 216 milliseconds