kernel/bpf/verifier.c

1917 	reg->s32_min_value = S32_MIN;
1933 	reg->s32_min_value = S32_MIN;
1945 			var32_off.value | (var32_off.mask & S32_MIN));
6158 		reg->smin_value = reg->s32_min_value = S32_MIN;
13338 		dst_reg->s32_min_value = S32_MIN;
13391 		dst_reg->s32_min_value = S32_MIN;
13460 		dst_reg->s32_min_value = S32_MIN;
13526 		dst_reg->s32_min_value = S32_MIN;
13589 		dst_reg->s32_min_value = S32_MIN;
13649 		dst_reg->s32_min_value = S32_MIN;
13690 	dst_reg->s32_min_value = S32_MIN;
13786 	dst_reg->s32_min_value = S32_MIN;