umin_ptr         4371 kernel/bpf/verifier.c 	    umin_ptr = ptr_reg->umin_value, umax_ptr = ptr_reg->umax_value;
umin_ptr         4448 kernel/bpf/verifier.c 			dst_reg->umin_value = umin_ptr;
umin_ptr         4472 kernel/bpf/verifier.c 		if (umin_ptr + umin_val < umin_ptr ||
umin_ptr         4477 kernel/bpf/verifier.c 			dst_reg->umin_value = umin_ptr + umin_val;
umin_ptr         4515 kernel/bpf/verifier.c 			dst_reg->umin_value = umin_ptr;
umin_ptr         4535 kernel/bpf/verifier.c 		if (umin_ptr < umax_val) {
umin_ptr         4541 kernel/bpf/verifier.c 			dst_reg->umin_value = umin_ptr - umax_val;