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:   Sat, 16 Oct 2021 10:04:55 +0300
From:   Dan Carpenter <dan.carpenter@oracle.com>
To:     Nathan Chancellor <nathan@kernel.org>
Cc:     Greg Kroah-Hartman <gregkh@linuxfoundation.org>,
        Nick Desaulniers <ndesaulniers@google.com>,
        linux-staging@lists.linux.dev, linux-kernel@vger.kernel.org,
        llvm@lists.linux.dev
Subject: Re: [PATCH] staging: wlan-ng: Avoid bitwise vs logical OR warning in
 hfa384x_usb_throttlefn()
Message-ID: <20211016070455.GT8429@kadam>
References: <20211014215703.3705371-1-nathan@kernel.org>
 <20211015094344.GQ8429@kadam>
 <YWm2oVk9YKzjhYYi@archlinux-ax161>
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <YWm2oVk9YKzjhYYi@archlinux-ax161>
User-Agent: Mutt/1.9.4 (2018-02-28)
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?v8mFs4lUAH3QQRdihVzbrvJnzIJ+Sici6TwD0yVHJCwLpnXGSvYVSiWdc+ot?=
 =?us-ascii?Q?ox5HwDySmXEPNLN5C6gEU450gIlUOryrTOk6mNWfHAHQJmU3rS9YH19+AmDi?=
 =?us-ascii?Q?69Xq+SecBDXj4n1Ai8CwOYNvvxyAcGMXCc1w4uur4lD9x4PqbDxBYoqwaQ2f?=
 =?us-ascii?Q?EnhmY1bHIj5DGZXXhq9W+ALcpvukOBhWXQY3oxMX+DM724ygl+qntRDN0yp5?=
 =?us-ascii?Q?J1nMzRVD4qxbaPX6U84gyzzojYi/vkqkRndYIRItqyMDKU1AX+JLvrLRLHGx?=
 =?us-ascii?Q?nnUkqta4bMFZI8NQNVlnSZykCcFvx9dhKeUZSlr/BhtXGRqXLmC9QgGhd44N?=
 =?us-ascii?Q?CwQ6VExQr/5sEjTPddSgojYMuVCNvNX/s7tGkXcJoNfeDtK187HSjkQb199K?=
 =?us-ascii?Q?inqcb1A9Caxvfl6szrrD1vYp+RIOH/LiJzWyR2HA0FxGWXvcTmjM2viTJ40t?=
 =?us-ascii?Q?41Lgrsu/U0VPKEo5RiIrUuQH5btvogQ8x9guaYmTVHB+Ni1TdWIs77wTpbmp?=
 =?us-ascii?Q?IGeSwo1uCqRDKTHbdzW3Cc7YrnSAQ+RdDZZC1/hGm/Q3xmkV1kDjrp0WzOcK?=
 =?us-ascii?Q?VMQ6+jAtnDHJSxFPwDFbVuOJca877FCC+VPraq1TdltwPyBqYxXXTzJfdtYB?=
 =?us-ascii?Q?4zBJGhC/vjGri0nqmYCpvGn1JIdN5C3GZeocuyGn/5+jWtFtqTylTa8AoMVx?=
 =?us-ascii?Q?qMgIteh+HiUkA25ueINIh0cOU4+iHc1iRdYhLFRgfpoFuLYlrc7uWcOA4OZV?=
 =?us-ascii?Q?eXCb4NKR6NnyIGhxn3bp1DOCgw2j1t6a98B6fXMS+kWV+E3FMl1G+8aEc7dF?=
 =?us-ascii?Q?Pu7WNrCGnCoA4W9wepXmj+I3dXKzH+lbwvZh1P+z3SyFsbtophLYWXTbaVj+?=
 =?us-ascii?Q?/d55yVQlDjDBnzTMUkg+QlZ7Ej2cNfYbPzQIMLkqdYAi7EP/KqOqFNjBkmcc?=
 =?us-ascii?Q?Yh/0eBMGRgiZOgugL5V6mijxQZQReiecQSUNbtc/Lrt4ZP1coLYYCWU+fOTN?=
 =?us-ascii?Q?cc3Td0VbzF1eJDEFG6lGMl9YsnEavVHwepIMcF4JMP1JH7PjxKp2Q1slX7Rc?=
 =?us-ascii?Q?0nyEr6w4tiKW9EeMkvIff9O7G1iwl8LVj5fVzfaFA/UTBgwu8dysdzh1utfp?=
 =?us-ascii?Q?id83DS4VOpLt8HHtfHTbCF6Zq8r6ZC1g6s2Bwpb8LQfAg0WZEcWjZ3W8HyLE?=
 =?us-ascii?Q?nsMd32nIFwkhviEAZpgtQDawsDkyNH5c8qOW3yqrzdkauIiV19fzxyE53PYu?=
 =?us-ascii?Q?lhzyu/eo57f6WWhR4QkR2QgOckCjkwGz+j+Q9f4gyHwjnShwX13puTK4mBA0?=
 =?us-ascii?Q?xWK0pcw6EruY7cRv6Pb7tMOU?=
