2338 	reg->s32_min_value = S32_MIN;  in __mark_reg_unbounded()
2354 	reg->s32_min_value = S32_MIN;  in __mark_reg32_unbounded()
2378 			var32_off.value | (var32_off.mask & S32_MIN));  in __update_reg32_bounds()
2740 	if (reg->s32_min_value >= 0 && reg->smin_value >= S32_MIN && reg->smax_value <= S32_MAX) {  in __reg_deduce_mixed_bounds()
7066 		reg->smin_value = reg->s32_min_value = S32_MIN;  in set_sext64_default_val()
11196 	callee->callback_ret_range = retval_range(S32_MIN, S32_MAX);  in set_task_work_schedule_callback_state()
15119 		*dst_smin = S32_MIN;  in scalar32_min_max_add()
15182 		*dst_smin = S32_MIN;  in scalar32_min_max_sub()
15252 		*dst_smin = S32_MIN;  in scalar32_min_max_mul()
15299 	dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_udiv()
15329 	if (*dst_smin == S32_MIN && src_val == -1) {  in scalar32_min_max_sdiv()
15338 		if (*dst_smax != S32_MIN) {  in scalar32_min_max_sdiv()
15339 			*dst_smin = S32_MIN;  in scalar32_min_max_sdiv()
15413 	dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_umod()
15560 		dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_and()
15623 		dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_or()
15683 		dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_xor()
15724 	dst_reg->s32_min_value = S32_MIN;  in __scalar32_min_max_lsh()
15816 	dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_rsh()
16320 		if (!alu32 && ((s64)val < S32_MIN || (s64)val > S32_MAX))  in adjust_reg_min_max_vals()
16330 			if (off == S32_MIN)  in adjust_reg_min_max_vals()
18082 			if (range.minval == S32_MIN && range.maxval == S32_MAX)  in check_return_code()