kernel/bpf/verifier.c

2802 				s32 s32_min,
2807 	reg->s32_min_value = max_t(s32, reg->s32_min_value, s32_min);
2810 	reg->smin_value = max_t(s64, reg->smin_value, s32_min);
6992 	s32 init_s32_max, init_s32_min, s32_max, s32_min, u32_val;
7015 	/* find the s32_min and s32_min after sign extension */
7025 	s32_min = min(init_s32_max, init_s32_min);
7027 	if ((s32_min >= 0) == (s32_max >= 0)) {
7028 		reg->s32_min_value = s32_min;
7030 		reg->u32_min_value = (u32)s32_min;
7032 		reg->var_off = tnum_subreg(tnum_range(s32_min, s32_max));