linux-kernel.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
* [PATCH] arm64: percpu: Initialize ret in the default case
@ 2018-09-25 19:44 Nathan Chancellor
  2018-09-25 20:24 ` Nick Desaulniers
  2018-09-25 20:33 ` Dennis Zhou
  0 siblings, 2 replies; 5+ messages in thread
From: Nathan Chancellor @ 2018-09-25 19:44 UTC (permalink / raw)
  To: Dennis Zhou, Tejun Heo, Christoph Lameter, Catalin Marinas, Will Deacon
  Cc: linux-arm-kernel, linux-kernel, Prasad Sodagudi,
	Nick Desaulniers, Nathan Chancellor

Clang warns that if the default case is taken, ret will be
uninitialized.

./arch/arm64/include/asm/percpu.h:196:2: warning: variable 'ret' is used
uninitialized whenever switch default is taken
[-Wsometimes-uninitialized]
        default:
        ^~~~~~~
./arch/arm64/include/asm/percpu.h:200:9: note: uninitialized use occurs
here
        return ret;
               ^~~
./arch/arm64/include/asm/percpu.h:157:19: note: initialize the variable
'ret' to silence this warning
        unsigned long ret, loop;
                         ^
                          = 0

This warning appears several times while building the erofs filesystem.
While it's not strictly wrong, the BUILD_BUG will prevent this from
becoming a true problem. Initialize ret to 0 in the default case right
before the BUILD_BUG to silence all of these warnings.

Reported-by: Prasad Sodagudi <psodagud@codeaurora.org>
Signed-off-by: Nathan Chancellor <natechancellor@gmail.com>
---
 arch/arm64/include/asm/percpu.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/arch/arm64/include/asm/percpu.h b/arch/arm64/include/asm/percpu.h
index 9234013e759e..21a81b59a0cc 100644
--- a/arch/arm64/include/asm/percpu.h
+++ b/arch/arm64/include/asm/percpu.h
@@ -96,6 +96,7 @@ static inline unsigned long __percpu_##op(void *ptr,			\
 		: [val] "Ir" (val));					\
 		break;							\
 	default:							\
+		ret = 0;						\
 		BUILD_BUG();						\
 	}								\
 									\
@@ -125,6 +126,7 @@ static inline unsigned long __percpu_read(void *ptr, int size)
 		ret = READ_ONCE(*(u64 *)ptr);
 		break;
 	default:
+		ret = 0;
 		BUILD_BUG();
 	}
 
@@ -194,6 +196,7 @@ static inline unsigned long __percpu_xchg(void *ptr, unsigned long val,
 		: [val] "r" (val));
 		break;
 	default:
+		ret = 0;
 		BUILD_BUG();
 	}
 
-- 
2.19.0


^ permalink raw reply related	[flat|nested] 5+ messages in thread

* Re: [PATCH] arm64: percpu: Initialize ret in the default case
  2018-09-25 19:44 [PATCH] arm64: percpu: Initialize ret in the default case Nathan Chancellor
@ 2018-09-25 20:24 ` Nick Desaulniers
  2018-09-25 20:29   ` Nick Desaulniers
  2018-09-25 20:35   ` Dennis Zhou
  2018-09-25 20:33 ` Dennis Zhou
  1 sibling, 2 replies; 5+ messages in thread
From: Nick Desaulniers @ 2018-09-25 20:24 UTC (permalink / raw)
  To: Nathan Chancellor
  Cc: dennis, tj, Christoph Lameter, Catalin Marinas, Will Deacon,
	Linux ARM, LKML, psodagud

On Tue, Sep 25, 2018 at 12:45 PM Nathan Chancellor
<natechancellor@gmail.com> wrote:
>
> Clang warns that if the default case is taken, ret will be
> uninitialized.
>
> ./arch/arm64/include/asm/percpu.h:196:2: warning: variable 'ret' is used
> uninitialized whenever switch default is taken
> [-Wsometimes-uninitialized]
>         default:
>         ^~~~~~~
> ./arch/arm64/include/asm/percpu.h:200:9: note: uninitialized use occurs
> here
>         return ret;
>                ^~~
> ./arch/arm64/include/asm/percpu.h:157:19: note: initialize the variable
> 'ret' to silence this warning
>         unsigned long ret, loop;
>                          ^
>                           = 0
>
> This warning appears several times while building the erofs filesystem.
> While it's not strictly wrong, the BUILD_BUG will prevent this from
> becoming a true problem. Initialize ret to 0 in the default case right
> before the BUILD_BUG to silence all of these warnings.

Clang does semantic analysis BEFORE inlining/optimizations, so I can't
determine that default is never reachable.  Nathan, thanks for this
patch.
Reviewed-by: Nick Desaulniers <ndesaulniers@google.com>

