[jlelli:deadline/server-rfc_v2 5/6] kernel/sched/sched.h:1260:9: sparse: sparse: context imbalance in 'inactive_task_timer' - unexpected unlock

[jlelli:deadline/server-rfc_v2 5/6] kernel/sched/sched.h:1260:9: sparse: sparse: context imbalance in 'inactive_task_timer' - unexpected unlock

[kernel test robot]

[-- Attachment #1: Type: text/plain, Size: 7580 bytes --]

CC: kbuild-all(a)lists.01.org
TO: Juri Lelli <juri.lelli@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@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/c9d6e71fba18dbb45f311d8297b75a30e4618612
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@codeblueprint.co.uk>
:::::: CC: Ingo Molnar <mingo@kernel.org>

---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all(a)lists.01.org

[-- Attachment #2: config.gz --]
[-- Type: application/gzip, Size: 33346 bytes --]