smax_val         4368 kernel/bpf/verifier.c 	s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value,
smax_val         4378 kernel/bpf/verifier.c 	if ((known && (smin_val != smax_val || umin_val != umax_val)) ||
smax_val         4379 kernel/bpf/verifier.c 	    smin_val > smax_val || umin_val > umax_val) {
smax_val         4413 kernel/bpf/verifier.c 		if (!env->allow_ptr_leaks && !known && (smin_val < 0) != (smax_val < 0)) {
smax_val         4465 kernel/bpf/verifier.c 		    signed_add_overflows(smax_ptr, smax_val)) {
smax_val         4470 kernel/bpf/verifier.c 			dst_reg->smax_value = smax_ptr + smax_val;
smax_val         4526 kernel/bpf/verifier.c 		if (signed_sub_overflows(smin_ptr, smax_val) ||
smax_val         4532 kernel/bpf/verifier.c 			dst_reg->smin_value = smin_ptr - smax_val;
smax_val         4608 kernel/bpf/verifier.c 	s64 smin_val, smax_val;
smax_val         4624 kernel/bpf/verifier.c 	smax_val = src_reg.smax_value;
smax_val         4630 kernel/bpf/verifier.c 	if ((src_known && (smin_val != smax_val || umin_val != umax_val)) ||
smax_val         4631 kernel/bpf/verifier.c 	    smin_val > smax_val || umin_val > umax_val) {
smax_val         4653 kernel/bpf/verifier.c 		    signed_add_overflows(dst_reg->smax_value, smax_val)) {
smax_val         4658 kernel/bpf/verifier.c 			dst_reg->smax_value += smax_val;
smax_val         4676 kernel/bpf/verifier.c 		if (signed_sub_overflows(dst_reg->smin_value, smax_val) ||
smax_val         4682 kernel/bpf/verifier.c 			dst_reg->smin_value -= smax_val;