Received: by 2002:a25:8b91:0:0:0:0:0 with SMTP id j17csp695330ybl; Sat, 18 Jan 2020 08:57:04 -0800 (PST) X-Google-Smtp-Source: APXvYqxxfwO8rCniwuMG4OASDoZcJiXVq+o8MbPQ28KGlTkvcKVzN8tnwK6o0dmme0d2FCGKRVVF X-Received: by 2002:aca:1801:: with SMTP id h1mr7868363oih.16.1579366623909; Sat, 18 Jan 2020 08:57:03 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1579366623; cv=none; d=google.com; s=arc-20160816; b=GMX14Myh+/Zv7g5bpY3XDO6iQg8fU0kp/y6nCjxExKzY9xR+Ew67q/MQgrLXmgTqqQ xnz6O8PdyNSEfkZgeKkbrnq6zxuJWfIbCHYYM05e9uTycbLkncPzoFRlmTNESzL8hC0H flItGE9C3L6z/wT3BLgbl10SIQjK3lDKM8SJgPadHvfE7FgxjyCQga69aSLcSO5pAAq6 Mh1H8qHkv2qmiMxoDypbydr0PY8X5hUeRYCNHy0W7x6vMII/1OGBzi4DQ+8nMxQ+gEax kDDD4GW+fQ+ZAD09JgU6o0SCAT3vBarMTo51gb1OVZ3JsikxoKXAGEV1Xn/x9RtYuHEU zsMg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:content-transfer-encoding:mime-version :message-id:date:subject:cc:to:from:dkim-signature; bh=pHjwyacvYMGoFpBb1ji3Ywgw20nYhNtNHuaRMfwxOs0=; b=UAcsRxuSKY2zt+FpQ2Rr7TDJLX+YzZQ8Ef5iA3R3vWzv29W2zoLymzgy9DMwxSY6Bn 7iBW4SM5vD/M+3QU+TdqYqRV2o3dZrRyR5D354dlO+on6fC1vPECzseKlaNW2YQ3wM6i n5It86bla6b8dEjYCCa/rtbyUtOzu5gchDxuZscJd2vzqWMCm5HQyfN970kbqhFLSeE8 pO2L8QOHbFUMCz5gBgeqD/1f41F8SQWJImR1etOcRnLsOKCPhebBcJYlMpSHKEdXCqBx ewGsZK66uJg1idHhKCZFw1wA4ic79cz73jQAB8oSAzXEjcS7dgKvgJYew+pPruE4/OBy ZvQw== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="Cuzk/v2r"; 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 w26si17591101otp.239.2020.01.18.08.56.51; Sat, 18 Jan 2020 08:57:03 -0800 (PST) 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="Cuzk/v2r"; 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 S1726658AbgARQz7 (ORCPT + 99 others); Sat, 18 Jan 2020 11:55:59 -0500 Received: from mail-pg1-f195.google.com ([209.85.215.195]:41750 "EHLO mail-pg1-f195.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726413AbgARQz7 (ORCPT ); Sat, 18 Jan 2020 11:55:59 -0500 Received: by mail-pg1-f195.google.com with SMTP id x8so13254295pgk.8; Sat, 18 Jan 2020 08:55:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=pHjwyacvYMGoFpBb1ji3Ywgw20nYhNtNHuaRMfwxOs0=; b=Cuzk/v2rmZxlFbH1iwUh1jcfOyH4GZH0PoB4rDQhzMC2VZ2cGsxXT9sS8GasXDNIrs AlkuBGsxK98YSd2RFM9FbmvQRmcTlP7ka5xpTSFIeeSrSSB66mfDh23S31ELk/vz4em7 Xihf1bM4Akxd0ppex6SP3ivSR/QIiC4evnsYdRjidZDmg3g13H2z9RfxAFCd3QM8WZIS Cq7lun7KzCXChlt7+hGEnCInXMEwtm4YUQ6DjASR/NR4W+yeyH/xYjuSlbzcM6aCIsHe XpqFLy0aLpOkeieWgjx5Pgg1S5JSnNp1SuLaCeskvY7Kiw2ZYUptTRgjfjWB331VY5Ki eluA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=pHjwyacvYMGoFpBb1ji3Ywgw20nYhNtNHuaRMfwxOs0=; b=bvbU63ask1hhNH0MQbOPyHbs8fhhvkCXR6kqVp4dSUo81kS+g2MIsD9QKOQuQKX3n1 2w/uQU9pdawuFX2Dqcbex5/YV9PxRy1sdF12gUCEubInmyl4fYu5X9KBjeIkdtGE0RMJ CQv/to1HRQxC92FjBa+9dZn1uA1VLIG34bQ/ZrAmeKigg6kvddKlGny9RJMjE04n5lCu +8LbJReRiR+MCSwtgkk0oT0vG4XeLdOwuvSeLhVJRo4or7AgjdP3CHZtf3CtrSAfMx/x YCi6oRRWkohDMjvdPJA5OKhVaQo+vv9hWBidkycxfr7gKP/jqYWkiUzRd4sIETkNSxh3 TSRQ== X-Gm-Message-State: APjAAAUt+4RpRfrcuAX/3LfGljpk6u///z55l/HXmoO7xKycSB254scc +tFnmr3/MAGqJRl+gOz9jt6FaxD8 X-Received: by 2002:aa7:80c5:: with SMTP id a5mr8989492pfn.53.1579366558488; Sat, 18 Jan 2020 08:55:58 -0800 (PST) Received: from localhost.localdomain ([146.196.37.181]) by smtp.googlemail.com with ESMTPSA id s7sm12389009pjk.22.2020.01.18.08.55.55 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 18 Jan 2020 08:55:58 -0800 (PST) From: Amol Grover To: "Paul E. McKenney" , Josh Triplett , Steven Rostedt , Mathieu Desnoyers , Lai Jiangshan , Joel Fernandes Cc: rcu@vger.kernel.org, linux-kernel@vger.kernel.org, linux-kernel-mentees@lists.linuxfoundation.org, Madhuparna Bhowmik , Amol Grover Subject: [PATCH] rculist: Add brackets around cond argument in __list_check_rcu macro Date: Sat, 18 Jan 2020 22:24:18 +0530 Message-Id: <20200118165417.12325-1-frextrite@gmail.com> X-Mailer: git-send-email 2.24.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Passing a complex lockdep condition to __list_check_rcu results in false positive lockdep splat due to incorrect expression evaluation. For example, a lockdep check condition `cond1 || cond2` is evaluated as `!cond1 || cond2 && !rcu_read_lock_any_held()` which, according to operator precedence, evaluates to `!cond1 || (cond2 && !rcu_read_lock_any_held())`. This would result in a lockdep splat when cond1 is false and cond2 is true which is logically incorrect. Signed-off-by: Amol Grover --- include/linux/rculist.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/include/linux/rculist.h b/include/linux/rculist.h index 4158b7212936..dce491f0b354 100644 --- a/include/linux/rculist.h +++ b/include/linux/rculist.h @@ -50,9 +50,9 @@ static inline void INIT_LIST_HEAD_RCU(struct list_head *list) #define __list_check_rcu(dummy, cond, extra...) \ ({ \ check_arg_count_one(extra); \ - RCU_LOCKDEP_WARN(!cond && !rcu_read_lock_any_held(), \ + RCU_LOCKDEP_WARN(!(cond) && !rcu_read_lock_any_held(), \ "RCU-list traversed in non-reader section!"); \ - }) + }) #else #define __list_check_rcu(dummy, cond, extra...) \ ({ check_arg_count_one(extra); }) -- 2.24.1