2023-10-27 02:02:09

by kernel test robot

[permalink] [raw]
Subject: [tip:x86/percpu 21/22] arch/x86/include/asm/processor.h:522:24: sparse: sparse: dereference of noderef expression

tree: https://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git x86/percpu
head: 0548eb067ed664b93043e033295ca71e3e706245
commit: ed2f752e0e0a21d941ca0ee539ef3d4cd576bc5e [21/22] x86/percpu: Introduce const-qualified const_pcpu_hot to micro-optimize code generation
config: x86_64-randconfig-122-20231027 (https://download.01.org/0day-ci/archive/20231027/[email protected]/config)
compiler: gcc-12 (Debian 12.2.0-14) 12.2.0
reproduce (this is a W=1 build): (https://download.01.org/0day-ci/archive/20231027/[email protected]/reproduce)

If you fix the issue in a separate patch/commit (i.e. not just a new version of
the same patch/commit), kindly add following tags
| Reported-by: kernel test robot <[email protected]>
| Closes: https://lore.kernel.org/oe-kbuild-all/[email protected]/

sparse warnings: (new ones prefixed by >>)
kernel/entry/common.c: note: in included file (through include/linux/sched.h, include/linux/context_tracking.h):
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
kernel/entry/common.c: note: in included file (through arch/x86/include/asm/cpufeature.h, arch/x86/include/asm/thread_info.h, include/linux/thread_info.h, ...):
>> arch/x86/include/asm/processor.h:522:24: sparse: sparse: dereference of noderef expression
kernel/entry/common.c: note: in included file (through include/linux/sched.h, include/linux/context_tracking.h):
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
kernel/entry/common.c: note: in included file (through arch/x86/include/asm/cpufeature.h, arch/x86/include/asm/thread_info.h, include/linux/thread_info.h, ...):
>> arch/x86/include/asm/processor.h:522:24: sparse: sparse: dereference of noderef expression
kernel/entry/common.c: note: in included file (through include/linux/sched.h, include/linux/context_tracking.h):
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
kernel/entry/common.c: note: in included file (through arch/x86/include/asm/cpufeature.h, arch/x86/include/asm/thread_info.h, include/linux/thread_info.h, ...):
>> arch/x86/include/asm/processor.h:522:24: sparse: sparse: dereference of noderef expression
kernel/entry/common.c: note: in included file (through include/linux/sched.h, include/linux/context_tracking.h):
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
kernel/entry/common.c: note: in included file (through arch/x86/include/asm/cpufeature.h, arch/x86/include/asm/thread_info.h, include/linux/thread_info.h, ...):
>> arch/x86/include/asm/processor.h:522:24: sparse: sparse: dereference of noderef expression
kernel/entry/common.c: note: in included file (through include/linux/sched.h, include/linux/context_tracking.h):
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
kernel/entry/common.c: note: in included file (through arch/x86/include/asm/cpufeature.h, arch/x86/include/asm/thread_info.h, include/linux/thread_info.h, ...):
>> arch/x86/include/asm/processor.h:522:24: sparse: sparse: dereference of noderef expression
kernel/entry/common.c: note: in included file (through include/linux/sched.h, include/linux/context_tracking.h):
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression

vim +522 arch/x86/include/asm/processor.h

513
514 static __always_inline unsigned long current_top_of_stack(void)
515 {
516 /*
517 * We can't read directly from tss.sp0: sp0 on x86_32 is special in
518 * and around vm86 mode and sp0 on x86_64 is special because of the
519 * entry trampoline.
520 */
521 if (IS_ENABLED(CONFIG_USE_X86_SEG_SUPPORT))
> 522 return pcpu_hot.top_of_stack;
523
524 return this_cpu_read_stable(pcpu_hot.top_of_stack);
525 }
526

--
0-DAY CI Kernel Test Service
https://github.com/intel/lkp-tests/wiki


2023-10-27 07:47:38

by Uros Bizjak

[permalink] [raw]
Subject: Re: [tip:x86/percpu 21/22] arch/x86/include/asm/processor.h:522:24: sparse: sparse: dereference of noderef expression

On Fri, Oct 27, 2023 at 4:01 AM kernel test robot <[email protected]> wrote:
>
> tree: https://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git x86/percpu
> head: 0548eb067ed664b93043e033295ca71e3e706245
> commit: ed2f752e0e0a21d941ca0ee539ef3d4cd576bc5e [21/22] x86/percpu: Introduce const-qualified const_pcpu_hot to micro-optimize code generation
> config: x86_64-randconfig-122-20231027 (https://download.01.org/0day-ci/archive/20231027/[email protected]/config)
> compiler: gcc-12 (Debian 12.2.0-14) 12.2.0
> reproduce (this is a W=1 build): (https://download.01.org/0day-ci/archive/20231027/[email protected]/reproduce)
>
> If you fix the issue in a separate patch/commit (i.e. not just a new version of
> the same patch/commit), kindly add following tags
> | Reported-by: kernel test robot <[email protected]>
> | Closes: https://lore.kernel.org/oe-kbuild-all/[email protected]/

Already fixed in [1].

[1] https://lore.kernel.org/lkml/[email protected]/

Thanks,
Uros.

>
> sparse warnings: (new ones prefixed by >>)
> kernel/entry/common.c: note: in included file (through include/linux/sched.h, include/linux/context_tracking.h):
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> kernel/entry/common.c: note: in included file (through arch/x86/include/asm/cpufeature.h, arch/x86/include/asm/thread_info.h, include/linux/thread_info.h, ...):
> >> arch/x86/include/asm/processor.h:522:24: sparse: sparse: dereference of noderef expression
> kernel/entry/common.c: note: in included file (through include/linux/sched.h, include/linux/context_tracking.h):
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> kernel/entry/common.c: note: in included file (through arch/x86/include/asm/cpufeature.h, arch/x86/include/asm/thread_info.h, include/linux/thread_info.h, ...):
> >> arch/x86/include/asm/processor.h:522:24: sparse: sparse: dereference of noderef expression
> kernel/entry/common.c: note: in included file (through include/linux/sched.h, include/linux/context_tracking.h):
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> kernel/entry/common.c: note: in included file (through arch/x86/include/asm/cpufeature.h, arch/x86/include/asm/thread_info.h, include/linux/thread_info.h, ...):
> >> arch/x86/include/asm/processor.h:522:24: sparse: sparse: dereference of noderef expression
> kernel/entry/common.c: note: in included file (through include/linux/sched.h, include/linux/context_tracking.h):
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> kernel/entry/common.c: note: in included file (through arch/x86/include/asm/cpufeature.h, arch/x86/include/asm/thread_info.h, include/linux/thread_info.h, ...):
> >> arch/x86/include/asm/processor.h:522:24: sparse: sparse: dereference of noderef expression
> kernel/entry/common.c: note: in included file (through include/linux/sched.h, include/linux/context_tracking.h):
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> kernel/entry/common.c: note: in included file (through arch/x86/include/asm/cpufeature.h, arch/x86/include/asm/thread_info.h, include/linux/thread_info.h, ...):
> >> arch/x86/include/asm/processor.h:522:24: sparse: sparse: dereference of noderef expression
> kernel/entry/common.c: note: in included file (through include/linux/sched.h, include/linux/context_tracking.h):
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
> arch/x86/include/asm/current.h:46:24: sparse: sparse: dereference of noderef expression
>
> vim +522 arch/x86/include/asm/processor.h
>
> 513
> 514 static __always_inline unsigned long current_top_of_stack(void)
> 515 {
> 516 /*
> 517 * We can't read directly from tss.sp0: sp0 on x86_32 is special in
> 518 * and around vm86 mode and sp0 on x86_64 is special because of the
> 519 * entry trampoline.
> 520 */
> 521 if (IS_ENABLED(CONFIG_USE_X86_SEG_SUPPORT))
> > 522 return pcpu_hot.top_of_stack;
> 523
> 524 return this_cpu_read_stable(pcpu_hot.top_of_stack);
> 525 }
> 526
>
> --
> 0-DAY CI Kernel Test Service
> https://github.com/intel/lkp-tests/wiki