Linux kernel mirror (for testing) git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel os linux

lib: zstd: Add cast to silence clang's -Wbitwise-instead-of-logical

A new warning in clang warns that there is an instance where boolean
expressions are being used with bitwise operators instead of logical
ones:

lib/zstd/decompress/huf_decompress.c:890:25: warning: use of bitwise '&' with boolean operands [-Wbitwise-instead-of-logical]
(BIT_reloadDStreamFast(&bitD1) == BIT_DStream_unfinished)
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

zstd does this frequently to help with performance, as logical operators
have branches whereas bitwise ones do not.

To fix this warning in other cases, the expressions were placed on
separate lines with the '&=' operator; however, this particular instance
was moved away from that so that it could be surrounded by LIKELY, which
is a macro for __builtin_expect(), to help with a performance
regression, according to upstream zstd pull #1973.

Aside from switching to logical operators, which is likely undesirable
in this instance, or disabling the warning outright, the solution is
casting one of the expressions to an integer type to make it clear to
clang that the author knows what they are doing. Add a cast to U32 to
silence the warning. The first U32 cast is to silence an instance of
-Wshorten-64-to-32 because __builtin_expect() returns long so it cannot
be moved.

Link: https://github.com/ClangBuiltLinux/linux/issues/1486
Link: https://github.com/facebook/zstd/pull/1973
Reported-by: Nick Desaulniers <ndesaulniers@google.com>
Signed-off-by: Nathan Chancellor <nathan@kernel.org>
Signed-off-by: Nick Terrell <terrelln@fb.com>

authored by

Nathan Chancellor and committed by
Nick Terrell
0a8ea235 a99a65cf

+1 -1
+1 -1
lib/zstd/decompress/huf_decompress.c
··· 886 886 HUF_DECODE_SYMBOLX2_0(op2, &bitD2); 887 887 HUF_DECODE_SYMBOLX2_0(op3, &bitD3); 888 888 HUF_DECODE_SYMBOLX2_0(op4, &bitD4); 889 - endSignal = (U32)LIKELY( 889 + endSignal = (U32)LIKELY((U32) 890 890 (BIT_reloadDStreamFast(&bitD1) == BIT_DStream_unfinished) 891 891 & (BIT_reloadDStreamFast(&bitD2) == BIT_DStream_unfinished) 892 892 & (BIT_reloadDStreamFast(&bitD3) == BIT_DStream_unfinished)