kernel/bpf/verifier.c

13102 	u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value,
13111 	if ((known && (smin_val != smax_val || umin_val != umax_val)) ||
13112 	    smin_val > smax_val || umin_val > umax_val) {
13223 		    umax_ptr + umax_val < umax_ptr) {
13228 			dst_reg->umax_value = umax_ptr + umax_val;
13280 		if (umin_ptr < umax_val) {
13286 			dst_reg->umin_value = umin_ptr - umax_val;
13334 	u32 umax_val = src_reg->u32_max_value;
13345 	    dst_reg->u32_max_value + umax_val < umax_val) {
13350 		dst_reg->u32_max_value += umax_val;
13360 	u64 umax_val = src_reg->umax_value;
13371 	    dst_reg->umax_value + umax_val < umax_val) {
13376 		dst_reg->umax_value += umax_val;
13386 	u32 umax_val = src_reg->u32_max_value;
13397 	if (dst_reg->u32_min_value < umax_val) {
13403 		dst_reg->u32_min_value -= umax_val;
13414 	u64 umax_val = src_reg->umax_value;
13425 	if (dst_reg->umin_value < umax_val) {
13431 		dst_reg->umin_value -= umax_val;
13441 	u32 umax_val = src_reg->u32_max_value;
13451 	if (umax_val > U16_MAX || dst_reg->u32_max_value > U16_MAX) {
13457 	dst_reg->u32_max_value *= umax_val;
13473 	u64 umax_val = src_reg->umax_value;
13483 	if (umax_val > U32_MAX || dst_reg->umax_value > U32_MAX) {
13489 	dst_reg->umax_value *= umax_val;
13506 	u32 umax_val = src_reg->u32_max_value;
13517 	dst_reg->u32_max_value = min(dst_reg->u32_max_value, umax_val);
13536 	u64 umax_val = src_reg->umax_value;
13547 	dst_reg->umax_value = min(dst_reg->umax_value, umax_val);
13685 				   u64 umin_val, u64 umax_val)
13693 	if (umax_val > 31 || dst_reg->u32_max_value > 1ULL << (31 - umax_val)) {
13698 		dst_reg->u32_max_value <<= umax_val;
13705 	u32 umax_val = src_reg->u32_max_value;
13710 	__scalar32_min_max_lsh(dst_reg, umin_val, umax_val);
13721 				   u64 umin_val, u64 umax_val)
13730 	if (umin_val == 32 && umax_val == 32 && dst_reg->s32_max_value >= 0)
13735 	if (umin_val == 32 && umax_val == 32 && dst_reg->s32_min_value >= 0)
13741 	if (dst_reg->umax_value > 1ULL << (63 - umax_val)) {
13746 		dst_reg->umax_value <<= umax_val;
13753 	u64 umax_val = src_reg->umax_value;
13757 	__scalar64_min_max_lsh(dst_reg, umin_val, umax_val);
13758 	__scalar32_min_max_lsh(dst_reg, umin_val, umax_val);
13769 	u32 umax_val = src_reg->u32_max_value;
13790 	dst_reg->u32_min_value >>= umax_val;
13800 	u64 umax_val = src_reg->umax_value;
13820 	dst_reg->umin_value >>= umax_val;
13837 	 * umax_val is equal to umin_val.
13859 	/* Upon reaching here, src_known is true and umax_val is equal