* drivers/tty/synclinkmp.c:3642:29: sparse: sparse: incorrect type in argument 1 (different address spaces)
@ 2020-07-29 17:46 ` kernel test robot
0 siblings, 0 replies; 4+ messages in thread
From: kernel test robot @ 2020-07-29 17:46 UTC (permalink / raw)
To: Luc Van Oostenryck; +Cc: kbuild-all, linux-kernel
[-- Attachment #1: Type: text/plain, Size: 10271 bytes --]
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: 6ba1b005ffc388c2aeaddae20da29e4810dea298
commit: 670d0a4b10704667765f7d18f7592993d02783aa sparse: use identifiers to define address spaces
date: 6 weeks ago
config: microblaze-randconfig-s032-20200729 (attached as .config)
compiler: microblaze-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-97-gee4aea9a-dirty
git checkout 670d0a4b10704667765f7d18f7592993d02783aa
# 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=microblaze
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 >>)
drivers/tty/synclinkmp.c:3562:27: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected unsigned char *[usertype] memory_base @@ got void [noderef] __iomem * @@
drivers/tty/synclinkmp.c:3562:27: sparse: expected unsigned char *[usertype] memory_base
drivers/tty/synclinkmp.c:3562:27: sparse: got void [noderef] __iomem *
drivers/tty/synclinkmp.c:3571:24: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected unsigned char *[usertype] lcr_base @@ got void [noderef] __iomem * @@
drivers/tty/synclinkmp.c:3571:24: sparse: expected unsigned char *[usertype] lcr_base
drivers/tty/synclinkmp.c:3571:24: sparse: got void [noderef] __iomem *
drivers/tty/synclinkmp.c:3580:24: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected unsigned char *[usertype] sca_base @@ got void [noderef] __iomem * @@
drivers/tty/synclinkmp.c:3580:24: sparse: expected unsigned char *[usertype] sca_base
drivers/tty/synclinkmp.c:3580:24: sparse: got void [noderef] __iomem *
drivers/tty/synclinkmp.c:3589:29: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected unsigned char *[usertype] statctrl_base @@ got void [noderef] __iomem * @@
drivers/tty/synclinkmp.c:3589:29: sparse: expected unsigned char *[usertype] statctrl_base
drivers/tty/synclinkmp.c:3589:29: sparse: got void [noderef] __iomem *
>> drivers/tty/synclinkmp.c:3642:29: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void [noderef] __iomem *addr @@ got unsigned char *[usertype] memory_base @@
>> drivers/tty/synclinkmp.c:3642:29: sparse: expected void [noderef] __iomem *addr
drivers/tty/synclinkmp.c:3642:29: sparse: got unsigned char *[usertype] memory_base
>> drivers/tty/synclinkmp.c:3647:40: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void [noderef] __iomem *addr @@ got unsigned char * @@
drivers/tty/synclinkmp.c:3647:40: sparse: expected void [noderef] __iomem *addr
drivers/tty/synclinkmp.c:3647:40: sparse: got unsigned char *
drivers/tty/synclinkmp.c:3652:45: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void [noderef] __iomem *addr @@ got unsigned char * @@
drivers/tty/synclinkmp.c:3652:45: sparse: expected void [noderef] __iomem *addr
drivers/tty/synclinkmp.c:3652:45: sparse: got unsigned char *
drivers/tty/synclinkmp.c:3657:40: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void [noderef] __iomem *addr @@ got unsigned char * @@
drivers/tty/synclinkmp.c:3657:40: sparse: expected void [noderef] __iomem *addr
drivers/tty/synclinkmp.c:3657:40: sparse: got unsigned char *
drivers/tty/synclinkmp.c:5383:15: sparse: sparse: memset with byte count of 262144
--
>> drivers/scsi/aacraid/nark.c:35:28: sparse: sparse: incorrect type in argument 1 (different modifiers) @@ expected void [noderef] __iomem *addr @@ got void volatile [noderef] __iomem *base @@
>> drivers/scsi/aacraid/nark.c:35:28: sparse: expected void [noderef] __iomem *addr
>> drivers/scsi/aacraid/nark.c:35:28: sparse: got void volatile [noderef] __iomem *base
vim +3642 drivers/tty/synclinkmp.c
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3612
ce9f9f73af0338a drivers/char/synclinkmp.c Harvey Harrison 2008-04-28 3613 static void release_resources(SLMP_INFO *info)
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3614 {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3615 if ( debug_level >= DEBUG_LEVEL_INFO )
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3616 printk( "%s(%d):%s release_resources() entry\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3617 __FILE__,__LINE__,info->device_name );
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3618
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3619 if ( info->irq_requested ) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3620 free_irq(info->irq_level, info);
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3621 info->irq_requested = false;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3622 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3623
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3624 if ( info->shared_mem_requested ) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3625 release_mem_region(info->phys_memory_base,SCA_MEM_SIZE);
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3626 info->shared_mem_requested = false;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3627 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3628 if ( info->lcr_mem_requested ) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3629 release_mem_region(info->phys_lcr_base + info->lcr_offset,128);
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3630 info->lcr_mem_requested = false;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3631 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3632 if ( info->sca_base_requested ) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3633 release_mem_region(info->phys_sca_base + info->sca_offset,SCA_BASE_SIZE);
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3634 info->sca_base_requested = false;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3635 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3636 if ( info->sca_statctrl_requested ) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3637 release_mem_region(info->phys_statctrl_base + info->statctrl_offset,SCA_REG_SIZE);
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3638 info->sca_statctrl_requested = false;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3639 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3640
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3641 if (info->memory_base){
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 @3642 iounmap(info->memory_base);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3643 info->memory_base = NULL;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3644 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3645
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3646 if (info->sca_base) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 @3647 iounmap(info->sca_base - info->sca_offset);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3648 info->sca_base=NULL;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3649 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3650
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3651 if (info->statctrl_base) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3652 iounmap(info->statctrl_base - info->statctrl_offset);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3653 info->statctrl_base=NULL;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3654 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3655
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3656 if (info->lcr_base){
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3657 iounmap(info->lcr_base - info->lcr_offset);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3658 info->lcr_base = NULL;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3659 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3660
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3661 if ( debug_level >= DEBUG_LEVEL_INFO )
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3662 printk( "%s(%d):%s release_resources() exit\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3663 __FILE__,__LINE__,info->device_name );
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3664 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3665
:::::: The code at line 3642 was first introduced by commit
:::::: 1da177e4c3f41524e886b7f1b8a0c1fc7321cac2 Linux-2.6.12-rc2
:::::: TO: Linus Torvalds <torvalds@ppc970.osdl.org>
:::::: CC: Linus Torvalds <torvalds@ppc970.osdl.org>
---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all@lists.01.org
[-- Attachment #2: .config.gz --]
[-- Type: application/gzip, Size: 25942 bytes --]
^ permalink raw reply [flat|nested] 4+ messages in thread
* drivers/tty/synclinkmp.c:3642:29: sparse: sparse: incorrect type in argument 1 (different address spaces)
@ 2020-07-29 17:46 ` kernel test robot
0 siblings, 0 replies; 4+ messages in thread
From: kernel test robot @ 2020-07-29 17:46 UTC (permalink / raw)
To: kbuild-all
[-- Attachment #1: Type: text/plain, Size: 10390 bytes --]
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: 6ba1b005ffc388c2aeaddae20da29e4810dea298
commit: 670d0a4b10704667765f7d18f7592993d02783aa sparse: use identifiers to define address spaces
date: 6 weeks ago
config: microblaze-randconfig-s032-20200729 (attached as .config)
compiler: microblaze-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-97-gee4aea9a-dirty
git checkout 670d0a4b10704667765f7d18f7592993d02783aa
# 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=microblaze
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 >>)
drivers/tty/synclinkmp.c:3562:27: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected unsigned char *[usertype] memory_base @@ got void [noderef] __iomem * @@
drivers/tty/synclinkmp.c:3562:27: sparse: expected unsigned char *[usertype] memory_base
drivers/tty/synclinkmp.c:3562:27: sparse: got void [noderef] __iomem *
drivers/tty/synclinkmp.c:3571:24: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected unsigned char *[usertype] lcr_base @@ got void [noderef] __iomem * @@
drivers/tty/synclinkmp.c:3571:24: sparse: expected unsigned char *[usertype] lcr_base
drivers/tty/synclinkmp.c:3571:24: sparse: got void [noderef] __iomem *
drivers/tty/synclinkmp.c:3580:24: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected unsigned char *[usertype] sca_base @@ got void [noderef] __iomem * @@
drivers/tty/synclinkmp.c:3580:24: sparse: expected unsigned char *[usertype] sca_base
drivers/tty/synclinkmp.c:3580:24: sparse: got void [noderef] __iomem *
drivers/tty/synclinkmp.c:3589:29: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected unsigned char *[usertype] statctrl_base @@ got void [noderef] __iomem * @@
drivers/tty/synclinkmp.c:3589:29: sparse: expected unsigned char *[usertype] statctrl_base
drivers/tty/synclinkmp.c:3589:29: sparse: got void [noderef] __iomem *
>> drivers/tty/synclinkmp.c:3642:29: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void [noderef] __iomem *addr @@ got unsigned char *[usertype] memory_base @@
>> drivers/tty/synclinkmp.c:3642:29: sparse: expected void [noderef] __iomem *addr
drivers/tty/synclinkmp.c:3642:29: sparse: got unsigned char *[usertype] memory_base
>> drivers/tty/synclinkmp.c:3647:40: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void [noderef] __iomem *addr @@ got unsigned char * @@
drivers/tty/synclinkmp.c:3647:40: sparse: expected void [noderef] __iomem *addr
drivers/tty/synclinkmp.c:3647:40: sparse: got unsigned char *
drivers/tty/synclinkmp.c:3652:45: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void [noderef] __iomem *addr @@ got unsigned char * @@
drivers/tty/synclinkmp.c:3652:45: sparse: expected void [noderef] __iomem *addr
drivers/tty/synclinkmp.c:3652:45: sparse: got unsigned char *
drivers/tty/synclinkmp.c:3657:40: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void [noderef] __iomem *addr @@ got unsigned char * @@
drivers/tty/synclinkmp.c:3657:40: sparse: expected void [noderef] __iomem *addr
drivers/tty/synclinkmp.c:3657:40: sparse: got unsigned char *
drivers/tty/synclinkmp.c:5383:15: sparse: sparse: memset with byte count of 262144
--
>> drivers/scsi/aacraid/nark.c:35:28: sparse: sparse: incorrect type in argument 1 (different modifiers) @@ expected void [noderef] __iomem *addr @@ got void volatile [noderef] __iomem *base @@
>> drivers/scsi/aacraid/nark.c:35:28: sparse: expected void [noderef] __iomem *addr
>> drivers/scsi/aacraid/nark.c:35:28: sparse: got void volatile [noderef] __iomem *base
vim +3642 drivers/tty/synclinkmp.c
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3612
ce9f9f73af0338a drivers/char/synclinkmp.c Harvey Harrison 2008-04-28 3613 static void release_resources(SLMP_INFO *info)
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3614 {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3615 if ( debug_level >= DEBUG_LEVEL_INFO )
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3616 printk( "%s(%d):%s release_resources() entry\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3617 __FILE__,__LINE__,info->device_name );
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3618
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3619 if ( info->irq_requested ) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3620 free_irq(info->irq_level, info);
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3621 info->irq_requested = false;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3622 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3623
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3624 if ( info->shared_mem_requested ) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3625 release_mem_region(info->phys_memory_base,SCA_MEM_SIZE);
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3626 info->shared_mem_requested = false;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3627 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3628 if ( info->lcr_mem_requested ) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3629 release_mem_region(info->phys_lcr_base + info->lcr_offset,128);
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3630 info->lcr_mem_requested = false;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3631 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3632 if ( info->sca_base_requested ) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3633 release_mem_region(info->phys_sca_base + info->sca_offset,SCA_BASE_SIZE);
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3634 info->sca_base_requested = false;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3635 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3636 if ( info->sca_statctrl_requested ) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3637 release_mem_region(info->phys_statctrl_base + info->statctrl_offset,SCA_REG_SIZE);
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3638 info->sca_statctrl_requested = false;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3639 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3640
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3641 if (info->memory_base){
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 @3642 iounmap(info->memory_base);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3643 info->memory_base = NULL;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3644 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3645
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3646 if (info->sca_base) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 @3647 iounmap(info->sca_base - info->sca_offset);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3648 info->sca_base=NULL;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3649 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3650
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3651 if (info->statctrl_base) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3652 iounmap(info->statctrl_base - info->statctrl_offset);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3653 info->statctrl_base=NULL;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3654 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3655
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3656 if (info->lcr_base){
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3657 iounmap(info->lcr_base - info->lcr_offset);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3658 info->lcr_base = NULL;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3659 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3660
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3661 if ( debug_level >= DEBUG_LEVEL_INFO )
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3662 printk( "%s(%d):%s release_resources() exit\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3663 __FILE__,__LINE__,info->device_name );
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3664 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3665
:::::: The code at line 3642 was first introduced by commit
:::::: 1da177e4c3f41524e886b7f1b8a0c1fc7321cac2 Linux-2.6.12-rc2
:::::: TO: Linus Torvalds <torvalds@ppc970.osdl.org>
:::::: CC: Linus Torvalds <torvalds@ppc970.osdl.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: 25942 bytes --]
^ permalink raw reply [flat|nested] 4+ messages in thread
* drivers/tty/synclinkmp.c:3642:29: sparse: sparse: incorrect type in argument 1 (different address spaces)
@ 2020-06-24 17:09 ` kernel test robot
0 siblings, 0 replies; 4+ messages in thread
From: kernel test robot @ 2020-06-24 17:09 UTC (permalink / raw)
To: Luc Van Oostenryck; +Cc: kbuild-all, linux-kernel
[-- Attachment #1: Type: text/plain, Size: 19833 bytes --]
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: 3e08a95294a4fb3702bb3d35ed08028433c37fe6
commit: 670d0a4b10704667765f7d18f7592993d02783aa sparse: use identifiers to define address spaces
date: 6 days ago
config: arm-randconfig-s032-20200624 (attached as .config)
compiler: arm-linux-gnueabi-gcc (GCC) 9.3.0
reproduce:
# apt-get install sparse
# sparse version: v0.6.2-dirty
git checkout 670d0a4b10704667765f7d18f7592993d02783aa
# save the attached .config to linux build tree
make W=1 C=1 ARCH=arm CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__'
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 >>)
drivers/tty/synclinkmp.c:3562:27: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected unsigned char *[usertype] memory_base @@ got void [noderef] __iomem * @@
drivers/tty/synclinkmp.c:3562:27: sparse: expected unsigned char *[usertype] memory_base
drivers/tty/synclinkmp.c:3562:27: sparse: got void [noderef] __iomem *
drivers/tty/synclinkmp.c:3571:24: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected unsigned char *[usertype] lcr_base @@ got void [noderef] __iomem * @@
drivers/tty/synclinkmp.c:3571:24: sparse: expected unsigned char *[usertype] lcr_base
drivers/tty/synclinkmp.c:3571:24: sparse: got void [noderef] __iomem *
drivers/tty/synclinkmp.c:3580:24: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected unsigned char *[usertype] sca_base @@ got void [noderef] __iomem * @@
drivers/tty/synclinkmp.c:3580:24: sparse: expected unsigned char *[usertype] sca_base
drivers/tty/synclinkmp.c:3580:24: sparse: got void [noderef] __iomem *
drivers/tty/synclinkmp.c:3589:29: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected unsigned char *[usertype] statctrl_base @@ got void [noderef] __iomem * @@
drivers/tty/synclinkmp.c:3589:29: sparse: expected unsigned char *[usertype] statctrl_base
drivers/tty/synclinkmp.c:3589:29: sparse: got void [noderef] __iomem *
>> drivers/tty/synclinkmp.c:3642:29: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void volatile [noderef] __iomem *iomem_cookie @@ got unsigned char *[usertype] memory_base @@
>> drivers/tty/synclinkmp.c:3642:29: sparse: expected void volatile [noderef] __iomem *iomem_cookie
drivers/tty/synclinkmp.c:3642:29: sparse: got unsigned char *[usertype] memory_base
>> drivers/tty/synclinkmp.c:3647:40: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void volatile [noderef] __iomem *iomem_cookie @@ got unsigned char * @@
drivers/tty/synclinkmp.c:3647:40: sparse: expected void volatile [noderef] __iomem *iomem_cookie
drivers/tty/synclinkmp.c:3647:40: sparse: got unsigned char *
drivers/tty/synclinkmp.c:3652:45: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void volatile [noderef] __iomem *iomem_cookie @@ got unsigned char * @@
drivers/tty/synclinkmp.c:3652:45: sparse: expected void volatile [noderef] __iomem *iomem_cookie
drivers/tty/synclinkmp.c:3652:45: sparse: got unsigned char *
drivers/tty/synclinkmp.c:3657:40: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void volatile [noderef] __iomem *iomem_cookie @@ got unsigned char * @@
drivers/tty/synclinkmp.c:3657:40: sparse: expected void volatile [noderef] __iomem *iomem_cookie
drivers/tty/synclinkmp.c:3657:40: sparse: got unsigned char *
drivers/tty/synclinkmp.c:5383:15: sparse: sparse: memset with byte count of 262144
vim +3642 drivers/tty/synclinkmp.c
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3523
ce9f9f73af0338a drivers/char/synclinkmp.c Harvey Harrison 2008-04-28 3524 static int claim_resources(SLMP_INFO *info)
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3525 {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3526 if (request_mem_region(info->phys_memory_base,SCA_MEM_SIZE,"synclinkmp") == NULL) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3527 printk( "%s(%d):%s mem addr conflict, Addr=%08X\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3528 __FILE__,__LINE__,info->device_name, info->phys_memory_base);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3529 info->init_error = DiagStatus_AddressConflict;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3530 goto errout;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3531 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3532 else
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3533 info->shared_mem_requested = true;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3534
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3535 if (request_mem_region(info->phys_lcr_base + info->lcr_offset,128,"synclinkmp") == NULL) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3536 printk( "%s(%d):%s lcr mem addr conflict, Addr=%08X\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3537 __FILE__,__LINE__,info->device_name, info->phys_lcr_base);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3538 info->init_error = DiagStatus_AddressConflict;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3539 goto errout;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3540 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3541 else
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3542 info->lcr_mem_requested = true;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3543
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3544 if (request_mem_region(info->phys_sca_base + info->sca_offset,SCA_BASE_SIZE,"synclinkmp") == NULL) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3545 printk( "%s(%d):%s sca mem addr conflict, Addr=%08X\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3546 __FILE__,__LINE__,info->device_name, info->phys_sca_base);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3547 info->init_error = DiagStatus_AddressConflict;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3548 goto errout;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3549 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3550 else
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3551 info->sca_base_requested = true;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3552
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3553 if (request_mem_region(info->phys_statctrl_base + info->statctrl_offset,SCA_REG_SIZE,"synclinkmp") == NULL) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3554 printk( "%s(%d):%s stat/ctrl mem addr conflict, Addr=%08X\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3555 __FILE__,__LINE__,info->device_name, info->phys_statctrl_base);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3556 info->init_error = DiagStatus_AddressConflict;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3557 goto errout;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3558 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3559 else
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3560 info->sca_statctrl_requested = true;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3561
4bdc0d676a64314 drivers/tty/synclinkmp.c Christoph Hellwig 2020-01-06 3562 info->memory_base = ioremap(info->phys_memory_base,
24cb233520f0197 drivers/char/synclinkmp.c Alan Cox 2008-04-30 3563 SCA_MEM_SIZE);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3564 if (!info->memory_base) {
25985edcedea639 drivers/tty/synclinkmp.c Lucas De Marchi 2011-03-30 3565 printk( "%s(%d):%s Can't map shared memory, MemAddr=%08X\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3566 __FILE__,__LINE__,info->device_name, info->phys_memory_base );
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3567 info->init_error = DiagStatus_CantAssignPciResources;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3568 goto errout;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3569 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3570
4bdc0d676a64314 drivers/tty/synclinkmp.c Christoph Hellwig 2020-01-06 @3571 info->lcr_base = ioremap(info->phys_lcr_base, PAGE_SIZE);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3572 if (!info->lcr_base) {
25985edcedea639 drivers/tty/synclinkmp.c Lucas De Marchi 2011-03-30 3573 printk( "%s(%d):%s Can't map LCR memory, MemAddr=%08X\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3574 __FILE__,__LINE__,info->device_name, info->phys_lcr_base );
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3575 info->init_error = DiagStatus_CantAssignPciResources;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3576 goto errout;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3577 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3578 info->lcr_base += info->lcr_offset;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3579
4bdc0d676a64314 drivers/tty/synclinkmp.c Christoph Hellwig 2020-01-06 @3580 info->sca_base = ioremap(info->phys_sca_base, PAGE_SIZE);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3581 if (!info->sca_base) {
25985edcedea639 drivers/tty/synclinkmp.c Lucas De Marchi 2011-03-30 3582 printk( "%s(%d):%s Can't map SCA memory, MemAddr=%08X\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3583 __FILE__,__LINE__,info->device_name, info->phys_sca_base );
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3584 info->init_error = DiagStatus_CantAssignPciResources;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3585 goto errout;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3586 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3587 info->sca_base += info->sca_offset;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3588
4bdc0d676a64314 drivers/tty/synclinkmp.c Christoph Hellwig 2020-01-06 3589 info->statctrl_base = ioremap(info->phys_statctrl_base,
24cb233520f0197 drivers/char/synclinkmp.c Alan Cox 2008-04-30 3590 PAGE_SIZE);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3591 if (!info->statctrl_base) {
25985edcedea639 drivers/tty/synclinkmp.c Lucas De Marchi 2011-03-30 3592 printk( "%s(%d):%s Can't map SCA Status/Control memory, MemAddr=%08X\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3593 __FILE__,__LINE__,info->device_name, info->phys_statctrl_base );
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3594 info->init_error = DiagStatus_CantAssignPciResources;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3595 goto errout;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3596 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3597 info->statctrl_base += info->statctrl_offset;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3598
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3599 if ( !memory_test(info) ) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3600 printk( "%s(%d):Shared Memory Test failed for device %s MemAddr=%08X\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3601 __FILE__,__LINE__,info->device_name, info->phys_memory_base );
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3602 info->init_error = DiagStatus_MemoryError;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3603 goto errout;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3604 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3605
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3606 return 0;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3607
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3608 errout:
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3609 release_resources( info );
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3610 return -ENODEV;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3611 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3612
ce9f9f73af0338a drivers/char/synclinkmp.c Harvey Harrison 2008-04-28 3613 static void release_resources(SLMP_INFO *info)
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3614 {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3615 if ( debug_level >= DEBUG_LEVEL_INFO )
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3616 printk( "%s(%d):%s release_resources() entry\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3617 __FILE__,__LINE__,info->device_name );
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3618
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3619 if ( info->irq_requested ) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3620 free_irq(info->irq_level, info);
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3621 info->irq_requested = false;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3622 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3623
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3624 if ( info->shared_mem_requested ) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3625 release_mem_region(info->phys_memory_base,SCA_MEM_SIZE);
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3626 info->shared_mem_requested = false;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3627 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3628 if ( info->lcr_mem_requested ) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3629 release_mem_region(info->phys_lcr_base + info->lcr_offset,128);
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3630 info->lcr_mem_requested = false;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3631 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3632 if ( info->sca_base_requested ) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3633 release_mem_region(info->phys_sca_base + info->sca_offset,SCA_BASE_SIZE);
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3634 info->sca_base_requested = false;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3635 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3636 if ( info->sca_statctrl_requested ) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3637 release_mem_region(info->phys_statctrl_base + info->statctrl_offset,SCA_REG_SIZE);
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3638 info->sca_statctrl_requested = false;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3639 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3640
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3641 if (info->memory_base){
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 @3642 iounmap(info->memory_base);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3643 info->memory_base = NULL;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3644 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3645
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3646 if (info->sca_base) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 @3647 iounmap(info->sca_base - info->sca_offset);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3648 info->sca_base=NULL;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3649 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3650
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3651 if (info->statctrl_base) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3652 iounmap(info->statctrl_base - info->statctrl_offset);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3653 info->statctrl_base=NULL;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3654 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3655
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3656 if (info->lcr_base){
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3657 iounmap(info->lcr_base - info->lcr_offset);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3658 info->lcr_base = NULL;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3659 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3660
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3661 if ( debug_level >= DEBUG_LEVEL_INFO )
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3662 printk( "%s(%d):%s release_resources() exit\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3663 __FILE__,__LINE__,info->device_name );
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3664 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3665
:::::: The code at line 3642 was first introduced by commit
:::::: 1da177e4c3f41524e886b7f1b8a0c1fc7321cac2 Linux-2.6.12-rc2
:::::: TO: Linus Torvalds <torvalds@ppc970.osdl.org>
:::::: CC: Linus Torvalds <torvalds@ppc970.osdl.org>
---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all@lists.01.org
[-- Attachment #2: .config.gz --]
[-- Type: application/gzip, Size: 23304 bytes --]
^ permalink raw reply [flat|nested] 4+ messages in thread
* drivers/tty/synclinkmp.c:3642:29: sparse: sparse: incorrect type in argument 1 (different address spaces)
@ 2020-06-24 17:09 ` kernel test robot
0 siblings, 0 replies; 4+ messages in thread
From: kernel test robot @ 2020-06-24 17:09 UTC (permalink / raw)
To: kbuild-all
[-- Attachment #1: Type: text/plain, Size: 20035 bytes --]
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: 3e08a95294a4fb3702bb3d35ed08028433c37fe6
commit: 670d0a4b10704667765f7d18f7592993d02783aa sparse: use identifiers to define address spaces
date: 6 days ago
config: arm-randconfig-s032-20200624 (attached as .config)
compiler: arm-linux-gnueabi-gcc (GCC) 9.3.0
reproduce:
# apt-get install sparse
# sparse version: v0.6.2-dirty
git checkout 670d0a4b10704667765f7d18f7592993d02783aa
# save the attached .config to linux build tree
make W=1 C=1 ARCH=arm CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__'
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 >>)
drivers/tty/synclinkmp.c:3562:27: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected unsigned char *[usertype] memory_base @@ got void [noderef] __iomem * @@
drivers/tty/synclinkmp.c:3562:27: sparse: expected unsigned char *[usertype] memory_base
drivers/tty/synclinkmp.c:3562:27: sparse: got void [noderef] __iomem *
drivers/tty/synclinkmp.c:3571:24: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected unsigned char *[usertype] lcr_base @@ got void [noderef] __iomem * @@
drivers/tty/synclinkmp.c:3571:24: sparse: expected unsigned char *[usertype] lcr_base
drivers/tty/synclinkmp.c:3571:24: sparse: got void [noderef] __iomem *
drivers/tty/synclinkmp.c:3580:24: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected unsigned char *[usertype] sca_base @@ got void [noderef] __iomem * @@
drivers/tty/synclinkmp.c:3580:24: sparse: expected unsigned char *[usertype] sca_base
drivers/tty/synclinkmp.c:3580:24: sparse: got void [noderef] __iomem *
drivers/tty/synclinkmp.c:3589:29: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected unsigned char *[usertype] statctrl_base @@ got void [noderef] __iomem * @@
drivers/tty/synclinkmp.c:3589:29: sparse: expected unsigned char *[usertype] statctrl_base
drivers/tty/synclinkmp.c:3589:29: sparse: got void [noderef] __iomem *
>> drivers/tty/synclinkmp.c:3642:29: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void volatile [noderef] __iomem *iomem_cookie @@ got unsigned char *[usertype] memory_base @@
>> drivers/tty/synclinkmp.c:3642:29: sparse: expected void volatile [noderef] __iomem *iomem_cookie
drivers/tty/synclinkmp.c:3642:29: sparse: got unsigned char *[usertype] memory_base
>> drivers/tty/synclinkmp.c:3647:40: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void volatile [noderef] __iomem *iomem_cookie @@ got unsigned char * @@
drivers/tty/synclinkmp.c:3647:40: sparse: expected void volatile [noderef] __iomem *iomem_cookie
drivers/tty/synclinkmp.c:3647:40: sparse: got unsigned char *
drivers/tty/synclinkmp.c:3652:45: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void volatile [noderef] __iomem *iomem_cookie @@ got unsigned char * @@
drivers/tty/synclinkmp.c:3652:45: sparse: expected void volatile [noderef] __iomem *iomem_cookie
drivers/tty/synclinkmp.c:3652:45: sparse: got unsigned char *
drivers/tty/synclinkmp.c:3657:40: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void volatile [noderef] __iomem *iomem_cookie @@ got unsigned char * @@
drivers/tty/synclinkmp.c:3657:40: sparse: expected void volatile [noderef] __iomem *iomem_cookie
drivers/tty/synclinkmp.c:3657:40: sparse: got unsigned char *
drivers/tty/synclinkmp.c:5383:15: sparse: sparse: memset with byte count of 262144
vim +3642 drivers/tty/synclinkmp.c
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3523
ce9f9f73af0338a drivers/char/synclinkmp.c Harvey Harrison 2008-04-28 3524 static int claim_resources(SLMP_INFO *info)
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3525 {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3526 if (request_mem_region(info->phys_memory_base,SCA_MEM_SIZE,"synclinkmp") == NULL) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3527 printk( "%s(%d):%s mem addr conflict, Addr=%08X\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3528 __FILE__,__LINE__,info->device_name, info->phys_memory_base);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3529 info->init_error = DiagStatus_AddressConflict;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3530 goto errout;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3531 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3532 else
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3533 info->shared_mem_requested = true;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3534
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3535 if (request_mem_region(info->phys_lcr_base + info->lcr_offset,128,"synclinkmp") == NULL) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3536 printk( "%s(%d):%s lcr mem addr conflict, Addr=%08X\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3537 __FILE__,__LINE__,info->device_name, info->phys_lcr_base);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3538 info->init_error = DiagStatus_AddressConflict;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3539 goto errout;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3540 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3541 else
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3542 info->lcr_mem_requested = true;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3543
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3544 if (request_mem_region(info->phys_sca_base + info->sca_offset,SCA_BASE_SIZE,"synclinkmp") == NULL) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3545 printk( "%s(%d):%s sca mem addr conflict, Addr=%08X\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3546 __FILE__,__LINE__,info->device_name, info->phys_sca_base);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3547 info->init_error = DiagStatus_AddressConflict;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3548 goto errout;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3549 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3550 else
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3551 info->sca_base_requested = true;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3552
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3553 if (request_mem_region(info->phys_statctrl_base + info->statctrl_offset,SCA_REG_SIZE,"synclinkmp") == NULL) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3554 printk( "%s(%d):%s stat/ctrl mem addr conflict, Addr=%08X\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3555 __FILE__,__LINE__,info->device_name, info->phys_statctrl_base);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3556 info->init_error = DiagStatus_AddressConflict;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3557 goto errout;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3558 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3559 else
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3560 info->sca_statctrl_requested = true;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3561
4bdc0d676a64314 drivers/tty/synclinkmp.c Christoph Hellwig 2020-01-06 3562 info->memory_base = ioremap(info->phys_memory_base,
24cb233520f0197 drivers/char/synclinkmp.c Alan Cox 2008-04-30 3563 SCA_MEM_SIZE);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3564 if (!info->memory_base) {
25985edcedea639 drivers/tty/synclinkmp.c Lucas De Marchi 2011-03-30 3565 printk( "%s(%d):%s Can't map shared memory, MemAddr=%08X\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3566 __FILE__,__LINE__,info->device_name, info->phys_memory_base );
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3567 info->init_error = DiagStatus_CantAssignPciResources;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3568 goto errout;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3569 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3570
4bdc0d676a64314 drivers/tty/synclinkmp.c Christoph Hellwig 2020-01-06 @3571 info->lcr_base = ioremap(info->phys_lcr_base, PAGE_SIZE);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3572 if (!info->lcr_base) {
25985edcedea639 drivers/tty/synclinkmp.c Lucas De Marchi 2011-03-30 3573 printk( "%s(%d):%s Can't map LCR memory, MemAddr=%08X\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3574 __FILE__,__LINE__,info->device_name, info->phys_lcr_base );
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3575 info->init_error = DiagStatus_CantAssignPciResources;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3576 goto errout;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3577 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3578 info->lcr_base += info->lcr_offset;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3579
4bdc0d676a64314 drivers/tty/synclinkmp.c Christoph Hellwig 2020-01-06 @3580 info->sca_base = ioremap(info->phys_sca_base, PAGE_SIZE);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3581 if (!info->sca_base) {
25985edcedea639 drivers/tty/synclinkmp.c Lucas De Marchi 2011-03-30 3582 printk( "%s(%d):%s Can't map SCA memory, MemAddr=%08X\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3583 __FILE__,__LINE__,info->device_name, info->phys_sca_base );
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3584 info->init_error = DiagStatus_CantAssignPciResources;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3585 goto errout;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3586 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3587 info->sca_base += info->sca_offset;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3588
4bdc0d676a64314 drivers/tty/synclinkmp.c Christoph Hellwig 2020-01-06 3589 info->statctrl_base = ioremap(info->phys_statctrl_base,
24cb233520f0197 drivers/char/synclinkmp.c Alan Cox 2008-04-30 3590 PAGE_SIZE);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3591 if (!info->statctrl_base) {
25985edcedea639 drivers/tty/synclinkmp.c Lucas De Marchi 2011-03-30 3592 printk( "%s(%d):%s Can't map SCA Status/Control memory, MemAddr=%08X\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3593 __FILE__,__LINE__,info->device_name, info->phys_statctrl_base );
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3594 info->init_error = DiagStatus_CantAssignPciResources;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3595 goto errout;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3596 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3597 info->statctrl_base += info->statctrl_offset;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3598
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3599 if ( !memory_test(info) ) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3600 printk( "%s(%d):Shared Memory Test failed for device %s MemAddr=%08X\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3601 __FILE__,__LINE__,info->device_name, info->phys_memory_base );
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3602 info->init_error = DiagStatus_MemoryError;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3603 goto errout;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3604 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3605
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3606 return 0;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3607
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3608 errout:
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3609 release_resources( info );
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3610 return -ENODEV;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3611 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3612
ce9f9f73af0338a drivers/char/synclinkmp.c Harvey Harrison 2008-04-28 3613 static void release_resources(SLMP_INFO *info)
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3614 {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3615 if ( debug_level >= DEBUG_LEVEL_INFO )
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3616 printk( "%s(%d):%s release_resources() entry\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3617 __FILE__,__LINE__,info->device_name );
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3618
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3619 if ( info->irq_requested ) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3620 free_irq(info->irq_level, info);
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3621 info->irq_requested = false;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3622 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3623
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3624 if ( info->shared_mem_requested ) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3625 release_mem_region(info->phys_memory_base,SCA_MEM_SIZE);
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3626 info->shared_mem_requested = false;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3627 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3628 if ( info->lcr_mem_requested ) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3629 release_mem_region(info->phys_lcr_base + info->lcr_offset,128);
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3630 info->lcr_mem_requested = false;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3631 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3632 if ( info->sca_base_requested ) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3633 release_mem_region(info->phys_sca_base + info->sca_offset,SCA_BASE_SIZE);
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3634 info->sca_base_requested = false;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3635 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3636 if ( info->sca_statctrl_requested ) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3637 release_mem_region(info->phys_statctrl_base + info->statctrl_offset,SCA_REG_SIZE);
0fab6de09c71a97 drivers/char/synclinkmp.c Joe Perches 2008-04-28 3638 info->sca_statctrl_requested = false;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3639 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3640
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3641 if (info->memory_base){
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 @3642 iounmap(info->memory_base);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3643 info->memory_base = NULL;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3644 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3645
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3646 if (info->sca_base) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 @3647 iounmap(info->sca_base - info->sca_offset);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3648 info->sca_base=NULL;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3649 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3650
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3651 if (info->statctrl_base) {
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3652 iounmap(info->statctrl_base - info->statctrl_offset);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3653 info->statctrl_base=NULL;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3654 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3655
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3656 if (info->lcr_base){
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3657 iounmap(info->lcr_base - info->lcr_offset);
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3658 info->lcr_base = NULL;
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3659 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3660
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3661 if ( debug_level >= DEBUG_LEVEL_INFO )
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3662 printk( "%s(%d):%s release_resources() exit\n",
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3663 __FILE__,__LINE__,info->device_name );
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3664 }
^1da177e4c3f415 drivers/char/synclinkmp.c Linus Torvalds 2005-04-16 3665
:::::: The code at line 3642 was first introduced by commit
:::::: 1da177e4c3f41524e886b7f1b8a0c1fc7321cac2 Linux-2.6.12-rc2
:::::: TO: Linus Torvalds <torvalds@ppc970.osdl.org>
:::::: CC: Linus Torvalds <torvalds@ppc970.osdl.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: 23304 bytes --]
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2020-07-29 17:57 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-07-29 17:46 drivers/tty/synclinkmp.c:3642:29: sparse: sparse: incorrect type in argument 1 (different address spaces) kernel test robot
2020-07-29 17:46 ` kernel test robot
-- strict thread matches above, loose matches on Subject: below --
2020-06-24 17:09 kernel test robot
2020-06-24 17:09 ` kernel test robot
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.