umin_val         4370 kernel/bpf/verifier.c 	u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value,
umin_val         4378 kernel/bpf/verifier.c 	if ((known && (smin_val != smax_val || umin_val != umax_val)) ||
umin_val         4379 kernel/bpf/verifier.c 	    smin_val > smax_val || umin_val > umax_val) {
umin_val         4472 kernel/bpf/verifier.c 		if (umin_ptr + umin_val < umin_ptr ||
umin_val         4477 kernel/bpf/verifier.c 			dst_reg->umin_value = umin_ptr + umin_val;
umin_val         4542 kernel/bpf/verifier.c 			dst_reg->umax_value = umax_ptr - umin_val;
umin_val         4609 kernel/bpf/verifier.c 	u64 umin_val, umax_val;
umin_val         4625 kernel/bpf/verifier.c 	umin_val = src_reg.umin_value;
umin_val         4630 kernel/bpf/verifier.c 	if ((src_known && (smin_val != smax_val || umin_val != umax_val)) ||
umin_val         4631 kernel/bpf/verifier.c 	    smin_val > smax_val || umin_val > umax_val) {
umin_val         4660 kernel/bpf/verifier.c 		if (dst_reg->umin_value + umin_val < umin_val ||
umin_val         4665 kernel/bpf/verifier.c 			dst_reg->umin_value += umin_val;
umin_val         4692 kernel/bpf/verifier.c 			dst_reg->umax_value -= umin_val;
umin_val         4714 kernel/bpf/verifier.c 		dst_reg->umin_value *= umin_val;
umin_val         4763 kernel/bpf/verifier.c 		dst_reg->umin_value = max(dst_reg->umin_value, umin_val);
umin_val         4800 kernel/bpf/verifier.c 			dst_reg->umin_value <<= umin_val;
umin_val         4803 kernel/bpf/verifier.c 		dst_reg->var_off = tnum_lshift(dst_reg->var_off, umin_val);
umin_val         4831 kernel/bpf/verifier.c 		dst_reg->var_off = tnum_rshift(dst_reg->var_off, umin_val);
umin_val         4833 kernel/bpf/verifier.c 		dst_reg->umax_value >>= umin_val;
umin_val         4850 kernel/bpf/verifier.c 			dst_reg->smin_value = (u32)(((s32)dst_reg->smin_value) >> umin_val);
umin_val         4851 kernel/bpf/verifier.c 			dst_reg->smax_value = (u32)(((s32)dst_reg->smax_value) >> umin_val);
umin_val         4853 kernel/bpf/verifier.c 			dst_reg->smin_value >>= umin_val;
umin_val         4854 kernel/bpf/verifier.c 			dst_reg->smax_value >>= umin_val;
umin_val         4857 kernel/bpf/verifier.c 		dst_reg->var_off = tnum_arshift(dst_reg->var_off, umin_val,