>
> Reported-by: Prasad Sodagudi <psodagud@codeaurora.org>
> Signed-off-by: Nathan Chancellor <natechancellor@gmail.com>
> ---
>  arch/arm64/include/asm/percpu.h | 3 +++
>  1 file changed, 3 insertions(+)
>
> diff --git a/arch/arm64/include/asm/percpu.h b/arch/arm64/include/asm/percpu.h
> index 9234013e759e..21a81b59a0cc 100644
> --- a/arch/arm64/include/asm/percpu.h
> +++ b/arch/arm64/include/asm/percpu.h
> @@ -96,6 +96,7 @@ static inline unsigned long __percpu_##op(void *ptr,                  \
>                 : [val] "Ir" (val));                                    \
>                 break;                                                  \
>         default:                                                        \
> +               ret = 0;                                                \
>                 BUILD_BUG();                                            \
>         }                                                               \
>                                                                         \
> @@ -125,6 +126,7 @@ static inline unsigned long __percpu_read(void *ptr, int size)
>                 ret = READ_ONCE(*(u64 *)ptr);
>                 break;
>         default:
> +               ret = 0;
>                 BUILD_BUG();
>         }
>
> @@ -194,6 +196,7 @@ static inline unsigned long __percpu_xchg(void *ptr, unsigned long val,
>                 : [val] "r" (val));
>                 break;
>         default:
> +               ret = 0;
>                 BUILD_BUG();
>         }
>
> --
> 2.19.0
>


-- 
Thanks,
~Nick Desaulniers

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: [PATCH] arm64: percpu: Initialize ret in the default case
  2018-09-25 20:24 ` Nick Desaulniers
@ 2018-09-25 20:29   ` Nick Desaulniers
  2018-09-25 20:35   ` Dennis Zhou
  1 sibling, 0 replies; 5+ messages in thread
From: Nick Desaulniers @ 2018-09-25 20:29 UTC (permalink / raw)
  To: Nathan Chancellor
  Cc: dennis, tj, Christoph Lameter, Catalin Marinas, Will Deacon,
	Linux ARM, LKML, psodagud

On Tue, Sep 25, 2018 at 1:24 PM Nick Desaulniers
<ndesaulniers@google.com> wrote:
>
> On Tue, Sep 25, 2018 at 12:45 PM Nathan Chancellor
> <natechancellor@gmail.com> wrote:
> >
> > Clang warns that if the default case is taken, ret will be
> > uninitialized.
> >
> > ./arch/arm64/include/asm/percpu.h:196:2: warning: variable 'ret' is used
> > uninitialized whenever switch default is taken
> > [-Wsometimes-uninitialized]
> >         default:
> >         ^~~~~~~
> > ./arch/arm64/include/asm/percpu.h:200:9: note: uninitialized use occurs
> > here
> >         return ret;
> >                ^~~
> > ./arch/arm64/include/asm/percpu.h:157:19: note: initialize the variable
> > 'ret' to silence this warning
> >         unsigned long ret, loop;
> >                          ^
> >                           = 0
> >
> > This warning appears several times while building the erofs filesystem.
> > While it's not strictly wrong, the BUILD_BUG will prevent this from
> > becoming a true problem. Initialize ret to 0 in the default case right
> > before the BUILD_BUG to silence all of these warnings.
>
> Clang does semantic analysis BEFORE inlining/optimizations, so I can't

s/I/it/

> determine that default is never reachable.  Nathan, thanks for this
> patch.
> Reviewed-by: Nick Desaulniers <ndesaulniers@google.com>
>
> >
> > Reported-by: Prasad Sodagudi <psodagud@codeaurora.org>
> > Signed-off-by: Nathan Chancellor <natechancellor@gmail.com>
> > ---
> >  arch/arm64/include/asm/percpu.h | 3 +++
> >  1 file changed, 3 insertions(+)
> >
> > diff --git a/arch/arm64/include/asm/percpu.h b/arch/arm64/include/asm/percpu.h
> > index 9234013e759e..21a81b59a0cc 100644
> > --- a/arch/arm64/include/asm/percpu.h
> > +++ b/arch/arm64/include/asm/percpu.h
> > @@ -96,6 +96,7 @@ static inline unsigned long __percpu_##op(void *ptr,                  \
> >                 : [val] "Ir" (val));                                    \
> >                 break;                                                  \
> >         default:                                                        \
> > +               ret = 0;                                                \
> >                 BUILD_BUG();                                            \
> >         }                                                               \
> >                                                                         \
> > @@ -125,6 +126,7 @@ static inline unsigned long __percpu_read(void *ptr, int size)
> >                 ret = READ_ONCE(*(u64 *)ptr);
> >                 break;
> >         default:
> > +               ret = 0;
> >                 BUILD_BUG();
> >         }
> >
> > @@ -194,6 +196,7 @@ static inline unsigned long __percpu_xchg(void *ptr, unsigned long val,
> >                 : [val] "r" (val));
> >                 break;
> >         default:
> > +               ret = 0;
> >                 BUILD_BUG();
> >         }
> >
> > --
> > 2.19.0
> >
>
>
> --
> Thanks,
> ~Nick Desaulniers



-- 
Thanks,
~Nick Desaulniers

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: [PATCH] arm64: percpu: Initialize ret in the default case
  2018-09-25 19:44 [PATCH] arm64: percpu: Initialize ret in the default case Nathan Chancellor
  2018-09-25 20:24 ` Nick Desaulniers
