smin_ptr         4369 kernel/bpf/verifier.c 	    smin_ptr = ptr_reg->smin_value, smax_ptr = ptr_reg->smax_value;
smin_ptr         4446 kernel/bpf/verifier.c 			dst_reg->smin_value = smin_ptr;
smin_ptr         4464 kernel/bpf/verifier.c 		if (signed_add_overflows(smin_ptr, smin_val) ||
smin_ptr         4469 kernel/bpf/verifier.c 			dst_reg->smin_value = smin_ptr + smin_val;
smin_ptr         4513 kernel/bpf/verifier.c 			dst_reg->smin_value = smin_ptr;
smin_ptr         4526 kernel/bpf/verifier.c 		if (signed_sub_overflows(smin_ptr, smax_val) ||
smin_ptr         4532 kernel/bpf/verifier.c 			dst_reg->smin_value = smin_ptr - smax_val;