CC: [email protected]
CC: [email protected]
TO: "Paul E. McKenney" <[email protected]>

tree:   https://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git 
dev.2021.04.06a
head:   2d5149067a2aca5be4d24fc0f8368e48b47d222d
commit: 420d9384a0b98b51e74684d55d7853dfc113d660 [65/73] rcu: Reject 
RCU_LOCKDEP_WARN() false positives
:::::: branch date: 5 hours ago
:::::: commit date: 28 hours ago
config: x86_64-randconfig-s022-20210407 (attached as .config)
compiler: gcc-9 (Debian 9.3.0-22) 9.3.0
reproduce:
        # apt-get install sparse
        # sparse version: v0.6.3-279-g6d5d9b42-dirty
        # 
https://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git/commit/?id=420d9384a0b98b51e74684d55d7853dfc113d660
        git remote add rcu 
https://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git
        git fetch --no-tags rcu dev.2021.04.06a
        git checkout 420d9384a0b98b51e74684d55d7853dfc113d660
        # 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 <[email protected]>


sparse warnings: (new ones prefixed by >>)
   mm/oom_kill.c: note: in included file (through include/linux/rcupdate.h, 
include/linux/rculist.h, include/linux/sched/signal.h, ...):
>> include/linux/rcutiny.h:105:44: sparse: sparse: context imbalance in 
>> 'find_lock_task_mm' - wrong count at exit
   mm/oom_kill.c:224:28: sparse: sparse: context imbalance in 'oom_badness' - 
unexpected unlock
   mm/oom_kill.c:404:9: sparse: sparse: context imbalance in 'dump_task' - 
unexpected unlock
   mm/oom_kill.c: note: in included file (through include/linux/rculist.h, 
include/linux/sched/signal.h, include/linux/oom.h):
   include/linux/rcupdate.h:709:9: sparse: sparse: context imbalance in 
'__oom_kill_process' - unexpected unlock

vim +/find_lock_task_mm +105 include/linux/rcutiny.h

5f192ab027a5d8 Paul E. McKenney 2017-05-03   75  
29ce831000081d Gleb Natapov     2011-05-04   76  /*
29ce831000081d Gleb Natapov     2011-05-04   77   * Take advantage of the fact 
that there is only one CPU, which
29ce831000081d Gleb Natapov     2011-05-04   78   * allows us to ignore 
virtualization-based context switches.
29ce831000081d Gleb Natapov     2011-05-04   79   */
71c40fd0b5ceb3 Paul E. McKenney 2017-05-03   80  static inline void 
rcu_virt_note_context_switch(int cpu) { }
71c40fd0b5ceb3 Paul E. McKenney 2017-05-03   81  static inline void 
rcu_cpu_stall_reset(void) { }
1b27291b1ea4f1 Paul E. McKenney 2018-07-18   82  static inline int 
rcu_jiffies_till_stall_check(void) { return 21 * HZ; }
71c40fd0b5ceb3 Paul E. McKenney 2017-05-03   83  static inline void 
rcu_idle_enter(void) { }
71c40fd0b5ceb3 Paul E. McKenney 2017-05-03   84  static inline void 
rcu_idle_exit(void) { }
71c40fd0b5ceb3 Paul E. McKenney 2017-05-03   85  static inline void 
rcu_irq_enter(void) { }
71c40fd0b5ceb3 Paul E. McKenney 2017-05-03   86  static inline void 
rcu_irq_exit_irqson(void) { }
71c40fd0b5ceb3 Paul E. McKenney 2017-05-03   87  static inline void 
rcu_irq_enter_irqson(void) { }
71c40fd0b5ceb3 Paul E. McKenney 2017-05-03   88  static inline void 
rcu_irq_exit(void) { }
07325d4a90d2d8 Thomas Gleixner  2020-05-21   89  static inline void 
rcu_irq_exit_check_preempt(void) { }
3fcd6a230fa7d0 Paul E. McKenney 2020-09-03   90  #define rcu_is_idle_cpu(cpu) \
3fcd6a230fa7d0 Paul E. McKenney 2020-09-03   91         (is_idle_task(current) 
&& !in_nmi() && !in_irq() && !in_serving_softirq())
71c40fd0b5ceb3 Paul E. McKenney 2017-05-03   92  static inline void 
exit_rcu(void) { }
3e31009898699d Paul E. McKenney 2018-06-21   93  static inline bool 
rcu_preempt_need_deferred_qs(struct task_struct *t)
3e31009898699d Paul E. McKenney 2018-06-21   94  {
3e31009898699d Paul E. McKenney 2018-06-21   95         return false;
3e31009898699d Paul E. McKenney 2018-06-21   96  }
3e31009898699d Paul E. McKenney 2018-06-21   97  static inline void 
rcu_preempt_deferred_qs(struct task_struct *t) { }
825c5bd2fd47d3 Paul E. McKenney 2017-05-26   98  #ifdef CONFIG_SRCU
584dc4ce552677 Teodora Baluta   2013-11-11   99  void 
rcu_scheduler_starting(void);
825c5bd2fd47d3 Paul E. McKenney 2017-05-26  100  #else /* #ifndef CONFIG_SRCU */
71c40fd0b5ceb3 Paul E. McKenney 2017-05-03  101  static inline void 
rcu_scheduler_starting(void) { }
825c5bd2fd47d3 Paul E. McKenney 2017-05-26  102  #endif /* #else #ifndef 
CONFIG_SRCU */
d2b1654f91f9e9 Paul E. McKenney 2017-05-11  103  static inline void 
rcu_end_inkernel_boot(void) { }
59ee0326ccf712 Paul E. McKenney 2019-11-28  104  static inline bool 
rcu_inkernel_boot_has_ended(void) { return true; }
71c40fd0b5ceb3 Paul E. McKenney 2017-05-03 @105  static inline bool 
rcu_is_watching(void) { return true; }
79ba7ff5a9925f Paul E. McKenney 2019-08-04  106  static inline void 
rcu_momentary_dyntick_idle(void) { }
a35d16905efc6a Byungchul Park   2019-08-05  107  static inline void 
kfree_rcu_scheduler_running(void) { }
6be7436d2245d3 Paul E. McKenney 2020-04-10  108  static inline bool 
rcu_gp_might_be_stalled(void) { return false; }
5c173eb8bcb9c1 Paul E. McKenney 2013-09-13  109  

:::::: The code at line 105 was first introduced by commit
:::::: 71c40fd0b5ceb300c6cb8753835d9d94a8bfc56f rcu: Move rcutiny.h to new 
empty/true/false-function style

:::::: TO: Paul E. McKenney <[email protected]>
:::::: CC: Paul E. McKenney <[email protected]>

---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/[email protected]

Attachment: .config.gz
Description: application/gzip

_______________________________________________
kbuild mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to