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 &&