Sorry, I've noticed that I'd sent the patch without description and sent version 2.

Function find_vma may return NULL, that's why its return value is usually checked for NULL. In this case vma and its fields also should be checked before dereferencing to avoid NULL pointer dereference

Best regards,

Ekaterina Esina

From: David <david@redhat.com>
To: Esina <eesina@astralinux.ru>; Mike <mike.kravetz@oracle.com>
Cc: Andrew <akpm@linux-foundation.org>; linux-mm <linux-mm@kvack.org>; linux-kernel <linux-kernel@vger.kernel.org>; lvc-project <lvc-project@linuxtesting.org>
Date: Monday, 16 January 2023 4:24 PM MSK
Subject: Re: [PATCH mm] mm: hugetlb: Add checks for NULL for vma returned from find_vma. find_vma may return NULL, that's why its return value is usually checked for NULL.

On 16.01.23 11:05, Esina Ekaterina wrote:
> Found by Astra Linux on behalf of Linux Verification Center
> (linuxtesting.org) with SVACE.

Please trim the subject and move details to the description.

What are the symptoms? How exactly does this BUG manifest? What is this
patch fixing?

--
Thanks,

David / dhildenb