umax_val         4370 kernel/bpf/verifier.c 	u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value,
umax_val         4378 kernel/bpf/verifier.c 	if ((known && (smin_val != smax_val || umin_val != umax_val)) ||
umax_val         4379 kernel/bpf/verifier.c 	    smin_val > smax_val || umin_val > umax_val) {
umax_val         4473 kernel/bpf/verifier.c 		    umax_ptr + umax_val < umax_ptr) {
umax_val         4478 kernel/bpf/verifier.c 			dst_reg->umax_value = umax_ptr + umax_val;
umax_val         4535 kernel/bpf/verifier.c 		if (umin_ptr < umax_val) {
umax_val         4541 kernel/bpf/verifier.c 			dst_reg->umin_value = umin_ptr - umax_val;
umax_val         4609 kernel/bpf/verifier.c 	u64 umin_val, umax_val;
umax_val         4626 kernel/bpf/verifier.c 	umax_val = src_reg.umax_value;
umax_val         4630 kernel/bpf/verifier.c 	if ((src_known && (smin_val != smax_val || umin_val != umax_val)) ||
umax_val         4631 kernel/bpf/verifier.c 	    smin_val > smax_val || umin_val > umax_val) {
umax_val         4661 kernel/bpf/verifier.c 		    dst_reg->umax_value + umax_val < umax_val) {
umax_val         4666 kernel/bpf/verifier.c 			dst_reg->umax_value += umax_val;
umax_val         4685 kernel/bpf/verifier.c 		if (dst_reg->umin_value < umax_val) {
umax_val         4691 kernel/bpf/verifier.c 			dst_reg->umin_value -= umax_val;
umax_val         4707 kernel/bpf/verifier.c 		if (umax_val > U32_MAX || dst_reg->umax_value > U32_MAX) {
umax_val         4715 kernel/bpf/verifier.c 		dst_reg->umax_value *= umax_val;
umax_val         4736 kernel/bpf/verifier.c 		dst_reg->umax_value = min(dst_reg->umax_value, umax_val);
umax_val         4783 kernel/bpf/verifier.c 		if (umax_val >= insn_bitness) {
umax_val         4796 kernel/bpf/verifier.c 		if (dst_reg->umax_value > 1ULL << (63 - umax_val)) {
umax_val         4801 kernel/bpf/verifier.c 			dst_reg->umax_value <<= umax_val;
umax_val         4808 kernel/bpf/verifier.c 		if (umax_val >= insn_bitness) {
umax_val         4832 kernel/bpf/verifier.c 		dst_reg->umin_value >>= umax_val;
umax_val         4838 kernel/bpf/verifier.c 		if (umax_val >= insn_bitness) {