kernel/bpf/verifier.c

6169 	s64 init_s64_max, init_s64_min, s64_max, s64_min, u64_cval;
6174 		u64_cval = reg->var_off.value;
6176 			reg->var_off = tnum_const((s8)u64_cval);
6178 			reg->var_off = tnum_const((s16)u64_cval);
6181 			reg->var_off = tnum_const((s32)u64_cval);
6183 		u64_cval = reg->var_off.value;
6184 		reg->smax_value = reg->smin_value = u64_cval;
6185 		reg->umax_value = reg->umin_value = u64_cval;
6186 		reg->s32_max_value = reg->s32_min_value = u64_cval;
6187 		reg->u32_max_value = reg->u32_min_value = u64_cval;