smin_val         4368 kernel/bpf/verifier.c 	s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value,
smin_val         4378 kernel/bpf/verifier.c 	if ((known && (smin_val != smax_val || umin_val != umax_val)) ||
smin_val         4379 kernel/bpf/verifier.c 	    smin_val > smax_val || umin_val > umax_val) {
smin_val         4413 kernel/bpf/verifier.c 		if (!env->allow_ptr_leaks && !known && (smin_val < 0) != (smax_val < 0)) {
smin_val         4435 kernel/bpf/verifier.c 		ret = sanitize_ptr_alu(env, insn, ptr_reg, dst_reg, smin_val < 0);
smin_val         4443 kernel/bpf/verifier.c 		if (known && (ptr_reg->off + smin_val ==
smin_val         4444 kernel/bpf/verifier.c 			      (s64)(s32)(ptr_reg->off + smin_val))) {
smin_val         4451 kernel/bpf/verifier.c 			dst_reg->off = ptr_reg->off + smin_val;
smin_val         4464 kernel/bpf/verifier.c 		if (signed_add_overflows(smin_ptr, smin_val) ||
smin_val         4469 kernel/bpf/verifier.c 			dst_reg->smin_value = smin_ptr + smin_val;
smin_val         4490 kernel/bpf/verifier.c 		ret = sanitize_ptr_alu(env, insn, ptr_reg, dst_reg, smin_val < 0);
smin_val         4510 kernel/bpf/verifier.c 		if (known && (ptr_reg->off - smin_val ==
smin_val         4511 kernel/bpf/verifier.c 			      (s64)(s32)(ptr_reg->off - smin_val))) {
smin_val         4519 kernel/bpf/verifier.c 			dst_reg->off = ptr_reg->off - smin_val;
smin_val         4527 kernel/bpf/verifier.c 		    signed_sub_overflows(smax_ptr, smin_val)) {
smin_val         4533 kernel/bpf/verifier.c 			dst_reg->smax_value = smax_ptr - smin_val;
smin_val         4550 kernel/bpf/verifier.c 			if (smin_val < 0)
smin_val         4608 kernel/bpf/verifier.c 	s64 smin_val, smax_val;
smin_val         4623 kernel/bpf/verifier.c 	smin_val = src_reg.smin_value;
smin_val         4630 kernel/bpf/verifier.c 	if ((src_known && (smin_val != smax_val || umin_val != umax_val)) ||
smin_val         4631 kernel/bpf/verifier.c 	    smin_val > smax_val || umin_val > umax_val) {
smin_val         4652 kernel/bpf/verifier.c 		if (signed_add_overflows(dst_reg->smin_value, smin_val) ||
smin_val         4657 kernel/bpf/verifier.c 			dst_reg->smin_value += smin_val;
smin_val         4677 kernel/bpf/verifier.c 		    signed_sub_overflows(dst_reg->smax_value, smin_val)) {
smin_val         4683 kernel/bpf/verifier.c 			dst_reg->smax_value -= smin_val;
smin_val         4698 kernel/bpf/verifier.c 		if (smin_val < 0 || dst_reg->smin_value < 0) {
smin_val         4737 kernel/bpf/verifier.c 		if (dst_reg->smin_value < 0 || smin_val < 0) {
smin_val         4766 kernel/bpf/verifier.c 		if (dst_reg->smin_value < 0 || smin_val < 0) {