Received: by 2002:a25:ad19:0:0:0:0:0 with SMTP id y25csp638369ybi;
        Wed, 3 Jul 2019 02:18:30 -0700 (PDT)
X-Google-Smtp-Source: APXvYqxDxnqiQlZ6329nuFsq1knWTFyFUM36S5b3AkbfudnuJr7ga/4n0udmUadNP+roxS7A6a3P
X-Received: by 2002:a17:90a:9281:: with SMTP id n1mr11145822pjo.25.1562145510725;
        Wed, 03 Jul 2019 02:18:30 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; t=1562145510; cv=none;
        d=google.com; s=arc-20160816;
        b=zQVXQ9Cxg7w/88i8LA95kTyA8kqMsQDuP3CheRBje5n723Blb7k3uFqWWIBibhfUCk
         CEIylajw/klIbkz+lpyAUf2+0GWgP4JrGrwZVnzfaz18cyqHHsJTlqIWy1Z4v58Sgi5g
         mDx9aey7WDG8GU4RB4GoGerc5uifkVf/gGpbP60hoykkGOBhTa7XpKLbR77AaVLn2pcI
         gHOGbPqlVb8gPOtdMob5Y95SNsTWy5SeXfYeEtPlr01IAkQ9nF36uKWIDm9SP3hCFlkX
         6ZUN5YQv5hQv1I6piZNgjbEJ2PYMcBVGllP9D/3Dxo2qE7i7X1El6U2btBeyMGLcEdCZ
         hMEg==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816;
        h=list-id:precedence:sender:user-agent:in-reply-to
         :content-disposition:mime-version:references:message-id:subject:cc
         :to:from:date:dkim-signature;
        bh=bgRaZxNi66RigR0Z4LwJ+NQ12cl6emvXJcE33TVHS88=;
        b=mNs7SpmNshOsduqvzOt1gu18S9xHyYTSIOm9AtHGff/2ahR4r/+Up8FiNEm0ag1WWV
         zDg6zmk0N3OfIcH6pnvunfzUNZL9NhSoUcwFEbvs18lHenmVZOV1yy9tWqbfAXcxWSrP
         EKPX1uYLlvgQM1YQoOpI52mQUvl5Sj6u8O+wvaZFJ4rpmXrCoMOUsRg6uK62X3+nhoMv
         p2I4vPEhILCSC5r4IKincWh6GB5/ejRJ4TxfxnrbwJ4wponMqZIc32S+ZBdOyM2p8qXY
         TZHwSQQYqkjUy89+4HL94SCMFvWvgWko/+ZP8rvfOHS1U3kDG7MB3dhbrOFwVAlPhd/6
         d4pg==
ARC-Authentication-Results: i=1; mx.google.com;
       dkim=pass header.i=@kernel.org header.s=default header.b=TfPa+hxX;
       spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org;
       dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org
Return-Path: <linux-kernel-owner@vger.kernel.org>
Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67])
        by mx.google.com with ESMTP id k22si1902668pfk.90.2019.07.03.02.18.15;
        Wed, 03 Jul 2019 02:18:30 -0700 (PDT)
Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67;
Authentication-Results: mx.google.com;
       dkim=pass header.i=@kernel.org header.s=default header.b=TfPa+hxX;
       spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org;
       dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
        id S1727349AbfGCJRS (ORCPT <rfc822;kernelgary@gmail.com>
        + 99 others); Wed, 3 Jul 2019 05:17:18 -0400
Received: from mail.kernel.org ([198.145.29.99]:54844 "EHLO mail.kernel.org"
        rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
        id S1727045AbfGCJRS (ORCPT <rfc822;linux-kernel@vger.kernel.org>);
        Wed, 3 Jul 2019 05:17:18 -0400
Received: from willie-the-truck (236.31.169.217.in-addr.arpa [217.169.31.236])
        (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
        (No client certificate requested)
        by mail.kernel.org (Postfix) with ESMTPSA id 3E6622189E;
        Wed,  3 Jul 2019 09:17:16 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org;
        s=default; t=1562145437;
        bh=Hg5W6VICCo9BzbpQFSwcqmSxDvvrpRJduyurYjvoOVo=;
        h=Date:From:To:Cc:Subject:References:In-Reply-To:From;
        b=TfPa+hxXf06h9Xj4zZdAlr5/jj8yCzIiwNgYP9YLngnSKp7sU/Jx0YpS/FrgeV3Pe
         biCdpMGidC7UJF9ifDZcVprwG9+LqhV3djhFOQ4V/AMKIXJJISCVYSK0PIbT6QApU2
         QDrUnI6YPMpepSQrZx4zlTImxdFHzqxxrueayOeA=
Date:   Wed, 3 Jul 2019 10:17:13 +0100
From:   Will Deacon <will@kernel.org>
To:     Nathan Huckleberry <nhuck@google.com>
Cc:     catalin.marinas@arm.com, linux-arm-kernel@lists.infradead.org,
        linux-kernel@vger.kernel.org, clang-built-linux@googlegroups.com
Subject: Re: [PATCH v2] arm64: mm: Fix dead assignment of old_pte
Message-ID: <20190703091712.h6l6yba7ciuv4tin@willie-the-truck>
References: <CAJkfWY4yvVVmJoQ0WwyoFBkWYsUJnnQPNU+-g23-m-L3ETe_hQ@mail.gmail.com>
 <20190702234135.78780-1-nhuck@google.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20190702234135.78780-1-nhuck@google.com>
User-Agent: NeoMutt/20170113 (1.7.2)
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On Tue, Jul 02, 2019 at 04:41:35PM -0700, Nathan Huckleberry wrote:
> When analyzed with the clang static analyzer the
> following warning occurs
> 
> line 251, column 2
> Value stored to 'old_pte' is never read
> 
> This warning is repeated every time pgtable.h is
> included by another file and produces ~3500
> extra warnings.

Does this warning actually trigger with linux-next?

Will