smin_value 120 include/linux/bpf_verifier.h s64 smin_value; /* minimum possible (s64)value */ smin_value 476 kernel/bpf/verifier.c if (reg->smin_value != reg->umin_value && smin_value 477 kernel/bpf/verifier.c reg->smin_value != S64_MIN) smin_value 479 kernel/bpf/verifier.c (long long)reg->smin_value); smin_value 866 kernel/bpf/verifier.c reg->smin_value = (s64)imm; smin_value 928 kernel/bpf/verifier.c reg->smin_value = max_t(s64, reg->smin_value, smin_value 946 kernel/bpf/verifier.c if (reg->smin_value >= 0 || reg->smax_value < 0) { smin_value 947 kernel/bpf/verifier.c reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value, smin_value 960 kernel/bpf/verifier.c reg->smin_value = reg->umin_value; smin_value 967 kernel/bpf/verifier.c reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value, smin_value 984 kernel/bpf/verifier.c reg->smin_value = S64_MIN; smin_value 2207 kernel/bpf/verifier.c if (reg->smin_value < 0 && smin_value 2208 kernel/bpf/verifier.c (reg->smin_value == S64_MIN || smin_value 2209 kernel/bpf/verifier.c (off + reg->smin_value != (s64)(s32)(off + reg->smin_value)) || smin_value 2210 kernel/bpf/verifier.c reg->smin_value + off < 0)) { smin_value 2215 kernel/bpf/verifier.c err = __check_map_access(env, regno, reg->smin_value + off, size, smin_value 2246 kernel/bpf/verifier.c if (reg->smin_value + off < lock + sizeof(struct bpf_spin_lock) && smin_value 2327 kernel/bpf/verifier.c if (reg->smin_value < 0) { smin_value 2402 kernel/bpf/verifier.c if (reg->smin_value < 0) { smin_value 2748 kernel/bpf/verifier.c reg->smin_value = reg->umin_value; smin_value 3027 kernel/bpf/verifier.c min_off = reg->smin_value + reg->off; smin_value 3402 kernel/bpf/verifier.c if (reg->smin_value < 0) { smin_value 3891 kernel/bpf/verifier.c ret_reg->smin_value = S32_MIN; smin_value 3905 kernel/bpf/verifier.c ret_reg->smin_value = 0; smin_value 3907 kernel/bpf/verifier.c ret_reg->umin_value = ret_reg->smin_value; smin_value 4203 kernel/bpf/verifier.c s64 smin = reg->smin_value; smin_value 4259 kernel/bpf/verifier.c off = ptr_reg->smin_value + ptr_reg->off; smin_value 4368 kernel/bpf/verifier.c s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value, smin_value 4369 kernel/bpf/verifier.c smin_ptr = ptr_reg->smin_value, smax_ptr = ptr_reg->smax_value; smin_value 4446 kernel/bpf/verifier.c dst_reg->smin_value = smin_ptr; smin_value 4466 kernel/bpf/verifier.c dst_reg->smin_value = S64_MIN; smin_value 4469 kernel/bpf/verifier.c dst_reg->smin_value = smin_ptr + smin_val; smin_value 4513 kernel/bpf/verifier.c dst_reg->smin_value = smin_ptr; smin_value 4529 kernel/bpf/verifier.c dst_reg->smin_value = S64_MIN; smin_value 4532 kernel/bpf/verifier.c dst_reg->smin_value = smin_ptr - smax_val; smin_value 4623 kernel/bpf/verifier.c smin_val = src_reg.smin_value; smin_value 4652 kernel/bpf/verifier.c if (signed_add_overflows(dst_reg->smin_value, smin_val) || smin_value 4654 kernel/bpf/verifier.c dst_reg->smin_value = S64_MIN; smin_value 4657 kernel/bpf/verifier.c dst_reg->smin_value += smin_val; smin_value 4676 kernel/bpf/verifier.c if (signed_sub_overflows(dst_reg->smin_value, smax_val) || smin_value 4679 kernel/bpf/verifier.c dst_reg->smin_value = S64_MIN; smin_value 4682 kernel/bpf/verifier.c dst_reg->smin_value -= smax_val; smin_value 4698 kernel/bpf/verifier.c if (smin_val < 0 || dst_reg->smin_value < 0) { smin_value 4718 kernel/bpf/verifier.c dst_reg->smin_value = S64_MIN; smin_value 4721 kernel/bpf/verifier.c dst_reg->smin_value = dst_reg->umin_value; smin_value 4737 kernel/bpf/verifier.c if (dst_reg->smin_value < 0 || smin_val < 0) { smin_value 4741 kernel/bpf/verifier.c dst_reg->smin_value = S64_MIN; smin_value 4747 kernel/bpf/verifier.c dst_reg->smin_value = dst_reg->umin_value; smin_value 4766 kernel/bpf/verifier.c if (dst_reg->smin_value < 0 || smin_val < 0) { smin_value 4770 kernel/bpf/verifier.c dst_reg->smin_value = S64_MIN; smin_value 4776 kernel/bpf/verifier.c dst_reg->smin_value = dst_reg->umin_value; smin_value 4793 kernel/bpf/verifier.c dst_reg->smin_value = S64_MIN; smin_value 4829 kernel/bpf/verifier.c dst_reg->smin_value = S64_MIN; smin_value 4850 kernel/bpf/verifier.c dst_reg->smin_value = (u32)(((s32)dst_reg->smin_value) >> umin_val); smin_value 4853 kernel/bpf/verifier.c dst_reg->smin_value >>= umin_val; smin_value 5258 kernel/bpf/verifier.c reg->smin_value = S32_MIN; smin_value 5261 kernel/bpf/verifier.c reg->smin_value = (s64)(s32)reg->smin_value; smin_value 5292 kernel/bpf/verifier.c if (reg->smin_value > sval) smin_value 5306 kernel/bpf/verifier.c else if (reg->smin_value >= sval) smin_value 5316 kernel/bpf/verifier.c if (reg->smin_value >= sval) smin_value 5330 kernel/bpf/verifier.c else if (reg->smin_value > sval) smin_value 5356 kernel/bpf/verifier.c reg->smin_value >= 0 && reg->smax_value <= S32_MAX) || smin_value 5358 kernel/bpf/verifier.c reg->smax_value <= 0 && reg->smin_value >= S32_MIN); smin_value 5496 kernel/bpf/verifier.c true_reg->smin_value = max(true_reg->smin_value, true_smin); smin_value 5514 kernel/bpf/verifier.c false_reg->smin_value = max(false_reg->smin_value, false_smin); smin_value 5590 kernel/bpf/verifier.c false_reg->smin_value = max(false_reg->smin_value, false_smin); smin_value 5610 kernel/bpf/verifier.c true_reg->smin_value = max(true_reg->smin_value, true_smin); smin_value 5638 kernel/bpf/verifier.c src_reg->smin_value = dst_reg->smin_value = max(src_reg->smin_value, smin_value 5639 kernel/bpf/verifier.c dst_reg->smin_value); smin_value 5686 kernel/bpf/verifier.c if (WARN_ON_ONCE(reg->smin_value || reg->smax_value || smin_value 6758 kernel/bpf/verifier.c old->smin_value <= cur->smin_value &&