kernel/bpf/verifier.c

1932 	struct tnum var32_off = tnum_subreg(reg->var_off);
1936 			var32_off.value | (var32_off.mask & S32_MIN));
1939 			var32_off.value | (var32_off.mask & S32_MAX));
1940 	reg->u32_min_value = max_t(u32, reg->u32_min_value, (u32)var32_off.value);
1942 				 (u32)(var32_off.value | var32_off.mask));
2191 	struct tnum var32_off = tnum_intersect(tnum_subreg(var64_off),
2195 	reg->var_off = tnum_or(tnum_clear_subreg(var64_off), var32_off);
13320 	struct tnum var32_off = tnum_subreg(dst_reg->var_off);
13325 		__mark_reg32_known(dst_reg, var32_off.value);
13332 	dst_reg->u32_min_value = var32_off.value;
13389 	struct tnum var32_off = tnum_subreg(dst_reg->var_off);
13394 		__mark_reg32_known(dst_reg, var32_off.value);
13402 	dst_reg->u32_max_value = var32_off.value | var32_off.mask;
13458 	struct tnum var32_off = tnum_subreg(dst_reg->var_off);
13462 		__mark_reg32_known(dst_reg, var32_off.value);
13466 	/* We get both minimum and maximum from the var32_off. */
13467 	dst_reg->u32_min_value = var32_off.value;
13468 	dst_reg->u32_max_value = var32_off.value | var32_off.mask;