From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-wr1-f46.google.com (mail-wr1-f46.google.com [209.85.221.46]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 4AF813C1985 for ; Wed, 26 Aug 2026 09:55:31 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.221.46 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1787738134; cv=none; b=iTQ3yRWCHYOHhcQ+ahLlrocJdJYd+BeXea/p4UwXXFyswEbPKZth/tGBzu8WxgfUjXdVEzX/f4UbpiHqrUhGt1x+eo6JaXekXfqGMj0ZkXHAwJOHwXw7gUC+gStQqPGrSGKYQFL3lMYof7fViomejXuTBNiT7vgrko2fWVSVaeg= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1787738134; c=relaxed/simple; bh=vKVBgVDkC9p9ib6VLZnEvV0q/NZX0XWkJd+kAZl8gC0=; h=Date:From:To:Cc:Subject:Message-ID:In-Reply-To:References: MIME-Version:Content-Type; b=uIuJ592zwIZd01J4+sEuybavW5/n4XtZQMcsiDX6JHo60Wvb5o8BFfR0lLLb65Y8BmCgADIz6ZQJUL9i27FrgTNFzr4sVsv2KG16YBZQch5r4Aa+q5AjXOUjgRCmUo8fvn0wp2jnse4RoMGk/fzywbyL1ZIetRFWAhoog8z9Fdc= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com; spf=pass smtp.mailfrom=gmail.com; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b=jyK/dWId; arc=none smtp.client-ip=209.85.221.46 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=gmail.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="jyK/dWId" Received: by mail-wr1-f46.google.com with SMTP id ffacd0b85a97d-47fd66a094eso133434f8f.3 for ; Wed, 26 Aug 2026 02:55:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20251104; t=1787738130; x=1788342930; darn=vger.kernel.org; h=content-transfer-encoding:content-type:mime-version:references :in-reply-to:message-id:subject:cc:to:from:date:from:to:cc:subject :date:message-id:reply-to:content-type; bh=6o19Hkqlah4gFMgFOPcHOs0qa4glxgWTSQ80gDs39Yc=; b=jyK/dWIdQaVx2XbcgBBICYbyHd7D4hN6O7w2aGfP/1sJME5fJK6e9ahwyMWmYmh1TG xJX2gimiaMAtIjnq1Be7bUQJKry+yFwtZITwXbBW7/ks2Vq6+2CvmKuOa8/wgGLtUWaA sDCNeKHvvqHDZVTza612OGSN6HqvGa0JqZSCEEpbCeKIyqxPQFdEwrbEOlAKq4bWFsO8 kFguG0/6hmECBLgxhb2SCtxwqL1aP7HbNIpjlw5yZko4NT+EWbqf+ljZ2dpy4a96L4R1 V6pUiEgvDgHkNu5X1b5IWWa0mtmMcECrUpB/tK+CBq+bYhFyaooU2qcVTL/TmLO1Y12n Cv4Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1787738130; x=1788342930; h=content-transfer-encoding:content-type:mime-version:references :in-reply-to:message-id:subject:cc:to:from:date:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to :content-type; bh=6o19Hkqlah4gFMgFOPcHOs0qa4glxgWTSQ80gDs39Yc=; b=CzUpp/pEvm3F2jYeEAt7I6T/u8vv7bZ6uFFEZVLf4EjQfKHRZNFgdpCj1zO8f8dw6R 0G7MQ5dPFvVdt6DdBCpx5MCcnhGQvnkkQUpYRBY2cJABymR4IXINwSTWfXoJhD4tmh4I 0EUqe804S6nr+wFpmKAt6NIrU7wDIQe9jvHBovonKfUDz7k8C+pUY2VL+9B9CK2UGxcI gSiqea09rJXCo1G9rkS50GjwCYeopF8enS8b7O82+bQ/IS13BsYOTe8KZKZY9WZclhek piOw903hfs1lKD28hAzi6e/6AUoEIyHwArei2pH6PdItSGsbqT0GotSp0d11GyhDOhMT D3xg== X-Forwarded-Encrypted: i=1; AHgh+RpcqER0AUV6nsbYxkegUz5eWPuD7my9C2Mshu7ALpt2ciIrYPBe9PIYpl2IVqtFbukRfH+M9tjYIHtHH8Y=@vger.kernel.org X-Gm-Message-State: AFuF++kD+7ywAsUccffYeEhfKkQtsl63D+/ydUOZyaB2ysdIr0afC9oi a/B81jtEP4ybJHOOrC0OaxZN+Wk+oUvzxKybMykfnY7/kcLVUG4DmN/L X-Gm-Gg: AR+sD10R4CVy4TxY8tbrjaavJl//WO6C+JZgKw+LeNAxDKgIkGBkcFkrtYGHhk1l0qw zOutWdxRhNXCz5ll3sHHgcEzLjeJJ7y8GXoJX0ZNTYwQN/AxzP4ubnGvdMmTik7rycH2H+rbXxn 1GcwffEG3zpJmMJNBWrTbpDFoZQC1VJV6Jn6gWSJbn2ReBqCojAkxDg+SdeWGCO1uuoQOBVmQxz TlcpgWI/HsKyr34TgvByKld3igzWS4Y925Hin2LxngPLgFyKTCEWkYfBTya0MHUoNq5gtyDu8L+ uwbQF/8uZ+phynCOROapHw8Hc8mndAjW+ljqyO+kAb3BUZWzUuELbc1s9HEFbqMmCV+1Ij1Sv6T h0IAOxDcWnDVS6xtTCLOSbL7SctYMY4P6c4CyUZHc8761J9YJY2H1dL37voT4K5OaR0X/hrNjPU oMmd1eaxvmSXB0MYWbH+/F+CmDIYna9tPrmU0G5Kpvnyjj+Xx3T3gxKVfiBwTj69vBH9CvaV2gK oEjXJD8RvkvBVTDa7Zofp3VIQ== X-Received: by 2002:a05:6000:228a:b0:481:568e:d6ed with SMTP id ffacd0b85a97d-482e26ba50bmr5626743f8f.15.1787738129797; Wed, 26 Aug 2026 02:55:29 -0700 (PDT) Received: from pumpkin (82-69-66-36.dsl.in-addr.zen.co.uk. [82.69.66.36]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-482e28dc134sm2176581f8f.20.2026.08.26.02.55.29 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 26 Aug 2026 02:55:29 -0700 (PDT) Date: Wed, 26 Aug 2026 10:55:27 +0100 From: David Laight To: Ricardo Ribalda Cc: "Paul E. McKenney" , Frederic Weisbecker , Neeraj Upadhyay , Joel Fernandes , Josh Triplett , Boqun Feng , Uladzislau Rezki , Steven Rostedt , Mathieu Desnoyers , Lai Jiangshan , Zqiang , Thomas Gleixner , Ingo Molnar , Borislav Petkov , Dave Hansen , x86@kernel.org, "H. Peter Anvin" , Dan Carpenter , rcu@vger.kernel.org, linux-kernel@vger.kernel.org Subject: Re: [PATCH 1/2] rcu: Fix casting while dereferencing rcu pointers Message-ID: <20260826105527.7ebbb4b1@pumpkin> In-Reply-To: <20260825-unqual-v1-1-7024fb81b4f9@chromium.org> References: <20260825-unqual-v1-0-7024fb81b4f9@chromium.org> <20260825-unqual-v1-1-7024fb81b4f9@chromium.org> X-Mailer: Claws Mail 4.1.1 (GTK 3.24.38; arm-unknown-linux-gnueabihf) Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit On Tue, 25 Aug 2026 20:02:10 +0000 Ricardo Ribalda wrote: > Recent versions of smatch preserved the address space qualifiers with > typeof()[1]. > > This fix has discovered an invalid casting in rcu dereference logic. > > This patch fixes tens of smatch errors like the following: > ./include/trace/events/vb2.h:46:1: warning: incorrect type in assignment (different address spaces) > ./include/trace/events/vb2.h:46:1: expected struct tracepoint_func *it_func_ptr > ./include/trace/events/vb2.h:46:1: got struct tracepoint_func __rcu * > > [1] https://github.com/error27/smatch/commit/e53027a4e816a772403baafa83c09e4a94c1cb8f > > Signed-off-by: Ricardo Ribalda > --- > include/linux/rcupdate.h | 10 +++++----- > 1 file changed, 5 insertions(+), 5 deletions(-) > > diff --git a/include/linux/rcupdate.h b/include/linux/rcupdate.h > index 44c07a66edff..80276cedda80 100644 > --- a/include/linux/rcupdate.h > +++ b/include/linux/rcupdate.h > @@ -488,7 +488,7 @@ static __always_inline bool lockdep_assert_rcu_helper(bool c, const struct __ctx > context_unsafe( \ > typeof(*p) *local = (typeof(*p) *__force)(p); \ > rcu_check_sparse(p, __rcu); \ > - ((typeof(*p) __force __kernel *)(local)) \ > + ((TYPEOF_UNQUAL(*p) __force __kernel *)(local)) \ Ugg... TYPEOF_UNQUAL() is absolutely horrid... When __CHECKER__ is undefined the whole thing is just (p). I suspect reducing all the definitions would measurably improve kernel compile time (even before these changes). David > ) > /** > * unrcu_pointer - mark a pointer as not being RCU protected > @@ -503,7 +503,7 @@ context_unsafe( \ > ({ \ > typeof(*p) *local = (typeof(*p) *__force)READ_ONCE(p); \ > rcu_check_sparse(p, space); \ > - ((typeof(*p) __force __kernel *)(local)); \ > + ((TYPEOF_UNQUAL(*p) __force __kernel *)(local)); \ > }) ) > #define __rcu_dereference_check(p, local, c, space) \ > ({ \ > @@ -511,19 +511,19 @@ context_unsafe( \ > typeof(*p) *local = (typeof(*p) *__force)READ_ONCE(p); \ > RCU_LOCKDEP_WARN(!(c), "suspicious rcu_dereference_check() usage"); \ > rcu_check_sparse(p, space); \ > - ((typeof(*p) __force __kernel *)(local)); \ > + ((TYPEOF_UNQUAL(*p) __force __kernel *)(local)); \ > }) > #define __rcu_dereference_protected(p, local, c, space) \ > ({ \ > RCU_LOCKDEP_WARN(!(c), "suspicious rcu_dereference_protected() usage"); \ > rcu_check_sparse(p, space); \ > - ((typeof(*p) __force __kernel *)(p)); \ > + ((TYPEOF_UNQUAL(*p) __force __kernel *)(p)); \ > }) > #define __rcu_dereference_raw(p, local) \ > ({ \ > /* Dependency order vs. p above. */ \ > typeof(p) local = READ_ONCE(p); \ > - ((typeof(*p) __force __kernel *)(local)); \ > + ((TYPEOF_UNQUAL(*p) __force __kernel *)(local)); \ > }) > #define rcu_dereference_raw(p) __rcu_dereference_raw(p, __UNIQUE_ID(rcu)) > >