* [ammarfaizi2-block:palmer/linux/tspinlock-v3 5/9] kernel/signal.c:887:9: sparse: sparse: incorrect type in argument 1 (different address spaces)
@ 2022-04-16 6:42 kernel test robot
0 siblings, 0 replies; only message in thread
From: kernel test robot @ 2022-04-16 6:42 UTC (permalink / raw)
To: Palmer Dabbelt; +Cc: kbuild-all, GNU/Weeb Mailing List, linux-kernel
tree: https://github.com/ammarfaizi2/linux-block palmer/linux/tspinlock-v3
head: fc2d79f0558a2de8cdf896d84f507bf51f90cd0c
commit: 9d7cdf43225edaf8bef5c716927eb6a6c5a0f69b [5/9] RISC-V: Move to generic spinlocks
config: riscv-randconfig-s031-20220414 (https://download.01.org/0day-ci/archive/20220416/[email protected]/config)
compiler: riscv64-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://github.com/ammarfaizi2/linux-block/commit/9d7cdf43225edaf8bef5c716927eb6a6c5a0f69b
git remote add ammarfaizi2-block https://github.com/ammarfaizi2/linux-block
git fetch --no-tags ammarfaizi2-block palmer/linux/tspinlock-v3
git checkout 9d7cdf43225edaf8bef5c716927eb6a6c5a0f69b
# 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=riscv SHELL=/bin/bash
If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <[email protected]>
sparse warnings: (new ones prefixed by >>)
kernel/signal.c: note: in included file (through include/uapi/asm-generic/signal.h, include/asm-generic/signal.h, arch/riscv/include/generated/uapi/asm/signal.h, ...):
include/uapi/asm-generic/signal-defs.h:83:29: sparse: sparse: multiple address spaces given
kernel/signal.c:195:31: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:195:31: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:195:31: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:198:33: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:198:33: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:198:33: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:480:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:480:9: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:480:9: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:484:34: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:484:34: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:484:34: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:542:53: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected struct k_sigaction *ka @@ got struct k_sigaction [noderef] __rcu * @@
kernel/signal.c:542:53: sparse: expected struct k_sigaction *ka
kernel/signal.c:542:53: sparse: got struct k_sigaction [noderef] __rcu *
include/uapi/asm-generic/signal-defs.h:83:29: sparse: sparse: multiple address spaces given
>> kernel/signal.c:887:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct atomic_t [usertype] *lock @@ got struct atomic_t [noderef] __rcu * @@
kernel/signal.c:887:9: sparse: expected struct atomic_t [usertype] *lock
kernel/signal.c:887:9: sparse: got struct atomic_t [noderef] __rcu *
kernel/signal.c:1082:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct atomic_t [usertype] *lock @@ got struct atomic_t [noderef] __rcu * @@
kernel/signal.c:1082:9: sparse: expected struct atomic_t [usertype] *lock
kernel/signal.c:1082:9: sparse: got struct atomic_t [noderef] __rcu *
kernel/signal.c:1330:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:1330:9: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:1330:9: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:1331:16: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct k_sigaction *action @@ got struct k_sigaction [noderef] __rcu * @@
kernel/signal.c:1331:16: sparse: expected struct k_sigaction *action
kernel/signal.c:1331:16: sparse: got struct k_sigaction [noderef] __rcu *
kernel/signal.c:1351:34: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:1351:34: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:1351:34: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:1929:36: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:1929:36: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:1929:36: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:2039:44: sparse: sparse: cast removes address space '__rcu' of expression
kernel/signal.c:2058:65: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct task_struct *tsk @@ got struct task_struct [noderef] __rcu *parent @@
kernel/signal.c:2058:65: sparse: expected struct task_struct *tsk
kernel/signal.c:2058:65: sparse: got struct task_struct [noderef] __rcu *parent
kernel/signal.c:2059:40: sparse: sparse: cast removes address space '__rcu' of expression
kernel/signal.c:2077:14: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct sighand_struct *psig @@ got struct sighand_struct [noderef] __rcu *[noderef] __rcu sighand @@
kernel/signal.c:2077:14: sparse: expected struct sighand_struct *psig
kernel/signal.c:2077:14: sparse: got struct sighand_struct [noderef] __rcu *[noderef] __rcu sighand
kernel/signal.c:2106:46: sparse: sparse: incorrect type in argument 3 (different address spaces) @@ expected struct task_struct *t @@ got struct task_struct [noderef] __rcu *parent @@
kernel/signal.c:2106:46: sparse: expected struct task_struct *t
kernel/signal.c:2106:46: sparse: got struct task_struct [noderef] __rcu *parent
kernel/signal.c:2107:34: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected struct task_struct *parent @@ got struct task_struct [noderef] __rcu *parent @@
kernel/signal.c:2107:34: sparse: expected struct task_struct *parent
kernel/signal.c:2107:34: sparse: got struct task_struct [noderef] __rcu *parent
kernel/signal.c:2136:24: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct task_struct *parent @@ got struct task_struct [noderef] __rcu *parent @@
kernel/signal.c:2136:24: sparse: expected struct task_struct *parent
kernel/signal.c:2136:24: sparse: got struct task_struct [noderef] __rcu *parent
kernel/signal.c:2139:24: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct task_struct *parent @@ got struct task_struct [noderef] __rcu *real_parent @@
kernel/signal.c:2139:24: sparse: expected struct task_struct *parent
kernel/signal.c:2139:24: sparse: got struct task_struct [noderef] __rcu *real_parent
kernel/signal.c:2172:17: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct sighand_struct *sighand @@ got struct sighand_struct [noderef] __rcu *sighand @@
kernel/signal.c:2172:17: sparse: expected struct sighand_struct *sighand
kernel/signal.c:2172:17: sparse: got struct sighand_struct [noderef] __rcu *sighand
kernel/signal.c:2213:41: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:2213:41: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:2213:41: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:2215:39: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:2215:39: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:2215:39: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:2266:33: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:2266:33: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:2266:33: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:2322:31: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:2322:31: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:2322:31: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:2363:31: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:2363:31: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:2363:31: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:2365:33: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:2365:33: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:2365:33: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:2464:41: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:2464:41: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:2464:41: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:2548:41: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:2548:41: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:2548:41: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:2560:33: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:2560:33: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:2560:33: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:2595:52: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct task_struct *tsk @@ got struct task_struct [noderef] __rcu *parent @@
kernel/signal.c:2595:52: sparse: expected struct task_struct *tsk
kernel/signal.c:2595:52: sparse: got struct task_struct [noderef] __rcu *parent
kernel/signal.c:2597:49: sparse: sparse: cast removes address space '__rcu' of expression
kernel/signal.c:2635:49: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected struct sighand_struct *sighand @@ got struct sighand_struct [noderef] __rcu *sighand @@
kernel/signal.c:2635:49: sparse: expected struct sighand_struct *sighand
kernel/signal.c:2635:49: sparse: got struct sighand_struct [noderef] __rcu *sighand
kernel/signal.c:2964:27: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:2964:27: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:2964:27: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:2984:29: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:2984:29: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:2984:29: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:3051:27: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:3051:27: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:3051:27: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:3053:29: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:3053:29: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:3053:29: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:3204:31: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:3204:31: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:3204:31: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:3207:33: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:3207:33: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:3207:33: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:3594:27: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:3594:27: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:3594:27: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:3606:37: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:3606:37: sparse: expected struct spinlock [usertype] *lock
kernel/signal.c:3606:37: sparse: got struct spinlock [noderef] __rcu *
kernel/signal.c:3611:35: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/signal.c:3611:35: sparse: expected struct spinlock [usertype] *lock
vim +887 kernel/signal.c
^1da177e4c3f41 Linus Torvalds 2005-04-16 866
fb1d910c178ba0 Tejun Heo 2011-06-14 867 /**
fb1d910c178ba0 Tejun Heo 2011-06-14 868 * ptrace_trap_notify - schedule trap to notify ptracer
fb1d910c178ba0 Tejun Heo 2011-06-14 869 * @t: tracee wanting to notify tracer
fb1d910c178ba0 Tejun Heo 2011-06-14 870 *
fb1d910c178ba0 Tejun Heo 2011-06-14 871 * This function schedules sticky ptrace trap which is cleared on the next
fb1d910c178ba0 Tejun Heo 2011-06-14 872 * TRAP_STOP to notify ptracer of an event. @t must have been seized by
fb1d910c178ba0 Tejun Heo 2011-06-14 873 * ptracer.
fb1d910c178ba0 Tejun Heo 2011-06-14 874 *
544b2c91a9f14f Tejun Heo 2011-06-14 875 * If @t is running, STOP trap will be taken. If trapped for STOP and
544b2c91a9f14f Tejun Heo 2011-06-14 876 * ptracer is listening for events, tracee is woken up so that it can
544b2c91a9f14f Tejun Heo 2011-06-14 877 * re-trap for the new event. If trapped otherwise, STOP trap will be
544b2c91a9f14f Tejun Heo 2011-06-14 878 * eventually taken without returning to userland after the existing traps
544b2c91a9f14f Tejun Heo 2011-06-14 879 * are finished by PTRACE_CONT.
fb1d910c178ba0 Tejun Heo 2011-06-14 880 *
fb1d910c178ba0 Tejun Heo 2011-06-14 881 * CONTEXT:
fb1d910c178ba0 Tejun Heo 2011-06-14 882 * Must be called with @task->sighand->siglock held.
fb1d910c178ba0 Tejun Heo 2011-06-14 883 */
fb1d910c178ba0 Tejun Heo 2011-06-14 884 static void ptrace_trap_notify(struct task_struct *t)
fb1d910c178ba0 Tejun Heo 2011-06-14 885 {
fb1d910c178ba0 Tejun Heo 2011-06-14 886 WARN_ON_ONCE(!(t->ptrace & PT_SEIZED));
fb1d910c178ba0 Tejun Heo 2011-06-14 @887 assert_spin_locked(&t->sighand->siglock);
fb1d910c178ba0 Tejun Heo 2011-06-14 888
fb1d910c178ba0 Tejun Heo 2011-06-14 889 task_set_jobctl_pending(t, JOBCTL_TRAP_NOTIFY);
910ffdb18a6408 Oleg Nesterov 2013-01-21 890 ptrace_signal_wake_up(t, t->jobctl & JOBCTL_LISTENING);
fb1d910c178ba0 Tejun Heo 2011-06-14 891 }
fb1d910c178ba0 Tejun Heo 2011-06-14 892
:::::: The code at line 887 was first introduced by commit
:::::: fb1d910c178ba0c5bc32d3e5a9e82e05b7aad3cd ptrace: implement TRAP_NOTIFY and use it for group stop events
:::::: TO: Tejun Heo <[email protected]>
:::::: CC: Oleg Nesterov <[email protected]>
--
0-DAY CI Kernel Test Service
https://01.org/lkp
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-04-16 6:42 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2022-04-16 6:42 [ammarfaizi2-block:palmer/linux/tspinlock-v3 5/9] kernel/signal.c:887:9: 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