Re: [PATCH] mm/mlock: remove unneeded start >= vma->vm_end check

From: Matthew Wilcox
Date: Mon Mar 14 2022 - 12:17:58 EST


On Mon, Mar 14, 2022 at 11:32:23PM +0800, Miaohe Lin wrote:
> If find_vma returns a vma, it must satisfies that start < vma->vm_end.
> Since vma list is sorted in the ascending order, so we will never see
> start >= vma->vm_end here. Remove this unneeded check.

faulty logic; vm_start + len might wrap.