Received: by 2002:a25:6193:0:0:0:0:0 with SMTP id v141csp540896ybb; Sat, 28 Mar 2020 05:04:12 -0700 (PDT) X-Google-Smtp-Source: ADFU+vvF0S7qLQuGFpS4W5L8i8hkPh1cH2uJM9n3T40YD8jfEIeAdW1o0FCTWmxaSXMu3AItOJ/P X-Received: by 2002:aca:55ce:: with SMTP id j197mr2114725oib.84.1585397052349; Sat, 28 Mar 2020 05:04:12 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1585397052; cv=none; d=google.com; s=arc-20160816; b=WtiWPzD2Vuz/ozBH79B1gzHukIy6tv8IlA0IH3xhMP8sNdA+j5OO7WNfCFBUeMdYEx +kKvGLGV1hmyxJxJflBIEeAguOE5HcUAynOTeZXGSQwAqD8D9FOG/zu5AOSaLFzDFVhB i2vDFhZbo11fH0j0DiJsxShUJLUTQQs+Qn2mNdkrk3EeIVMyoprNIDRDhCalcQDMRsBD 2bzHNo/vpIe3W4tDnAb8XRAzWW55/iSelfM6Ejup8Ib1aIh/VzV5Wnk3FbF78G7vS946 baJJeW4SwNxhqH5vEcuMIMhyDdjR4UeaihWm9g6FaUAy58eGN/ZP+ziyQdFYXJ2CP4st irLQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:mime-version:user-agent:references :message-id:in-reply-to:subject:cc:to:date:from:dkim-signature; bh=TOXUkQN2027AZH96CjlVUs+n2JwB3/4ogugbaHuDQRI=; b=CqR+l1rwYCvozTRxyxyTtzIPwgSw7V/DnK2uQWWyjIeFXS+H8Co3D41u7HPQMRI70j yo4kDWxSJruF2k//10k8YKLrvM9uMKZOmsEdUe/nZUMVP0c4mH2jIa+2cdfV7izdqoxw SiTsUHYuzjMa+PWgt/984cK1ARSlBEBNd0WqAh24oqtji7LgsItyyjgNW5NM1WoXDhav Tmc1pF19mf+SYXzva47GSx9OyxySv6PP48Lf1hzwcoitvrGiZo/Zlp3d4SASJPGWiN3s mvs9b3pXVYZDq4kcbzcXzqB7xYOinhsv/U3HVAnnyyWCW0ttGByynHFVrdhueh0mliaV uYuw== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=tMm4fcG6; 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=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id j12si3873456otq.21.2020.03.28.05.03.58; Sat, 28 Mar 2020 05:04:12 -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=@gmail.com header.s=20161025 header.b=tMm4fcG6; 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=QUARANTINE dis=NONE) header.from=gmail.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1726482AbgC1MC2 (ORCPT + 99 others); Sat, 28 Mar 2020 08:02:28 -0400 Received: from mail-wm1-f65.google.com ([209.85.128.65]:52692 "EHLO mail-wm1-f65.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726268AbgC1MC1 (ORCPT ); Sat, 28 Mar 2020 08:02:27 -0400 Received: by mail-wm1-f65.google.com with SMTP id z18so14437646wmk.2 for ; Sat, 28 Mar 2020 05:02:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:date:to:cc:subject:in-reply-to:message-id:references :user-agent:mime-version; bh=TOXUkQN2027AZH96CjlVUs+n2JwB3/4ogugbaHuDQRI=; b=tMm4fcG6OmC/yLdufkbKVhFa4BHp2ko5EeZc5etiSWBUXg1sjIDbfnkrXByRjo440C xjuiaJCEwq0fbKImyopOKdR7Rmw7xz+tZJgyxTxIRNBdwKCQotJhP0InJVI1Ez3FCE+z GZczKoTZTh4IPSmD+Uc1bKOaPmbfK+TpdzNm+nzg1mOUfJlXwqN8GZOYBtKgMoHvaVbi /0hCOuoUoG9u2SUmzxtCKEhaudVag19+XozepaVd6YMz+/DxWSPqiU5po/c9wS6KM64M D+FyYxr7Dv1YLRv7Ldi7hedRLqEjq0wApo2lf8rggnov1qW6UVn13xP0MQvc9qBlQ77b SS9w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:date:to:cc:subject:in-reply-to:message-id :references:user-agent:mime-version; bh=TOXUkQN2027AZH96CjlVUs+n2JwB3/4ogugbaHuDQRI=; b=Wk8mXJrVdVUcD2B2VSMBF+ipi4mbXymiLdCZQ2FAb70BYfMAnzGzaBzsy5DyxPZCzw 9yxmKFzlsmKKSkMxHsidzLnGCIBzqcKp0RtpOP7gA45jC2Ux1dir9ltBPTqwaY8B3svB 0Tppt1FHDtoVOGLJjB9jhul98ll1Ynkup9V29h98Xri3Y8EW8Q59bHDHjOGBabHOtVZh Uxi1E+0rVUnQ60UlwyjdHNFE1jRmwCcDdn1qM8IJx5jxhDnTJ28u3BxCBc2NIbYLEQVS pXIs8hxBSGLUgwb+silB+w0fKB+n2vIe+bchvAg3zOGBIm325lBJ65LCcbGm70lu1NXB vDfw== X-Gm-Message-State: ANhLgQ2v4xCigCgaBpNefixWRo0aGQsRl7omdf53RPuKHxzLSgVy25lT I/4kezon5AGihFQg3hJ7xQ== X-Received: by 2002:a1c:f407:: with SMTP id z7mr3406345wma.36.1585396946378; Sat, 28 Mar 2020 05:02:26 -0700 (PDT) Received: from ninjahost.lan (host-92-23-82-35.as13285.net. [92.23.82.35]) by smtp.gmail.com with ESMTPSA id l12sm12439504wrt.73.2020.03.28.05.02.25 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 28 Mar 2020 05:02:25 -0700 (PDT) From: Jules Irenge X-Google-Original-From: Jules Irenge Date: Sat, 28 Mar 2020 12:02:14 +0000 (GMT) To: Thomas Gleixner cc: Jules Irenge , julia.lawall@lip6.fr, boqun.feng@gmail.com, Jules Irenge , Peter Zijlstra , Ingo Molnar , Will Deacon , "open list:LOCKING PRIMITIVES" Subject: Re: [PATCH 01/10] locking/rtmutex: Remove Comparison to bool In-Reply-To: <87y2rkwwf5.fsf@nanos.tec.linutronix.de> Message-ID: References: <20200327212358.5752-1-jbi.octave@gmail.com> <20200327212358.5752-2-jbi.octave@gmail.com> <87y2rkwwf5.fsf@nanos.tec.linutronix.de> User-Agent: Alpine 2.21.1 (LNX 202 2017-01-01) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Sat, 28 Mar 2020, Thomas Gleixner wrote: > Jules Irenge writes: > > > From: Jules Irenge > > > > Coccinelle reports a warning inside rt_mutex_slowunlock() > > > > WARNING: Comparison to bool > > > > To fix this, the comparison to bool is removed > > This not only fixes the issue but also removes the unnecessary comparison. > > > > Remove comparison to bool > > So you explain 3 times in different ways that the comparison to bool is > removed. What's the point? > > Thanks, > > tglx > > > Thanks for the feedback I take good note. I will improve next time.