On Fri, 29 Nov 2024, "Nautiyal, Ankit K" <ankit.k.nauti...@intel.com> wrote:
> On 11/29/2024 9:56 AM, Ville Syrjala wrote:
>> From: Ville Syrjälä <ville.syrj...@linux.intel.com>
>>
>> drm_mode_vrefresh() is trying to avoid divide by zero
>> by checking whether htotal or vtotal are zero. But we may
>> still end up with a div-by-zero of vtotal*htotal*...
>>
>> Cc: sta...@vger.kernel.org
>> Reported-by: syzbot+622bba18029bcde67...@syzkaller.appspotmail.com
>> Closes: https://syzkaller.appspot.com/bug?extid=622bba18029bcde672e1
>> Signed-off-by: Ville Syrjälä <ville.syrj...@linux.intel.com>
>> ---
>>   drivers/gpu/drm/drm_modes.c | 11 +++++++----
>>   1 file changed, 7 insertions(+), 4 deletions(-)
>>
>> diff --git a/drivers/gpu/drm/drm_modes.c b/drivers/gpu/drm/drm_modes.c
>> index 6ba167a33461..71573b85d924 100644
>> --- a/drivers/gpu/drm/drm_modes.c
>> +++ b/drivers/gpu/drm/drm_modes.c
>> @@ -1287,14 +1287,11 @@ EXPORT_SYMBOL(drm_mode_set_name);
>>    */
>>   int drm_mode_vrefresh(const struct drm_display_mode *mode)
>>   {
>> -    unsigned int num, den;
>> +    unsigned int num = 1, den = 1;
>>   
>>      if (mode->htotal == 0 || mode->vtotal == 0)
>>              return 0;
>>   
>> -    num = mode->clock;
>> -    den = mode->htotal * mode->vtotal;
>> -
>>      if (mode->flags & DRM_MODE_FLAG_INTERLACE)
>>              num *= 2;
>>      if (mode->flags & DRM_MODE_FLAG_DBLSCAN)
>> @@ -1302,6 +1299,12 @@ int drm_mode_vrefresh(const struct drm_display_mode 
>> *mode)
>>      if (mode->vscan > 1)
>>              den *= mode->vscan;
>>   
>> +    if (check_mul_overflow(mode->clock, num, &num))
>> +            return 0;
>> +
>> +    if (check_mul_overflow(mode->htotal * mode->vtotal, den, &den))
>
> Can mode->htotal * mode->vtotal result in overflow?

u16 * u16 will always fit in an unsigned int (at least where the kernel
runs).

Reviewed-by: Jani Nikula <jani.nik...@intel.com>


>
> and we should add:
>
> if (check_mul_overflow(mode->htotal, mode->vtotal, &prod))
>       return 0;
>
> Regards,
>
> Ankit
>
>> +            return 0;
>> +
>>      return DIV_ROUND_CLOSEST_ULL(mul_u32_u32(num, 1000), den);
>>   }
>>   EXPORT_SYMBOL(drm_mode_vrefresh);

-- 
Jani Nikula, Intel

Reply via email to