@ 2018-09-25 20:33 ` Dennis Zhou
  1 sibling, 0 replies; 5+ messages in thread
From: Dennis Zhou @ 2018-09-25 20:33 UTC (permalink / raw)
  To: Nathan Chancellor
  Cc: Tejun Heo, Christoph Lameter, Catalin Marinas, Will Deacon,
	linux-arm-kernel, linux-kernel, Prasad Sodagudi,
	Nick Desaulniers

Hi Nathan,

On Tue, Sep 25, 2018 at 12:44:59PM -0700, Nathan Chancellor wrote:
> Clang warns that if the default case is taken, ret will be
> uninitialized.
> 
> ./arch/arm64/include/asm/percpu.h:196:2: warning: variable 'ret' is used
> uninitialized whenever switch default is taken
> [-Wsometimes-uninitialized]
>         default:
>         ^~~~~~~
> ./arch/arm64/include/asm/percpu.h:200:9: note: uninitialized use occurs
> here
>         return ret;
>                ^~~
> ./arch/arm64/include/asm/percpu.h:157:19: note: initialize the variable
> 'ret' to silence this warning
>         unsigned long ret, loop;
>                          ^
>                           = 0
> 
> This warning appears several times while building the erofs filesystem.
> While it's not strictly wrong, the BUILD_BUG will prevent this from
> becoming a true problem. Initialize ret to 0 in the default case right
> before the BUILD_BUG to silence all of these warnings.
> 
> Reported-by: Prasad Sodagudi <psodagud@codeaurora.org>
> Signed-off-by: Nathan Chancellor <natechancellor@gmail.com>

I've applied this to percpu/for-4.20.

Thanks,
Dennis

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: [PATCH] arm64: percpu: Initialize ret in the default case
  2018-09-25 20:24 ` Nick Desaulniers
  2018-09-25 20:29   ` Nick Desaulniers
@ 2018-09-25 20:35   ` Dennis Zhou
  1 sibling, 0 replies; 5+ messages in thread
From: Dennis Zhou @ 2018-09-25 20:35 UTC (permalink / raw)
  To: Nick Desaulniers
  Cc: Nathan Chancellor, tj, Christoph Lameter, Catalin Marinas,
	Will Deacon, Linux ARM, LKML, psodagud

Hi Nick,

On Tue, Sep 25, 2018 at 01:24:06PM -0700, Nick Desaulniers wrote:
> On Tue, Sep 25, 2018 at 12:45 PM Nathan Chancellor
> <natechancellor@gmail.com> wrote:
> >
> > Clang warns that if the default case is taken, ret will be
> > uninitialized.
> >
> > ./arch/arm64/include/asm/percpu.h:196:2: warning: variable 'ret' is used
> > uninitialized whenever switch default is taken
> > [-Wsometimes-uninitialized]
> >         default:
> >         ^~~~~~~
> > ./arch/arm64/include/asm/percpu.h:200:9: note: uninitialized use occurs
> > here
> >         return ret;
> >                ^~~
> > ./arch/arm64/include/asm/percpu.h:157:19: note: initialize the variable
> > 'ret' to silence this warning
> >         unsigned long ret, loop;
> >                          ^
> >                           = 0
> >
> > This warning appears several times while building the erofs filesystem.
> > While it's not strictly wrong, the BUILD_BUG will prevent this from
> > becoming a true problem. Initialize ret to 0 in the default case right
> > before the BUILD_BUG to silence all of these warnings.
> 
> Clang does semantic analysis BEFORE inlining/optimizations, so I can't
> determine that default is never reachable.  Nathan, thanks for this
> patch.
> Reviewed-by: Nick Desaulniers <ndesaulniers@google.com>
> 

Thanks for the explanation!
Dennis

^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2018-09-25 20:35 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-09-25 19:44 [PATCH] arm64: percpu: Initialize ret in the default case Nathan Chancellor
2018-09-25 20:24 ` Nick Desaulniers
2018-09-25 20:29   ` Nick Desaulniers
2018-09-25 20:35   ` Dennis Zhou
2018-09-25 20:33 ` Dennis Zhou

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).