* [arnd-playground:set_fs 6/11] arch/csky/kernel/signal.c:143:14: sparse: sparse: incorrect type in argument 1 (different address spaces)
@ 2022-02-12 5:45 kernel test robot
0 siblings, 0 replies; only message in thread
From: kernel test robot @ 2022-02-12 5:45 UTC (permalink / raw)
To: Arnd Bergmann; +Cc: kbuild-all, linux-kernel
tree: https://git.kernel.org/pub/scm/linux/kernel/git/arnd/playground.git set_fs
head: 0a081326831928b0d739bce68b8c0f9138b9c8ba
commit: a954036380ae20dbfa0c203bf6cafb21d1f3cedd [6/11] uaccess: generalize access_ok()
config: csky-randconfig-s032-20220211 (https://download.01.org/0day-ci/archive/20220212/202202121334.YatMsSbt-lkp@intel.com/config)
compiler: csky-linux-gcc (GCC) 11.2.0
reproduce:
wget https://raw.githubusercontent.com/intel/lkp-tests/master/sbin/make.cross -O ~/bin/make.cross
chmod +x ~/bin/make.cross
# apt-get install sparse
# sparse version: v0.6.4-dirty
# https://git.kernel.org/pub/scm/linux/kernel/git/arnd/playground.git/commit/?id=a954036380ae20dbfa0c203bf6cafb21d1f3cedd
git remote add arnd-playground https://git.kernel.org/pub/scm/linux/kernel/git/arnd/playground.git
git fetch --no-tags arnd-playground set_fs
git checkout a954036380ae20dbfa0c203bf6cafb21d1f3cedd
# save the config file to linux build tree
mkdir build_dir
COMPILER_INSTALL_PATH=$HOME/0day COMPILER=gcc-11.2.0 make.cross C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' O=build_dir ARCH=csky SHELL=/bin/bash
If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <lkp@intel.com>
sparse warnings: (new ones prefixed by >>)
arch/csky/kernel/signal.c:142:15: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct rt_sigframe *frame @@ got void [noderef] __user * @@
arch/csky/kernel/signal.c:142:15: sparse: expected struct rt_sigframe *frame
arch/csky/kernel/signal.c:142:15: sparse: got void [noderef] __user *
>> arch/csky/kernel/signal.c:143:14: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const [noderef] __user *ptr @@ got struct rt_sigframe *frame @@
arch/csky/kernel/signal.c:143:14: sparse: expected void const [noderef] __user *ptr
arch/csky/kernel/signal.c:143:14: sparse: got struct rt_sigframe *frame
arch/csky/kernel/signal.c:146:38: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct siginfo [noderef] [usertype] __user *to @@ got struct siginfo * @@
arch/csky/kernel/signal.c:146:38: sparse: expected struct siginfo [noderef] [usertype] __user *to
arch/csky/kernel/signal.c:146:38: sparse: got struct siginfo *
arch/csky/kernel/signal.c:149:16: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got unsigned long * @@
arch/csky/kernel/signal.c:149:16: sparse: expected void const volatile [noderef] __user *ptr
arch/csky/kernel/signal.c:149:16: sparse: got unsigned long *
arch/csky/kernel/signal.c:149:16: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void [noderef] __user *ptr @@ got unsigned long * @@
arch/csky/kernel/signal.c:149:16: sparse: expected void [noderef] __user *ptr
arch/csky/kernel/signal.c:149:16: sparse: got unsigned long *
arch/csky/kernel/signal.c:150:16: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got struct ucontext ** @@
arch/csky/kernel/signal.c:150:16: sparse: expected void const volatile [noderef] __user *ptr
arch/csky/kernel/signal.c:150:16: sparse: got struct ucontext **
arch/csky/kernel/signal.c:150:16: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void [noderef] __user *ptr @@ got struct ucontext ** @@
arch/csky/kernel/signal.c:150:16: sparse: expected void [noderef] __user *ptr
arch/csky/kernel/signal.c:150:16: sparse: got struct ucontext **
arch/csky/kernel/signal.c:151:33: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct sigaltstack [noderef] [usertype] __user * @@ got struct sigaltstack * @@
arch/csky/kernel/signal.c:151:33: sparse: expected struct sigaltstack [noderef] [usertype] __user *
arch/csky/kernel/signal.c:151:33: sparse: got struct sigaltstack *
arch/csky/kernel/signal.c:152:33: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct rt_sigframe [noderef] __user *frame @@ got struct rt_sigframe *frame @@
arch/csky/kernel/signal.c:152:33: sparse: expected struct rt_sigframe [noderef] __user *frame
arch/csky/kernel/signal.c:152:33: sparse: got struct rt_sigframe *frame
arch/csky/kernel/signal.c:153:32: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void [noderef] __user *to @@ got struct sigset_t * @@
arch/csky/kernel/signal.c:153:32: sparse: expected void [noderef] __user *to
arch/csky/kernel/signal.c:153:32: sparse: got struct sigset_t *
arch/csky/kernel/signal.c: note: in included file:
include/linux/uaccess.h:107:39: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void const *from @@ got void const [noderef] __user *from @@
include/linux/uaccess.h:107:39: sparse: expected void const *from
include/linux/uaccess.h:107:39: sparse: got void const [noderef] __user *from
include/linux/uaccess.h:141:33: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void *to @@ got void [noderef] __user *to @@
include/linux/uaccess.h:141:33: sparse: expected void *to
include/linux/uaccess.h:141:33: sparse: got void [noderef] __user *to
include/linux/uaccess.h:107:39: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void const *from @@ got void const [noderef] __user *from @@
include/linux/uaccess.h:107:39: sparse: expected void const *from
include/linux/uaccess.h:107:39: sparse: got void const [noderef] __user *from
include/linux/uaccess.h:107:39: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void const *from @@ got void const [noderef] __user *from @@
include/linux/uaccess.h:107:39: sparse: expected void const *from
include/linux/uaccess.h:107:39: sparse: got void const [noderef] __user *from
include/linux/uaccess.h:141:33: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void *to @@ got void [noderef] __user *to @@
include/linux/uaccess.h:141:33: sparse: expected void *to
include/linux/uaccess.h:141:33: sparse: got void [noderef] __user *to
arch/csky/kernel/signal.c: note: in included file (through include/linux/uaccess.h):
arch/csky/include/asm/uaccess.h:112:17: sparse: sparse: cast removes address space '__user' of expression
arch/csky/include/asm/uaccess.h:112:17: sparse: sparse: asm output is not an lvalue
arch/csky/include/asm/uaccess.h:112:17: sparse: sparse: cast removes address space '__user' of expression
arch/csky/include/asm/uaccess.h:112:17: sparse: sparse: cast removes address space '__user' of expression
arch/csky/include/asm/uaccess.h:112:17: sparse: sparse: asm output is not an lvalue
arch/csky/include/asm/uaccess.h:112:17: sparse: sparse: cast removes address space '__user' of expression
arch/csky/kernel/signal.c: note: in included file:
include/linux/uaccess.h:141:33: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void *to @@ got void [noderef] __user *to @@
include/linux/uaccess.h:141:33: sparse: expected void *to
include/linux/uaccess.h:141:33: sparse: got void [noderef] __user *to
arch/csky/kernel/signal.c: note: in included file (through include/linux/uaccess.h):
arch/csky/include/asm/uaccess.h:112:17: sparse: sparse: generating address of non-lvalue (11)
arch/csky/include/asm/uaccess.h:112:17: sparse: sparse: generating address of non-lvalue (11)
vim +143 arch/csky/kernel/signal.c
e9564df753fd54 Guo Ren 2018-09-05 135
e9564df753fd54 Guo Ren 2018-09-05 136 static int
e9564df753fd54 Guo Ren 2018-09-05 137 setup_rt_frame(struct ksignal *ksig, sigset_t *set, struct pt_regs *regs)
e9564df753fd54 Guo Ren 2018-09-05 138 {
e9564df753fd54 Guo Ren 2018-09-05 139 struct rt_sigframe *frame;
e9564df753fd54 Guo Ren 2018-09-05 140 int err = 0;
e9564df753fd54 Guo Ren 2018-09-05 141
bf241682936293 Guo Ren 2019-04-01 @142 frame = get_sigframe(ksig, regs, sizeof(*frame));
bf241682936293 Guo Ren 2019-04-01 @143 if (!access_ok(frame, sizeof(*frame)))
bf241682936293 Guo Ren 2019-04-01 144 return -EFAULT;
e9564df753fd54 Guo Ren 2018-09-05 145
e9564df753fd54 Guo Ren 2018-09-05 146 err |= copy_siginfo_to_user(&frame->info, &ksig->info);
e9564df753fd54 Guo Ren 2018-09-05 147
e9564df753fd54 Guo Ren 2018-09-05 148 /* Create the ucontext. */
e9564df753fd54 Guo Ren 2018-09-05 149 err |= __put_user(0, &frame->uc.uc_flags);
bf241682936293 Guo Ren 2019-04-01 150 err |= __put_user(NULL, &frame->uc.uc_link);
bf241682936293 Guo Ren 2019-04-01 151 err |= __save_altstack(&frame->uc.uc_stack, regs->usp);
bf241682936293 Guo Ren 2019-04-01 152 err |= setup_sigcontext(frame, regs);
bf241682936293 Guo Ren 2019-04-01 153 err |= __copy_to_user(&frame->uc.uc_sigmask, set, sizeof(*set));
e9564df753fd54 Guo Ren 2018-09-05 154 if (err)
bf241682936293 Guo Ren 2019-04-01 155 return -EFAULT;
e9564df753fd54 Guo Ren 2018-09-05 156
bf241682936293 Guo Ren 2019-04-01 157 /* Set up to return from userspace. */
87f3248cdb9aea Guo Ren 2021-01-04 158 regs->lr = (unsigned long)VDSO_SYMBOL(
87f3248cdb9aea Guo Ren 2021-01-04 159 current->mm->context.vdso, rt_sigreturn);
e9564df753fd54 Guo Ren 2018-09-05 160
bf241682936293 Guo Ren 2019-04-01 161 /*
bf241682936293 Guo Ren 2019-04-01 162 * Set up registers for signal handler.
bf241682936293 Guo Ren 2019-04-01 163 * Registers that we don't modify keep the value they had from
bf241682936293 Guo Ren 2019-04-01 164 * user-space at the time we took the signal.
bf241682936293 Guo Ren 2019-04-01 165 * We always pass siginfo and mcontext, regardless of SA_SIGINFO,
bf241682936293 Guo Ren 2019-04-01 166 * since some things rely on this (e.g. glibc's debug/segfault.c).
bf241682936293 Guo Ren 2019-04-01 167 */
bf241682936293 Guo Ren 2019-04-01 168 regs->pc = (unsigned long)ksig->ka.sa.sa_handler;
bf241682936293 Guo Ren 2019-04-01 169 regs->usp = (unsigned long)frame;
bf241682936293 Guo Ren 2019-04-01 170 regs->a0 = ksig->sig; /* a0: signal number */
bf241682936293 Guo Ren 2019-04-01 171 regs->a1 = (unsigned long)(&(frame->info)); /* a1: siginfo pointer */
bf241682936293 Guo Ren 2019-04-01 172 regs->a2 = (unsigned long)(&(frame->uc)); /* a2: ucontext pointer */
e9564df753fd54 Guo Ren 2018-09-05 173
bf241682936293 Guo Ren 2019-04-01 174 return 0;
e9564df753fd54 Guo Ren 2018-09-05 175 }
e9564df753fd54 Guo Ren 2018-09-05 176
:::::: The code at line 143 was first introduced by commit
:::::: bf241682936293291dcf40fd93cdd0f5e6222902 csky: Reconstruct signal processing
:::::: TO: Guo Ren <ren_guo@c-sky.com>
:::::: CC: Guo Ren <ren_guo@c-sky.com>
---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all@lists.01.org
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-02-12 5:45 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-02-12 5:45 [arnd-playground:set_fs 6/11] arch/csky/kernel/signal.c:143:14: sparse: sparse: incorrect type in argument 1 (different address spaces) kernel test robot
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).