From mboxrd@z Thu Jan 1 00:00:00 1970 From: Sasha Levin Subject: Re: fs: out of bounds on stack in iov_iter_advance Date: Thu, 17 Sep 2015 22:24:16 -0400 Message-ID: <55FB75D0.7060403@oracle.com> References: <55CB5484.6080000@oracle.com> <20150815161338.4ea210ff@as> <55D1A6D4.3080605@gmail.com> <20150819054650.GD18890@ZenIV.linux.org.uk> Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Cc: Chuck Ebbert , linux-fsdevel , LKML To: Al Viro , Andrey Ryabinin , willy@linux.intel.com Return-path: In-Reply-To: <20150819054650.GD18890@ZenIV.linux.org.uk> Sender: linux-kernel-owner@vger.kernel.org List-Id: linux-fsdevel.vger.kernel.org On 08/19/2015 01:46 AM, Al Viro wrote: >> or mapping->a_ops->direct_IO() returned more >> > than 'count'. > Was there DAX involved? ->direct_IO() in there is blkdev_direct_IO(), > which takes rather different paths in those cases... > So I've traced this all the way back to dax_io(). I can trigger this with: diff --git a/fs/dax.c b/fs/dax.c index 93bf2f9..2cdb8a5 100644 --- a/fs/dax.c +++ b/fs/dax.c @@ -178,6 +178,7 @@ static ssize_t dax_io(struct inode *inode, struct iov_iter *iter, if (need_wmb) wmb_pmem(); + WARN_ON((pos == start) && (pos - start > iov_iter_count(iter))); return (pos == start) ? retval : pos - start; } So it seems that iter gets moved twice here: once in dax_io(), and once again back at generic_file_read_iter(). I don't see how it ever worked. Am I missing something? Thanks, Sasha