smax_value        121 include/linux/bpf_verifier.h 	s64 smax_value; /* maximum possible (s64)value */
smax_value        480 kernel/bpf/verifier.c 				if (reg->smax_value != reg->umax_value &&
smax_value        481 kernel/bpf/verifier.c 				    reg->smax_value != S64_MAX)
smax_value        483 kernel/bpf/verifier.c 						(long long)reg->smax_value);
smax_value        867 kernel/bpf/verifier.c 	reg->smax_value = (s64)imm;
smax_value        931 kernel/bpf/verifier.c 	reg->smax_value = min_t(s64, reg->smax_value,
smax_value        946 kernel/bpf/verifier.c 	if (reg->smin_value >= 0 || reg->smax_value < 0) {
smax_value        949 kernel/bpf/verifier.c 		reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value,
smax_value        961 kernel/bpf/verifier.c 		reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value,
smax_value        969 kernel/bpf/verifier.c 		reg->smax_value = reg->umax_value;
smax_value        985 kernel/bpf/verifier.c 	reg->smax_value = S64_MAX;
smax_value       2749 kernel/bpf/verifier.c 	reg->smax_value = reg->umax_value;
smax_value       3021 kernel/bpf/verifier.c 		if (reg->smax_value >= BPF_MAX_VAR_OFF ||
smax_value       3022 kernel/bpf/verifier.c 		    reg->smax_value <= -BPF_MAX_VAR_OFF) {
smax_value       3028 kernel/bpf/verifier.c 		max_off = reg->smax_value + reg->off;
smax_value       3892 kernel/bpf/verifier.c 	ret_reg->smax_value = -1;
smax_value       3906 kernel/bpf/verifier.c 	ret_reg->smax_value = meta->msize_max_value;
smax_value       3908 kernel/bpf/verifier.c 	ret_reg->umax_value = ret_reg->smax_value;
smax_value       4368 kernel/bpf/verifier.c 	s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value,
smax_value       4369 kernel/bpf/verifier.c 	    smin_ptr = ptr_reg->smin_value, smax_ptr = ptr_reg->smax_value;
smax_value       4447 kernel/bpf/verifier.c 			dst_reg->smax_value = smax_ptr;
smax_value       4467 kernel/bpf/verifier.c 			dst_reg->smax_value = S64_MAX;
smax_value       4470 kernel/bpf/verifier.c 			dst_reg->smax_value = smax_ptr + smax_val;
smax_value       4514 kernel/bpf/verifier.c 			dst_reg->smax_value = smax_ptr;
smax_value       4530 kernel/bpf/verifier.c 			dst_reg->smax_value = S64_MAX;
smax_value       4533 kernel/bpf/verifier.c 			dst_reg->smax_value = smax_ptr - smin_val;
smax_value       4624 kernel/bpf/verifier.c 	smax_val = src_reg.smax_value;
smax_value       4653 kernel/bpf/verifier.c 		    signed_add_overflows(dst_reg->smax_value, smax_val)) {
smax_value       4655 kernel/bpf/verifier.c 			dst_reg->smax_value = S64_MAX;
smax_value       4658 kernel/bpf/verifier.c 			dst_reg->smax_value += smax_val;
smax_value       4677 kernel/bpf/verifier.c 		    signed_sub_overflows(dst_reg->smax_value, smin_val)) {
smax_value       4680 kernel/bpf/verifier.c 			dst_reg->smax_value = S64_MAX;
smax_value       4683 kernel/bpf/verifier.c 			dst_reg->smax_value -= smin_val;
smax_value       4719 kernel/bpf/verifier.c 			dst_reg->smax_value = S64_MAX;
smax_value       4722 kernel/bpf/verifier.c 			dst_reg->smax_value = dst_reg->umax_value;
smax_value       4742 kernel/bpf/verifier.c 			dst_reg->smax_value = S64_MAX;
smax_value       4748 kernel/bpf/verifier.c 			dst_reg->smax_value = dst_reg->umax_value;
smax_value       4771 kernel/bpf/verifier.c 			dst_reg->smax_value = S64_MAX;
smax_value       4777 kernel/bpf/verifier.c 			dst_reg->smax_value = dst_reg->umax_value;
smax_value       4794 kernel/bpf/verifier.c 		dst_reg->smax_value = S64_MAX;
smax_value       4830 kernel/bpf/verifier.c 		dst_reg->smax_value = S64_MAX;
smax_value       4851 kernel/bpf/verifier.c 			dst_reg->smax_value = (u32)(((s32)dst_reg->smax_value) >> umin_val);
smax_value       4854 kernel/bpf/verifier.c 			dst_reg->smax_value >>= umin_val;
smax_value       5259 kernel/bpf/verifier.c 			reg->smax_value = S32_MAX;
smax_value       5262 kernel/bpf/verifier.c 		reg->smax_value = (s64)(s32)reg->smax_value;
smax_value       5294 kernel/bpf/verifier.c 		else if (reg->smax_value < sval)
smax_value       5304 kernel/bpf/verifier.c 		if (reg->smax_value < sval)
smax_value       5318 kernel/bpf/verifier.c 		else if (reg->smax_value < sval)
smax_value       5328 kernel/bpf/verifier.c 		if (reg->smax_value <= sval)
smax_value       5356 kernel/bpf/verifier.c 		reg->smin_value >= 0 && reg->smax_value <= S32_MAX) ||
smax_value       5358 kernel/bpf/verifier.c 		reg->smax_value <= 0 && reg->smin_value >= S32_MIN);
smax_value       5495 kernel/bpf/verifier.c 		false_reg->smax_value = min(false_reg->smax_value, false_smax);
smax_value       5515 kernel/bpf/verifier.c 		true_reg->smax_value = min(true_reg->smax_value, true_smax);
smax_value       5591 kernel/bpf/verifier.c 		true_reg->smax_value = min(true_reg->smax_value, true_smax);
smax_value       5609 kernel/bpf/verifier.c 		false_reg->smax_value = min(false_reg->smax_value, false_smax);
smax_value       5640 kernel/bpf/verifier.c 	src_reg->smax_value = dst_reg->smax_value = min(src_reg->smax_value,
smax_value       5641 kernel/bpf/verifier.c 							dst_reg->smax_value);
smax_value       5686 kernel/bpf/verifier.c 		if (WARN_ON_ONCE(reg->smin_value || reg->smax_value ||
smax_value       6759 kernel/bpf/verifier.c 	       old->smax_value >= cur->smax_value;