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:   Sun, 7 Jun 2020 18:24:28 -0700
From:   Andrew Morton <akpm@linux-foundation.org>
To:     Joe Perches <joe@perches.com>
Cc:     Yann Collet <cyan@fb.com>, Vasily Averin <vvs@virtuozzo.com>,
        Gao Xiang <hsiangkao@aol.com>,
        "linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>,
        Gao Xiang <xiang@kernel.org>
Subject: Re: [PATCH] lib/lz4: smatch warning in LZ4_decompress_generic()
Message-Id: <20200607182428.0d9ce5139b9ab4f36eefca1b@linux-foundation.org>
In-Reply-To: <3bf931c6ea0cae3e23f3485801986859851b4f04.camel@perches.com>
References: <20200606143646.GB10839.ref@hsiangkao-HP-ZHAN-66-Pro-G1>
        <20200606143646.GB10839@hsiangkao-HP-ZHAN-66-Pro-G1>
        <330eccf1-6d4b-07dd-4e55-ffe3a179e4b8@virtuozzo.com>
        <D4762145-BBC5-4574-BF68-8C1A3AF41D98@fb.com>
        <3bf931c6ea0cae3e23f3485801986859851b4f04.camel@perches.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

On Sun, 07 Jun 2020 18:02:44 -0700 Joe Perches <joe@perches.com> wrote:

> On Mon, 2020-06-08 at 00:40 +0000, Yann Collet wrote:
> > Hi Vasily
> > 
> > 
> > If I do understand the discussion, the question is about usage of `&` instead of `&&`,
> > and the speculation that it might be an error.
> > 
> > It's not an error. Unfortunately, explaining the reasoning behind this decision is a bit long.
> 
> Likely better to add a comment around the use so that
> another patch like this doesn't get submitted again.
> 
> Perhaps something like:

Yup.


From: Joe Perches <joe@perches.com>
Subject: lib/lz4/lz4_decompress.c: document deliberate use of `&'

This operation was intentional, but tools such as smatch will warn that it
might not have been.

Link: http://lkml.kernel.org/r/3bf931c6ea0cae3e23f3485801986859851b4f04.camel@perches.com
Cc: Yann Collet <cyan@fb.com>
Cc: Vasily Averin <vvs@virtuozzo.com>
Cc: Gao Xiang <hsiangkao@aol.com>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
---

 lib/lz4/lz4_decompress.c |    3 +++
 1 file changed, 3 insertions(+)

--- a/lib/lz4/lz4_decompress.c~lib-lz4-smatch-warning-in-lz4_decompress_generic
+++ a/lib/lz4/lz4_decompress.c
@@ -141,6 +141,9 @@ static FORCE_INLINE int LZ4_decompress_g
 		 * space in the output for those 18 bytes earlier, upon
 		 * entering the shortcut (in other words, there is a
 		 * combined check for both stages).
+		 *
+		 * The & in the likely() below is intentionally not && so that
+		 * some compilers can produce better parallelized runtime code
 		 */
 		if ((endOnInput ? length != RUN_MASK : length <= 8)
 		   /*
_