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;
Date:   Wed, 4 Dec 2019 17:28:37 -0500
From:   Dennis Zhou <dennis@kernel.org>
To:     Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Cc:     Dennis Zhou <dennis@kernel.org>, linux-kernel@vger.kernel.org,
        Christoph Lameter <cl@linux.com>, Tejun Heo <tj@kernel.org>,
        Nicholas Piggin <npiggin@gmail.com>,
        Ben Dooks <ben.dooks@codethink.co.uk>
Subject: Re: [PATCH v2] fix __percpu annotation in asm-generic
Message-ID: <20191204222837.GA51250@dennisz-mbp>
References: <20191204010623.65384-1-luc.vanoostenryck@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20191204010623.65384-1-luc.vanoostenryck@gmail.com>
User-Agent: Mutt/1.12.2 (2019-09-21)
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

On Wed, Dec 04, 2019 at 02:06:23AM +0100, Luc Van Oostenryck wrote:
> The generic implementation of raw_cpu_generic_add_return() is:
> 
>         #define raw_cpu_generic_add_return(pcp, val)            \
>         ({                                                      \
>                 typeof(&(pcp)) __p = raw_cpu_ptr(&(pcp));       \
>                                                                 \
>                 *__p += val;                                    \
>                 *__p;                                           \
>         })
> 
> where the 'pcp' argument is a __percpu lvalue.
> There, the variable '__p' is declared as a __percpu pointer
> the type of the address of 'pcp') but:
> 1) the value assigned to it, the return value of raw_cpu_ptr(), is
>    a plain (__kernel) pointer, not a __percpu one.
> 2) this variable is dereferenced just after while a __percpu
>    pointer is implicitly __noderef.
> 
> So, fix the declaration of the 'pcp' variable to its correct type:
> the plain (non-percpu) pointer corresponding to pcp's address,
> using the fact that typeof() ignores the address space and the
> 'noderef' attribute of its agument.
> 
> Same for raw_cpu_generic_xchg(), raw_cpu_generic_cmpxchg() &
> raw_cpu_generic_cmpxchg_double().
> 
> This removes 209 warnings on ARM, 525 on ARM64, 220 on x86 &
> more than 2600 on ppc64 (all of them with the default config).
> 
> Cc: Dennis Zhou <dennis@kernel.org>
> Cc: Christoph Lameter <cl@linux.com>
> Cc: Tejun Heo <tj@kernel.org>
> Cc: Nicholas Piggin <npiggin@gmail.com>
> Reported-by: Ben Dooks <ben.dooks@codethink.co.uk>
> Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
> ---
> 
> Change since v1:
> * use the fact that typeof() ignore the address space of its argument.
> 
>  include/asm-generic/percpu.h | 10 +++++-----
>  1 file changed, 5 insertions(+), 5 deletions(-)
> 
> diff --git a/include/asm-generic/percpu.h b/include/asm-generic/percpu.h
> index c2de013b2cf4..35e4a53b83e6 100644
> --- a/include/asm-generic/percpu.h
> +++ b/include/asm-generic/percpu.h
> @@ -74,7 +74,7 @@ do {									\
>  
>  #define raw_cpu_generic_add_return(pcp, val)				\
>  ({									\
> -	typeof(&(pcp)) __p = raw_cpu_ptr(&(pcp));			\
> +	typeof(pcp) *__p = raw_cpu_ptr(&(pcp));				\
>  									\
>  	*__p += val;							\
>  	*__p;								\
> @@ -82,7 +82,7 @@ do {									\
>  
>  #define raw_cpu_generic_xchg(pcp, nval)					\
>  ({									\
> -	typeof(&(pcp)) __p = raw_cpu_ptr(&(pcp));			\
> +	typeof(pcp) *__p = raw_cpu_ptr(&(pcp));				\
>  	typeof(pcp) __ret;						\
>  	__ret = *__p;							\
>  	*__p = nval;							\
> @@ -91,7 +91,7 @@ do {									\
>  
>  #define raw_cpu_generic_cmpxchg(pcp, oval, nval)			\
>  ({									\
> -	typeof(&(pcp)) __p = raw_cpu_ptr(&(pcp));			\
> +	typeof(pcp) *__p = raw_cpu_ptr(&(pcp));				\
>  	typeof(pcp) __ret;						\
>  	__ret = *__p;							\
>  	if (__ret == (oval))						\
> @@ -101,8 +101,8 @@ do {									\
>  
>  #define raw_cpu_generic_cmpxchg_double(pcp1, pcp2, oval1, oval2, nval1, nval2) \
>  ({									\
> -	typeof(&(pcp1)) __p1 = raw_cpu_ptr(&(pcp1));			\
> -	typeof(&(pcp2)) __p2 = raw_cpu_ptr(&(pcp2));			\
> +	typeof(pcp1) *__p1 = raw_cpu_ptr(&(pcp1));			\
> +	typeof(pcp2) *__p2 = raw_cpu_ptr(&(pcp2));			\
>  	int __ret = 0;							\
>  	if (*__p1 == (oval1) && *__p2  == (oval2)) {			\
>  		*__p1 = nval1;						\
> -- 
> 2.24.0
> 

I've applied this for-5.6.

Thanks,
Dennis