From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-io0-f198.google.com (mail-io0-f198.google.com [209.85.223.198]) by kanga.kvack.org (Postfix) with ESMTP id CA1206B0007 for ; Fri, 3 Aug 2018 12:54:59 -0400 (EDT) Received: by mail-io0-f198.google.com with SMTP id e8-v6so4468636ioq.11 for ; Fri, 03 Aug 2018 09:54:59 -0700 (PDT) Received: from mail-sor-f65.google.com (mail-sor-f65.google.com. [209.85.220.65]) by mx.google.com with SMTPS id k197-v6sor2076818ite.54.2018.08.03.09.54.58 for (Google Transport Security); Fri, 03 Aug 2018 09:54:58 -0700 (PDT) MIME-Version: 1.0 In-Reply-To: <20180803164337.GB4718@bombadil.infradead.org> References: <20180626172900.ufclp2pfrhwkxjco@armageddon.cambridge.arm.com> <20180801174256.5mbyf33eszml4nmu@armageddon.cambridge.arm.com> <20180803150945.GC9297@kroah.com> <20180803164337.GB4718@bombadil.infradead.org> From: Andrey Konovalov Date: Fri, 3 Aug 2018 18:54:57 +0200 Message-ID: Subject: Re: [PATCH v4 0/7] arm64: untag user pointers passed to the kernel Content-Type: text/plain; charset="UTF-8" Sender: owner-linux-mm@kvack.org List-ID: To: Matthew Wilcox Cc: Greg Kroah-Hartman , Catalin Marinas , Mark Rutland , Kate Stewart , linux-doc@vger.kernel.org, Will Deacon , Kostya Serebryany , linux-kselftest@vger.kernel.org, Chintan Pandya , Shuah Khan , Ingo Molnar , linux-arch@vger.kernel.org, Jacob Bramley , Dmitry Vyukov , Evgeniy Stepanov , Kees Cook , Ruben Ayrapetyan , Ramana Radhakrishnan , Al Viro , Linux ARM , Linux Memory Management List , LKML , Lee Smith , Andrew Morton , Robin Murphy , "Kirill A . Shutemov" On Fri, Aug 3, 2018 at 6:43 PM, Matthew Wilcox wrote: > On Fri, Aug 03, 2018 at 05:09:45PM +0200, Greg Kroah-Hartman wrote: >> On Fri, Aug 03, 2018 at 04:59:18PM +0200, Andrey Konovalov wrote: >> > Started looking at this. When I run sparse with default checks enabled >> > (make C=1) I get countless warnings. Does anybody actually use it? >> >> Try using a more up-to-date version of sparse. Odds are you are using >> an old one, there is a newer version in a different branch on kernel.org >> somewhere... > > That's not true. Building the current version of sparse from > git://git.kernel.org/pub/scm/devel/sparse/sparse.git leaves me with a > thousand errors just building the mm/ directory. A sample: I'm running the one from https://github.com/lucvoo/sparse-dev which seems to be even more up to date. Defconfig on x86 gives me ~3000 warnings: https://gist.github.com/xairy/8adace989f64462e18ffb5cb7d096b73