1910 	reg->s32_min_value = S32_MIN;  in __mark_reg_unbounded()
1926 	reg->s32_min_value = S32_MIN;  in __mark_reg32_unbounded()
1950 			var32_off.value | (var32_off.mask & S32_MIN));  in __update_reg32_bounds()
2106 			 * 0                     S32_MAX S32_MIN                    -1  in deduce_bounds_32_from_32()
2116 			 * 0                     S32_MAX S32_MIN                    -1  in deduce_bounds_32_from_32()
2312 	 *  - 0xffff_ffff_8000_0000 == (s64)S32_MIN  in deduce_bounds_64_from_32()
2316 	if (reg->s32_min_value >= 0 && reg->smin_value >= S32_MIN && reg->smax_value <= S32_MAX) {  in deduce_bounds_64_from_32()
2494 				s32 s32_min,  in __mark_reg_s32_range()  argument
2499 	reg->s32_min_value = max_t(s32, reg->s32_min_value, s32_min);  in __mark_reg_s32_range()
2502 	reg->smin_value = max_t(s64, reg->smin_value, s32_min);  in __mark_reg_s32_range()
5665 		reg->smin_value = reg->s32_min_value = S32_MIN;  in set_sext64_default_val()
5750 	s32 init_s32_max, init_s32_min, s32_max, s32_min, u32_val;  in coerce_subreg_to_size_sx()  local
5773 	/* find the s32_min and s32_min after sign extension */  in coerce_subreg_to_size_sx()
5783 	s32_min = min(init_s32_max, init_s32_min);  in coerce_subreg_to_size_sx()
5785 	if ((s32_min >= 0) == (s32_max >= 0)) {  in coerce_subreg_to_size_sx()
5786 		reg->s32_min_value = s32_min;  in coerce_subreg_to_size_sx()
5788 		reg->u32_min_value = (u32)s32_min;  in coerce_subreg_to_size_sx()
5790 		reg->var_off = tnum_subreg(tnum_range(s32_min, s32_max));  in coerce_subreg_to_size_sx()
9823 	callee->callback_ret_range = retval_range(S32_MIN, S32_MAX);  in set_task_work_schedule_callback_state()
13983 		*dst_smin = S32_MIN;  in scalar32_min_max_add()
14046 		*dst_smin = S32_MIN;  in scalar32_min_max_sub()
14116 		*dst_smin = S32_MIN;  in scalar32_min_max_mul()
14163 	dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_udiv()
14192 	/* BPF div specification: S32_MIN / -1 = S32_MIN */  in scalar32_min_max_sdiv()
14193 	if (*dst_smin == S32_MIN && src_val == -1) {  in scalar32_min_max_sdiv()
14195 		 * If the dividend range contains more than just S32_MIN,  in scalar32_min_max_sdiv()
14197 		 * e.g., [S32_MIN, S32_MIN+10]/(-1),  in scalar32_min_max_sdiv()
14198 		 *     = {S32_MIN} U [-(S32_MIN+10), -(S32_MIN+1)]  in scalar32_min_max_sdiv()
14199 		 *     = {S32_MIN} U [S32_MAX-9, S32_MAX] = [S32_MIN, S32_MAX]  in scalar32_min_max_sdiv()
14200 		 * Otherwise (if dividend is exactly S32_MIN), result remains S32_MIN.  in scalar32_min_max_sdiv()
14202 		if (*dst_smax != S32_MIN) {  in scalar32_min_max_sdiv()
14203 			*dst_smin = S32_MIN;  in scalar32_min_max_sdiv()
14277 	dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_umod()
14315 	 * If src_val == S32_MIN (-2147483648), src_abs becomes 2147483648.  in scalar32_min_max_smod()
14322 	 * Even if src_abs is 2147483648 (S32_MIN), subtracting 1 gives  in scalar32_min_max_smod()
14424 		dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_and()
14487 		dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_or()
14547 		dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_xor()
14588 	dst_reg->s32_min_value = S32_MIN;  in __scalar32_min_max_lsh()
14680 	dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_rsh()
15193 		if (!alu32 && ((s64)val < S32_MIN || (s64)val > S32_MAX))  in adjust_reg_min_max_vals()
15202 			/* Negating S32_MIN would overflow */  in adjust_reg_min_max_vals()
15203 			if (off == S32_MIN)  in adjust_reg_min_max_vals()
16820 			if (range->minval == S32_MIN && range->maxval == S32_MAX)  in return_retval_range()