[<prev] [next>] [day] [month] [year] [list]
Message-ID: <202311161044.YTQKDdiw-lkp@intel.com>
Date: Thu, 16 Nov 2023 10:08:21 +0800
From: kernel test robot <lkp@...el.com>
To: Marco Elver <elver@...gle.com>
Cc: oe-kbuild-all@...ts.linux.dev, linux-kernel@...r.kernel.org,
Andrew Morton <akpm@...ux-foundation.org>,
Linux Memory Management List <linux-mm@...ck.org>,
Andrey Konovalov <andreyknvl@...il.com>
Subject: kernel/fork.c:1672:9: sparse: sparse: incorrect type in argument 2
(different address spaces)
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: c42d9eeef8e5ba9292eda36fd8e3c11f35ee065c
commit: 4ec4190be4cf9cc3e0ccaf5f155a5f9066d18950 kasan, x86: don't rename memintrinsics in uninstrumented files
date: 9 months ago
config: x86_64-randconfig-a012-20230530 (https://download.01.org/0day-ci/archive/20231116/202311161044.YTQKDdiw-lkp@intel.com/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/20231116/202311161044.YTQKDdiw-lkp@intel.com/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 <lkp@...el.com>
| Closes: https://lore.kernel.org/oe-kbuild-all/202311161044.YTQKDdiw-lkp@intel.com/
sparse warnings: (new ones prefixed by >>)
kernel/fork.c:1110:19: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct task_struct [noderef] __rcu *owner @@ got struct task_struct *p @@
kernel/fork.c:1110:19: sparse: expected struct task_struct [noderef] __rcu *owner
kernel/fork.c:1110:19: sparse: got struct task_struct *p
kernel/fork.c:1334:24: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected struct file [noderef] __rcu *__ret @@ got struct file *new_exe_file @@
kernel/fork.c:1334:24: sparse: expected struct file [noderef] __rcu *__ret
kernel/fork.c:1334:24: sparse: got struct file *new_exe_file
kernel/fork.c:1334:22: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct file *[assigned] old_exe_file @@ got struct file [noderef] __rcu *[assigned] __ret @@
kernel/fork.c:1334:22: sparse: expected struct file *[assigned] old_exe_file
kernel/fork.c:1334:22: sparse: got struct file [noderef] __rcu *[assigned] __ret
kernel/fork.c:1662:38: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct refcount_struct [usertype] *r @@ got struct refcount_struct [noderef] __rcu * @@
kernel/fork.c:1662:38: sparse: expected struct refcount_struct [usertype] *r
kernel/fork.c:1662:38: sparse: got struct refcount_struct [noderef] __rcu *
kernel/fork.c:1671:31: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/fork.c:1671:31: sparse: expected struct spinlock [usertype] *lock
kernel/fork.c:1671:31: sparse: got struct spinlock [noderef] __rcu *
kernel/fork.c:1672:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const * @@ got struct k_sigaction [noderef] __rcu * @@
kernel/fork.c:1672:9: sparse: expected void const *
kernel/fork.c:1672:9: sparse: got struct k_sigaction [noderef] __rcu *
kernel/fork.c:1672:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const * @@ got struct k_sigaction [noderef] __rcu * @@
kernel/fork.c:1672:9: sparse: expected void const *
kernel/fork.c:1672:9: sparse: got struct k_sigaction [noderef] __rcu *
>> kernel/fork.c:1672:9: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void const *q @@ got struct k_sigaction [noderef] __rcu * @@
kernel/fork.c:1672:9: sparse: expected void const *q
kernel/fork.c:1672:9: sparse: got struct k_sigaction [noderef] __rcu *
kernel/fork.c:1673:33: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/fork.c:1673:33: sparse: expected struct spinlock [usertype] *lock
kernel/fork.c:1673:33: sparse: got struct spinlock [noderef] __rcu *
kernel/fork.c:2090:31: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/fork.c:2090:31: sparse: expected struct spinlock [usertype] *lock
kernel/fork.c:2090:31: sparse: got struct spinlock [noderef] __rcu *
kernel/fork.c:2094:33: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/fork.c:2094:33: sparse: expected struct spinlock [usertype] *lock
kernel/fork.c:2094:33: sparse: got struct spinlock [noderef] __rcu *
kernel/fork.c:2414:32: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct task_struct [noderef] __rcu *real_parent @@ got struct task_struct * @@
kernel/fork.c:2414:32: sparse: expected struct task_struct [noderef] __rcu *real_parent
kernel/fork.c:2414:32: sparse: got struct task_struct *
kernel/fork.c:2423:27: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/fork.c:2423:27: sparse: expected struct spinlock [usertype] *lock
kernel/fork.c:2423:27: sparse: got struct spinlock [noderef] __rcu *
kernel/fork.c:2472:54: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected struct list_head *head @@ got struct list_head [noderef] __rcu * @@
kernel/fork.c:2472:54: sparse: expected struct list_head *head
kernel/fork.c:2472:54: sparse: got struct list_head [noderef] __rcu *
kernel/fork.c:2494:29: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/fork.c:2494:29: sparse: expected struct spinlock [usertype] *lock
kernel/fork.c:2494:29: sparse: got struct spinlock [noderef] __rcu *
kernel/fork.c:2515:29: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/fork.c:2515:29: sparse: expected struct spinlock [usertype] *lock
kernel/fork.c:2515:29: sparse: got struct spinlock [noderef] __rcu *
kernel/fork.c:2542:28: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct sighand_struct *sighand @@ got struct sighand_struct [noderef] __rcu *sighand @@
kernel/fork.c:2542:28: sparse: expected struct sighand_struct *sighand
kernel/fork.c:2542:28: sparse: got struct sighand_struct [noderef] __rcu *sighand
kernel/fork.c:2571:31: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/fork.c:2571:31: sparse: expected struct spinlock [usertype] *lock
kernel/fork.c:2571:31: sparse: got struct spinlock [noderef] __rcu *
kernel/fork.c:2573:33: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct spinlock [usertype] *lock @@ got struct spinlock [noderef] __rcu * @@
kernel/fork.c:2573:33: sparse: expected struct spinlock [usertype] *lock
kernel/fork.c:2573:33: sparse: got struct spinlock [noderef] __rcu *
kernel/fork.c:3011:24: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct task_struct *[assigned] parent @@ got struct task_struct [noderef] __rcu *real_parent @@
kernel/fork.c:3011:24: sparse: expected struct task_struct *[assigned] parent
kernel/fork.c:3011:24: sparse: got struct task_struct [noderef] __rcu *real_parent
kernel/fork.c:3096:43: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct refcount_struct const [usertype] *r @@ got struct refcount_struct [noderef] __rcu * @@
kernel/fork.c:3096:43: sparse: expected struct refcount_struct const [usertype] *r
kernel/fork.c:3096:43: sparse: got struct refcount_struct [noderef] __rcu *
kernel/fork.c:1767:9: sparse: sparse: dereference of noderef expression
kernel/fork.c:2135:22: sparse: sparse: dereference of noderef expression
kernel/fork.c: note: in included file (through include/uapi/asm-generic/bpf_perf_event.h, arch/x86/include/generated/uapi/asm/bpf_perf_event.h, ...):
include/linux/ptrace.h:210:45: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected struct task_struct *new_parent @@ got struct task_struct [noderef] __rcu *parent @@
include/linux/ptrace.h:210:45: sparse: expected struct task_struct *new_parent
include/linux/ptrace.h:210:45: sparse: got struct task_struct [noderef] __rcu *parent
include/linux/ptrace.h:210:62: sparse: sparse: incorrect type in argument 3 (different address spaces) @@ expected struct cred const *ptracer_cred @@ got struct cred const [noderef] __rcu *ptracer_cred @@
include/linux/ptrace.h:210:62: sparse: expected struct cred const *ptracer_cred
include/linux/ptrace.h:210:62: sparse: got struct cred const [noderef] __rcu *ptracer_cred
kernel/fork.c:2470:59: sparse: sparse: dereference of noderef expression
kernel/fork.c:2471:59: sparse: sparse: dereference of noderef expression
kernel/fork.c:1102:23: sparse: sparse: incompatible types in comparison expression (different address spaces):
kernel/fork.c:1102:23: sparse: struct task_struct [noderef] __rcu *
kernel/fork.c:1102:23: sparse: struct task_struct *
vim +1672 kernel/fork.c
a016f3389c0660 JANAK DESAI 2006-02-07 1656
a39bc51691a0c8 Alexey Dobriyan 2007-10-18 1657 static int copy_sighand(unsigned long clone_flags, struct task_struct *tsk)
^1da177e4c3f41 Linus Torvalds 2005-04-16 1658 {
^1da177e4c3f41 Linus Torvalds 2005-04-16 1659 struct sighand_struct *sig;
^1da177e4c3f41 Linus Torvalds 2005-04-16 1660
60348802e9cb13 Zhaolei 2009-01-06 1661 if (clone_flags & CLONE_SIGHAND) {
d036bda7d0e726 Elena Reshetova 2019-01-18 1662 refcount_inc(¤t->sighand->count);
^1da177e4c3f41 Linus Torvalds 2005-04-16 1663 return 0;
^1da177e4c3f41 Linus Torvalds 2005-04-16 1664 }
^1da177e4c3f41 Linus Torvalds 2005-04-16 1665 sig = kmem_cache_alloc(sighand_cachep, GFP_KERNEL);
0c282b068eb26d Madhuparna Bhowmik 2020-01-27 1666 RCU_INIT_POINTER(tsk->sighand, sig);
^1da177e4c3f41 Linus Torvalds 2005-04-16 1667 if (!sig)
^1da177e4c3f41 Linus Torvalds 2005-04-16 1668 return -ENOMEM;
9d7fb04276481c Peter Zijlstra 2015-06-30 1669
d036bda7d0e726 Elena Reshetova 2019-01-18 1670 refcount_set(&sig->count, 1);
06e62a46bbba20 Jann Horn 2018-08-21 @1671 spin_lock_irq(¤t->sighand->siglock);
^1da177e4c3f41 Linus Torvalds 2005-04-16 @1672 memcpy(sig->action, current->sighand->action, sizeof(sig->action));
06e62a46bbba20 Jann Horn 2018-08-21 1673 spin_unlock_irq(¤t->sighand->siglock);
b612e5df4587c9 Christian Brauner 2019-10-14 1674
b612e5df4587c9 Christian Brauner 2019-10-14 1675 /* Reset all signal handler not set to SIG_IGN to SIG_DFL. */
b612e5df4587c9 Christian Brauner 2019-10-14 1676 if (clone_flags & CLONE_CLEAR_SIGHAND)
b612e5df4587c9 Christian Brauner 2019-10-14 1677 flush_signal_handlers(tsk, 0);
b612e5df4587c9 Christian Brauner 2019-10-14 1678
^1da177e4c3f41 Linus Torvalds 2005-04-16 1679 return 0;
^1da177e4c3f41 Linus Torvalds 2005-04-16 1680 }
^1da177e4c3f41 Linus Torvalds 2005-04-16 1681
:::::: The code at line 1672 was first introduced by commit
:::::: 1da177e4c3f41524e886b7f1b8a0c1fc7321cac2 Linux-2.6.12-rc2
:::::: TO: Linus Torvalds <torvalds@...970.osdl.org>
:::::: CC: Linus Torvalds <torvalds@...970.osdl.org>
--
0-DAY CI Kernel Test Service
https://github.com/intel/lkp-tests/wiki
Powered by blists - more mailing lists