[jlelli:deadline/server-rfc_v2 5/6] kernel/sched/sched.h:1260:9: sparse: sparse: context imbalance in 'inactive_task_timer' - unexpected unlock
by kernel test robot
CC: kbuild-all(a)lists.01.org
TO: Juri Lelli <juri.lelli(a)redhat.com>
tree: https://github.com/jlelli/linux.git deadline/server-rfc_v2
head: 924ae6f145ff3a46c312647f4b3189abf3ba9d2d
commit: c9d6e71fba18dbb45f311d8297b75a30e4618612 [5/6] sched/deadline: Introduce deadline servers
:::::: branch date: 9 hours ago
:::::: commit date: 9 hours ago
config: x86_64-randconfig-s022-20200731 (attached as .config)
compiler: gcc-9 (Debian 9.3.0-14) 9.3.0
reproduce:
# apt-get install sparse
# sparse version: v0.6.2-115-g5fc204f2-dirty
git checkout c9d6e71fba18dbb45f311d8297b75a30e4618612
# save the attached .config to linux build tree
make W=1 C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' ARCH=x86_64
If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <lkp(a)intel.com>
sparse warnings: (new ones prefixed by >>)
kernel/sched/deadline.c:2224:13: sparse: sparse: incompatible types in comparison expression (different address spaces):
kernel/sched/deadline.c:2224:13: sparse: struct task_struct *
kernel/sched/deadline.c:2224:13: sparse: struct task_struct [noderef] __rcu *
kernel/sched/deadline.c:2351:25: sparse: sparse: incompatible types in comparison expression (different address spaces):
kernel/sched/deadline.c:2351:25: sparse: struct task_struct *
kernel/sched/deadline.c:2351:25: sparse: struct task_struct [noderef] __rcu *
kernel/sched/deadline.c:1872:42: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected struct sched_dl_entity *b @@ got struct sched_dl_entity [noderef] __rcu * @@
kernel/sched/deadline.c:1872:42: sparse: expected struct sched_dl_entity *b
kernel/sched/deadline.c:1872:42: sparse: got struct sched_dl_entity [noderef] __rcu *
kernel/sched/deadline.c:1883:38: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct task_struct *tsk @@ got struct task_struct [noderef] __rcu *curr @@
kernel/sched/deadline.c:1883:38: sparse: expected struct task_struct *tsk
kernel/sched/deadline.c:1883:38: sparse: got struct task_struct [noderef] __rcu *curr
kernel/sched/deadline.c:1158:23: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct task_struct *p @@ got struct task_struct [noderef] __rcu *curr @@
kernel/sched/deadline.c:1158:23: sparse: expected struct task_struct *p
kernel/sched/deadline.c:1158:23: sparse: got struct task_struct [noderef] __rcu *curr
kernel/sched/deadline.c:1383:38: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected struct task_struct *curr @@ got struct task_struct [noderef] __rcu *curr @@
kernel/sched/deadline.c:1383:38: sparse: expected struct task_struct *curr
kernel/sched/deadline.c:1383:38: sparse: got struct task_struct [noderef] __rcu *curr
kernel/sched/deadline.c:2083:9: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct sched_domain *[assigned] sd @@ got struct sched_domain [noderef] __rcu *parent @@
kernel/sched/deadline.c:2083:9: sparse: expected struct sched_domain *[assigned] sd
kernel/sched/deadline.c:2083:9: sparse: got struct sched_domain [noderef] __rcu *parent
kernel/sched/deadline.c:1757:14: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct task_struct *curr @@ got struct task_struct [noderef] __rcu * @@
kernel/sched/deadline.c:1757:14: sparse: expected struct task_struct *curr
kernel/sched/deadline.c:1757:14: sparse: got struct task_struct [noderef] __rcu *
kernel/sched/deadline.c:1833:43: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected struct task_struct *p @@ got struct task_struct [noderef] __rcu *curr @@
kernel/sched/deadline.c:1833:43: sparse: expected struct task_struct *p
kernel/sched/deadline.c:1833:43: sparse: got struct task_struct [noderef] __rcu *curr
kernel/sched/deadline.c:2386:38: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct task_struct *tsk @@ got struct task_struct [noderef] __rcu *curr @@
kernel/sched/deadline.c:2386:38: sparse: expected struct task_struct *tsk
kernel/sched/deadline.c:2386:38: sparse: got struct task_struct [noderef] __rcu *curr
kernel/sched/deadline.c:2388:23: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct task_struct *p @@ got struct task_struct [noderef] __rcu *curr @@
kernel/sched/deadline.c:2388:23: sparse: expected struct task_struct *p
kernel/sched/deadline.c:2388:23: sparse: got struct task_struct [noderef] __rcu *curr
kernel/sched/deadline.c:2390:44: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected struct sched_dl_entity *b @@ got struct sched_dl_entity [noderef] __rcu * @@
kernel/sched/deadline.c:2390:44: sparse: expected struct sched_dl_entity *b
kernel/sched/deadline.c:2390:44: sparse: got struct sched_dl_entity [noderef] __rcu *
kernel/sched/deadline.c:2550:22: sparse: sparse: incompatible types in comparison expression (different address spaces):
kernel/sched/deadline.c:2550:22: sparse: struct task_struct [noderef] __rcu *
kernel/sched/deadline.c:2550:22: sparse: struct task_struct *
kernel/sched/deadline.c:2569:46: sparse: sparse: incompatible types in comparison expression (different address spaces):
kernel/sched/deadline.c:2569:46: sparse: struct task_struct [noderef] __rcu *
kernel/sched/deadline.c:2569:46: sparse: struct task_struct *
kernel/sched/deadline.c:650:17: sparse: sparse: context imbalance in 'dl_task_offline_migration' - unexpected unlock
kernel/sched/deadline.c: note: in included file:
>> kernel/sched/sched.h:1260:9: sparse: sparse: context imbalance in 'inactive_task_timer' - unexpected unlock
kernel/sched/sched.h:1715:25: sparse: sparse: incompatible types in comparison expression (different address spaces):
kernel/sched/sched.h:1715:25: sparse: struct task_struct [noderef] __rcu *
kernel/sched/sched.h:1715:25: sparse: struct task_struct *
kernel/sched/sched.h:1715:25: sparse: sparse: incompatible types in comparison expression (different address spaces):
kernel/sched/sched.h:1715:25: sparse: struct task_struct [noderef] __rcu *
kernel/sched/sched.h:1715:25: sparse: struct task_struct *
# https://github.com/jlelli/linux/commit/c9d6e71fba18dbb45f311d8297b75a30e4...
git remote add jlelli https://github.com/jlelli/linux.git
git remote update jlelli
git checkout c9d6e71fba18dbb45f311d8297b75a30e4618612
vim +/inactive_task_timer +1260 kernel/sched/sched.h
cb42c9a3ebbbb2 Matt Fleming 2016-09-21 1259
d8ac897137a230 Matt Fleming 2016-09-21 @1260 lockdep_unpin_lock(&rq->lock, rf->cookie);
d8ac897137a230 Matt Fleming 2016-09-21 1261 }
d8ac897137a230 Matt Fleming 2016-09-21 1262
:::::: The code at line 1260 was first introduced by commit
:::::: d8ac897137a230ec351269f6378017f2decca512 sched/core: Add wrappers for lockdep_(un)pin_lock()
:::::: TO: Matt Fleming <matt(a)codeblueprint.co.uk>
:::::: CC: Ingo Molnar <mingo(a)kernel.org>
---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all@lists.01.org
2 years