Searched refs:smin_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) {
12973 /* smin_val represents the known value */
12974 if (known && smin_val == 0 && opcode == BPF_ADD)
13008 if (known && (ptr_reg->off + smin_val ==
13009 (s64)(s32)(ptr_reg->off + smin_val))) {
13016 dst_reg->off = ptr_reg->off + smin_val;
13029 if (signed_add_overflows(smin_ptr, smin_val) ||
13034 dst_reg->smin_value = smin_ptr + smin_val;
13146 s32 smin_val = src_reg->s32_min_value; local
13172 s64 smin_val = src_reg->smin_value; local
13198 s32 smin_val = src_reg->s32_min_value; local
13226 s64 smin_val = src_reg->smin_value; local
13254 s32 smin_val = src_reg->s32_min_value; local
13286 s64 smin_val = src_reg->smin_value; local
13321 s32 smin_val = src_reg->s32_min_value; local
13354 s64 smin_val = src_reg->smin_value; local
13390 s32 smin_val = src_reg->s32_min_value; local
13423 s64 smin_val = src_reg->smin_value; local
13459 s32 smin_val = src_reg->s32_min_value; local
13487 s64 smin_val = src_reg->smin_value; local
13722 s64 smin_val, smax_val; local
[all...]

Completed in 119 milliseconds