Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18;
Date:   Tue, 17 Nov 2020 10:28:04 -0800
From:   Jakub Kicinski <kuba@kernel.org>
To:     Antoine Tenart <atenart@kernel.org>
Cc:     Andrew Lunn <andrew@lunn.ch>,
        Antoine Tenart <antoine.tenart@bootlin.com>,
        Florian Fainelli <f.fainelli@gmail.com>,
        Heiner Kallweit <hkallweit1@gmail.com>,
        Julia Lawall <julia.lawall@inria.fr>,
        Russell King <linux@armlinux.org.uk>,
        Quentin Schulz <quentin.schulz@bootlin.com>,
        kernel test robot <lkp@intel.com>, kbuild-all@lists.01.org,
        linux-kernel@vger.kernel.org, Denis Efremov <efremov@linux.com>,
        netdev@vger.kernel.org
Subject: Re: [PATCH v2] net: phy: mscc: fix excluded_middle.cocci warnings
Message-ID: <20201117102804.5c20be05@kicinski-fedora-PC1C0HJN.hsd1.ca.comcast.net>
In-Reply-To: <160556130103.369564.5641893167437988724@surface.local>
References: <alpine.DEB.2.22.394.2011161633240.2682@hadrien>
        <160556130103.369564.5641893167437988724@surface.local>
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Precedence: bulk

On Mon, 16 Nov 2020 22:15:01 +0100 Antoine Tenart wrote:
> Quoting Julia Lawall (2020-11-16 16:34:44)
> > From: kernel test robot <lkp@intel.com>
> > 
> > Condition !A || A && B is equivalent to !A || B.
> > 
> > Generated by: scripts/coccinelle/misc/excluded_middle.cocci
> > 
> > Fixes: b76f0ea01312 ("coccinelle: misc: add excluded_middle.cocci script")
> > CC: Denis Efremov <efremov@linux.com>
> > Reported-by: kernel test robot <lkp@intel.com>
> > Signed-off-by: kernel test robot <lkp@intel.com>
> > Signed-off-by: Julia Lawall <julia.lawall@inria.fr>  
> 
> Reviewed-by: Antoine Tenart <atenart@kernel.org>

Applied, thanks!