lists.openwall.net   lists  /  announce  owl-users  owl-dev  john-users  john-dev  passwdqc-users  yescrypt  popa3d-users  /  oss-security  kernel-hardening  musl  sabotage  tlsify  passwords  /  crypt-dev  xvendor  /  Bugtraq  Full-Disclosure  linux-kernel  linux-netdev  linux-ext4  linux-hardening  linux-cve-announce  PHC 
Open Source and information security mailing list archives
 
Hash Suite: Windows password security audit tool. GUI, reports in PDF.
[<prev] [next>] [day] [month] [year] [list]
Message-ID: <202008170259.cK9K6vMF%lkp@intel.com>
Date:   Mon, 17 Aug 2020 02:34:03 +0800
From:   kernel test robot <lkp@...el.com>
To:     Luc Van Oostenryck <luc.vanoostenryck@...il.com>
Cc:     kbuild-all@...ts.01.org, linux-kernel@...r.kernel.org,
        Masahiro Yamada <yamada.masahiro@...ionext.com>
Subject: arch/alpha/include/asm/irqflags.h:47:9: sparse: sparse: context
 imbalance in '_conn_request_state' - unexpected unlock

tree:   https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head:   2cc3c4b3c2e9c99e90aaf19cd801ff2c160f283c
commit: 80591e61a0f7e88deaada69844e4a31280c4a38f kbuild: tell sparse about the $ARCH
date:   9 months ago
config: alpha-randconfig-s032-20200817 (attached as .config)
compiler: alpha-linux-gcc (GCC) 9.3.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.2-180-g49f7e13a-dirty
        git checkout 80591e61a0f7e88deaada69844e4a31280c4a38f
        # save the attached .config to linux build tree
        COMPILER_INSTALL_PATH=$HOME/0day COMPILER=gcc-9.3.0 make.cross C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' ARCH=alpha 

If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <lkp@...el.com>


sparse warnings: (new ones prefixed by >>)

   drivers/block/drbd/drbd_state.c:1903:30: sparse: sparse: incompatible types in comparison expression (different address spaces):
   drivers/block/drbd/drbd_state.c:1903:30: sparse:    struct disk_conf [noderef] <asn:4> *
   drivers/block/drbd/drbd_state.c:1903:30: sparse:    struct disk_conf *
   drivers/block/drbd/drbd_state.c:834:22: sparse: sparse: incompatible types in comparison expression (different address spaces):
   drivers/block/drbd/drbd_state.c:834:22: sparse:    struct disk_conf [noderef] <asn:4> *
   drivers/block/drbd/drbd_state.c:834:22: sparse:    struct disk_conf *
   drivers/block/drbd/drbd_state.c:838:14: sparse: sparse: incompatible types in comparison expression (different address spaces):
   drivers/block/drbd/drbd_state.c:838:14: sparse:    struct net_conf [noderef] <asn:4> *
   drivers/block/drbd/drbd_state.c:838:14: sparse:    struct net_conf *
   drivers/block/drbd/drbd_state.c:1064:22: sparse: sparse: incompatible types in comparison expression (different address spaces):
   drivers/block/drbd/drbd_state.c:1064:22: sparse:    struct disk_conf [noderef] <asn:4> *
   drivers/block/drbd/drbd_state.c:1064:22: sparse:    struct disk_conf *
   drivers/block/drbd/drbd_state.c:1341:36: sparse: sparse: cast to non-scalar
   drivers/block/drbd/drbd_state.c:1342:36: sparse: sparse: cast to non-scalar
   drivers/block/drbd/drbd_state.c:2069:17: sparse: sparse: incompatible types in comparison expression (different address spaces):
   drivers/block/drbd/drbd_state.c:2069:17: sparse:    struct net_conf [noderef] <asn:4> *
   drivers/block/drbd/drbd_state.c:2069:17: sparse:    struct net_conf *
   drivers/block/drbd/drbd_state.c:838:14: sparse: sparse: context imbalance in 'is_valid_state' - different lock contexts for basic block
   drivers/block/drbd/drbd_state.c:1070:9: sparse: sparse: context imbalance in 'sanitize_state' - different lock contexts for basic block
   drivers/block/drbd/drbd_state.c:1949:25: sparse: sparse: context imbalance in 'after_state_ch' - unexpected unlock
   drivers/block/drbd/drbd_state.c: note: in included file (through include/linux/irqflags.h, include/linux/spinlock.h, include/linux/mmzone.h, ...):
>> arch/alpha/include/asm/irqflags.h:47:9: sparse: sparse: context imbalance in '_conn_request_state' - unexpected unlock

# https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=80591e61a0f7e88deaada69844e4a31280c4a38f
git remote add linus https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
git fetch --no-tags linus master
git checkout 80591e61a0f7e88deaada69844e4a31280c4a38f
vim +/_conn_request_state +47 arch/alpha/include/asm/irqflags.h

df9ee29270c11db David Howells 2010-10-07  44  
df9ee29270c11db David Howells 2010-10-07  45  static inline void arch_local_irq_enable(void)
df9ee29270c11db David Howells 2010-10-07  46  {
df9ee29270c11db David Howells 2010-10-07 @47  	barrier();
df9ee29270c11db David Howells 2010-10-07  48  	setipl(IPL_MIN);
df9ee29270c11db David Howells 2010-10-07  49  }
df9ee29270c11db David Howells 2010-10-07  50  

:::::: The code at line 47 was first introduced by commit
:::::: df9ee29270c11dba7d0fe0b83ce47a4d8e8d2101 Fix IRQ flag handling naming

:::::: TO: David Howells <dhowells@...hat.com>
:::::: CC: David Howells <dhowells@...hat.com>

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

Download attachment ".config.gz" of type "application/gzip" (29793 bytes)

Powered by blists - more mailing lists

Powered by Openwall GNU/*/Linux Powered by OpenVZ