X-OriginatorOrg: oracle.com
X-MS-Exchange-CrossTenant-Network-Message-Id: e95e530d-22be-4fdd-a790-08d990734c61
X-MS-Exchange-CrossTenant-AuthSource: MWHPR1001MB2365.namprd10.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 16 Oct 2021 07:05:12.9531
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: fI6w8NVkcMccVbOLmnWYUpbFsuf6fO9CY6txIYv8LGdVlidNvscRo2eeOifTVsDwnr6i2I4bWuECYiuNpyliuBwgexpYnlqksudOrvR/g/Q=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: MW4PR10MB5678
X-Proofpoint-Virus-Version: vendor=nai engine=6300 definitions=10138 signatures=668683
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlxlogscore=999 suspectscore=0
 malwarescore=0 bulkscore=0 phishscore=0 adultscore=0 spamscore=0
 mlxscore=0 classifier=spam adjust=0 reason=mlx scancount=1
 engine=8.12.0-2109230001 definitions=main-2110160046
X-Proofpoint-GUID: aCZezv1Iqhz53KLNXkYWDqI7eufU0xWK
X-Proofpoint-ORIG-GUID: aCZezv1Iqhz53KLNXkYWDqI7eufU0xWK
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On Fri, Oct 15, 2021 at 10:13:05AM -0700, Nathan Chancellor wrote:
> On Fri, Oct 15, 2021 at 12:43:44PM +0300, Dan Carpenter wrote:
> > On Thu, Oct 14, 2021 at 02:57:03PM -0700, Nathan Chancellor wrote:
> > > A new warning in clang points out a place in this file where a bitwise
> > > OR is being used with boolean expressions:
> > > 
> > > In file included from drivers/staging/wlan-ng/prism2usb.c:2:
> > > drivers/staging/wlan-ng/hfa384x_usb.c:3787:7: warning: use of bitwise '|' with boolean operands [-Wbitwise-instead-of-logical]
> > >             ((test_and_clear_bit(THROTTLE_RX, &hw->usb_flags) &&
> > >             ~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> > > drivers/staging/wlan-ng/hfa384x_usb.c:3787:7: note: cast one or both operands to int to silence this warning
> > > 1 warning generated.
> > 
> > Both sides of this bitwise OR are bool, so | and || are equivalent
> > logically.  Clang should not warn about it.
> 
> I do not disagree. The original motivation for the warning was code like
> 
> if (a() & b())
> 
> where a '&&' was intended to short circuit the call to b() if a() was
> false but then it expanded to encompass bitwise OR as well. The clang
> developers felt that warning on bitwise OR was worthwhile because most
> of the time, '||' was intended. Feel free to comment on the Phabricator
> thread if you feel strongly, there are not too many instances of this
> warning and I think the '&' vs '&&' aspect of the warning is useful.

Of course, this was a Smatch check early on.  Bool is almost all style
debates and false positives.  I didn't see a lot of short circuiting
bugs in the kernel.

But I'm not going to tell people how to live their lifes if they want to
spend it debating coding style.  (Unless it's GCC's brain dead unsigned
comparison warnings where it tells everyone to make their iterators
unsigned int and leads to a lot bugs and ugly code).

regards,
dan carpenter