331 				if (reg->smax_value != reg->umax_value &&  in print_verifier_state()
338 				if (reg->umax_value != U64_MAX)  in print_verifier_state()
340 						(unsigned long long)reg->umax_value);  in print_verifier_state()
561 	reg->umax_value = imm;  in __mark_reg_known()
627 	reg->umax_value = min(reg->umax_value,  in __update_reg_bounds()
642 		reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value,  in __reg_deduce_bounds()
643 							  reg->umax_value);  in __reg_deduce_bounds()
649 	if ((s64)reg->umax_value >= 0) {  in __reg_deduce_bounds()
654 		reg->smax_value = reg->umax_value = min_t(u64, reg->smax_value,  in __reg_deduce_bounds()
655 							  reg->umax_value);  in __reg_deduce_bounds()
662 		reg->smax_value = reg->umax_value;  in __reg_deduce_bounds()
671 						 reg->umax_value));  in __reg_bound_offset()
680 	reg->umax_value = U64_MAX;  in __mark_reg_unbounded()
1290 	if (reg->umax_value >= BPF_MAX_VAR_OFF) {  in check_map_access()
1295 	err = __check_map_access(env, regno, reg->umax_value + off, size,  in check_map_access()
1657 	if ((reg->umin_value & ~mask) == (reg->umax_value & ~mask)) {  in coerce_reg_to_size()
1659 		reg->umax_value &= mask;  in coerce_reg_to_size()
1662 		reg->umax_value = mask;  in coerce_reg_to_size()
1665 	reg->smax_value = reg->umax_value;  in coerce_reg_to_size()
2060 		meta->msize_umax_value = reg->umax_value;  in check_func_arg()
2087 		if (reg->umax_value >= BPF_MAX_VAR_SIZ) {  in check_func_arg()
2093 					      reg->umax_value,  in check_func_arg()
2443 	ret_reg->umax_value = meta->msize_umax_value;  in do_refine_retval_range()
2701 	u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value,  in adjust_ptr_min_max_vals()
2702 	    umin_ptr = ptr_reg->umin_value, umax_ptr = ptr_reg->umax_value;  in adjust_ptr_min_max_vals()
2762 			dst_reg->umax_value = umax_ptr;  in adjust_ptr_min_max_vals()
2788 			dst_reg->umax_value = U64_MAX;  in adjust_ptr_min_max_vals()
2791 			dst_reg->umax_value = umax_ptr + umax_val;  in adjust_ptr_min_max_vals()
2823 			dst_reg->umax_value = umax_ptr;  in adjust_ptr_min_max_vals()
2845 			dst_reg->umax_value = U64_MAX;  in adjust_ptr_min_max_vals()
2849 			dst_reg->umax_value = umax_ptr - umin_val;  in adjust_ptr_min_max_vals()
2911 	umax_val = src_reg.umax_value;  in adjust_scalar_min_max_vals()
2941 		    dst_reg->umax_value + umax_val < umax_val) {  in adjust_scalar_min_max_vals()
2943 			dst_reg->umax_value = U64_MAX;  in adjust_scalar_min_max_vals()
2946 			dst_reg->umax_value += umax_val;  in adjust_scalar_min_max_vals()
2963 			dst_reg->umax_value = U64_MAX;  in adjust_scalar_min_max_vals()
2967 			dst_reg->umax_value -= umin_val;  in adjust_scalar_min_max_vals()
2982 		if (umax_val > U32_MAX || dst_reg->umax_value > U32_MAX) {  in adjust_scalar_min_max_vals()
2990 		dst_reg->umax_value *= umax_val;  in adjust_scalar_min_max_vals()
2991 		if (dst_reg->umax_value > S64_MAX) {  in adjust_scalar_min_max_vals()
2997 			dst_reg->smax_value = dst_reg->umax_value;  in adjust_scalar_min_max_vals()
3011 		dst_reg->umax_value = min(dst_reg->umax_value, umax_val);  in adjust_scalar_min_max_vals()
3023 			dst_reg->smax_value = dst_reg->umax_value;  in adjust_scalar_min_max_vals()
3039 		dst_reg->umax_value = dst_reg->var_off.value |  in adjust_scalar_min_max_vals()
3052 			dst_reg->smax_value = dst_reg->umax_value;  in adjust_scalar_min_max_vals()
3071 		if (dst_reg->umax_value > 1ULL << (63 - umax_val)) {  in adjust_scalar_min_max_vals()
3073 			dst_reg->umax_value = U64_MAX;  in adjust_scalar_min_max_vals()
3076 			dst_reg->umax_value <<= umax_val;  in adjust_scalar_min_max_vals()
3108 		dst_reg->umax_value >>= umin_val;  in adjust_scalar_min_max_vals()
3132 		dst_reg->umax_value = U64_MAX;  in adjust_scalar_min_max_vals()
3393 	if (dst_reg->umax_value > MAX_PACKET_OFF ||  in find_good_pkt_pointers()
3394 	    dst_reg->umax_value + dst_reg->off > MAX_PACKET_OFF)  in find_good_pkt_pointers()
3500 		false_reg->umax_value = min(false_reg->umax_value, val);  in reg_set_min_max()
3509 		true_reg->umax_value = min(true_reg->umax_value, val - 1);  in reg_set_min_max()
3516 		false_reg->umax_value = min(false_reg->umax_value, val - 1);  in reg_set_min_max()
3525 		true_reg->umax_value = min(true_reg->umax_value, val);  in reg_set_min_max()
3572 		true_reg->umax_value = min(true_reg->umax_value, val - 1);  in reg_set_min_max_inv()
3581 		false_reg->umax_value = min(false_reg->umax_value, val);  in reg_set_min_max_inv()
3588 		true_reg->umax_value = min(true_reg->umax_value, val);  in reg_set_min_max_inv()
3597 		false_reg->umax_value = min(false_reg->umax_value, val - 1);  in reg_set_min_max_inv()
3626 	src_reg->umax_value = dst_reg->umax_value = min(src_reg->umax_value,  in __reg_combine_min_max()
3627 							dst_reg->umax_value);  in __reg_combine_min_max()
4330 	       old->umax_value >= cur->umax_value &&  in range_within()