drivers/video/fbdev/atmel_lcdfb.c:362:9: sparse: sparse: incorrect type in argument 1 (different address spaces)

From: kernel test robot
Date: Fri Jul 03 2020 - 19:01:50 EST

Next message: Jarkko Sakkinen: "Re: [PATCH v33 11/21] x86/sgx: Linux Enclave Driver"
Previous message: kernel test robot: "Re: [PATCH] firmware: arm_scmi: fix notifications macros argument reuse"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: 0c7d7d1fada70420851b63f2e2669cb4976a303b
commit: 670d0a4b10704667765f7d18f7592993d02783aa sparse: use identifiers to define address spaces
date: 2 weeks ago
config: x86_64-randconfig-s021-20200704 (attached as .config)
compiler: gcc-9 (Debian 9.3.0-14) 9.3.0
reproduce:
# apt-get install sparse
# sparse version: v0.6.2-3-gfa153962-dirty
git checkout 670d0a4b10704667765f7d18f7592993d02783aa
# 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@xxxxxxxxx>

sparse warnings: (new ones prefixed by >>)

drivers/video/fbdev/atmel_lcdfb.c:354:27: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected char [noderef] __iomem *screen_base @@ got void * @@
drivers/video/fbdev/atmel_lcdfb.c:354:27: sparse: expected char [noderef] __iomem *screen_base
drivers/video/fbdev/atmel_lcdfb.c:354:27: sparse: got void *
>> drivers/video/fbdev/atmel_lcdfb.c:362:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void *s @@ got char [noderef] __iomem *screen_base @@
drivers/video/fbdev/atmel_lcdfb.c:362:9: sparse: expected void *s
drivers/video/fbdev/atmel_lcdfb.c:362:9: sparse: got char [noderef] __iomem *screen_base
drivers/video/fbdev/atmel_lcdfb.c:333:59: sparse: sparse: incorrect type in argument 3 (different address spaces) @@ expected void *cpu_addr @@ got char [noderef] __iomem *screen_base @@
drivers/video/fbdev/atmel_lcdfb.c:333:59: sparse: expected void *cpu_addr
drivers/video/fbdev/atmel_lcdfb.c:333:59: sparse: got char [noderef] __iomem *screen_base
drivers/video/fbdev/atmel_lcdfb.c:333:59: sparse: sparse: incorrect type in argument 3 (different address spaces) @@ expected void *cpu_addr @@ got char [noderef] __iomem *screen_base @@
drivers/video/fbdev/atmel_lcdfb.c:333:59: sparse: expected void *cpu_addr
drivers/video/fbdev/atmel_lcdfb.c:333:59: sparse: got char [noderef] __iomem *screen_base
--
>> drivers/video/fbdev/geode/lxfb_ops.c:604:9: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void const *from @@ got void [noderef] __iomem *gp_regs @@
drivers/video/fbdev/geode/lxfb_ops.c:604:9: sparse: expected void const *from
drivers/video/fbdev/geode/lxfb_ops.c:604:9: sparse: got void [noderef] __iomem *gp_regs
>> drivers/video/fbdev/geode/lxfb_ops.c:605:9: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void const *from @@ got void [noderef] __iomem *dc_regs @@
drivers/video/fbdev/geode/lxfb_ops.c:605:9: sparse: expected void const *from
drivers/video/fbdev/geode/lxfb_ops.c:605:9: sparse: got void [noderef] __iomem *dc_regs
>> drivers/video/fbdev/geode/lxfb_ops.c:606:9: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void const *from @@ got void [noderef] __iomem *vp_regs @@
drivers/video/fbdev/geode/lxfb_ops.c:606:9: sparse: expected void const *from
drivers/video/fbdev/geode/lxfb_ops.c:606:9: sparse: got void [noderef] __iomem *vp_regs
>> drivers/video/fbdev/geode/lxfb_ops.c:607:9: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void const *from @@ got void [noderef] __iomem * @@
drivers/video/fbdev/geode/lxfb_ops.c:607:9: sparse: expected void const *from
drivers/video/fbdev/geode/lxfb_ops.c:607:9: sparse: got void [noderef] __iomem *
drivers/video/fbdev/geode/lxfb_ops.c:635:9: sparse: sparse: incorrect type in argument 2 (different address spaces) @@ expected void const *from @@ got void [noderef] __iomem * @@
drivers/video/fbdev/geode/lxfb_ops.c:635:9: sparse: expected void const *from
drivers/video/fbdev/geode/lxfb_ops.c:635:9: sparse: got void [noderef] __iomem *
>> drivers/video/fbdev/geode/lxfb_ops.c:761:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void *to @@ got void [noderef] __iomem * @@
drivers/video/fbdev/geode/lxfb_ops.c:761:9: sparse: expected void *to
drivers/video/fbdev/geode/lxfb_ops.c:761:9: sparse: got void [noderef] __iomem *
--
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1483:13: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected int enum vchiq_status ( *__pu_val )( ... ) @@ got void [noderef] __user * @@
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1483:13: sparse: expected int enum vchiq_status ( *__pu_val )( ... )
>> drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1483:13: sparse: got void [noderef] __user *
>> drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1485:13: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected void *__pu_val @@ got void [noderef] __user * @@
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1485:13: sparse: expected void *__pu_val
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1485:13: sparse: got void [noderef] __user *
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1611:13: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected void *__pu_val @@ got void [noderef] __user * @@
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1611:13: sparse: expected void *__pu_val
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1611:13: sparse: got void [noderef] __user *
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1613:13: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected void *__pu_val @@ got void [noderef] __user * @@
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1613:13: sparse: expected void *__pu_val
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1613:13: sparse: got void [noderef] __user *
>> drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1688:13: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct vchiq_completion_data *__pu_val @@ got void [noderef] __user * @@
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1688:13: sparse: expected struct vchiq_completion_data *__pu_val
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1688:13: sparse: got void [noderef] __user *
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1691:13: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected void **__pu_val @@ got void [noderef] __user * @@
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1691:13: sparse: expected void **__pu_val
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1691:13: sparse: got void [noderef] __user *
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1738:13: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct vchiq_completion_data *__pu_val @@ got struct vchiq_completion_data [noderef] __user *[assigned] completion @@
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1738:13: sparse: expected struct vchiq_completion_data *__pu_val
>> drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1738:13: sparse: got struct vchiq_completion_data [noderef] __user *[assigned] completion
>> drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1768:59: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void [noderef] __user *uptr @@ got struct vchiq_header *[addressable] header @@
>> drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1768:59: sparse: expected void [noderef] __user *uptr
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1768:59: sparse: got struct vchiq_header *[addressable] header
>> drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1770:45: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void [noderef] __user *uptr @@ got void *[addressable] service_userdata @@
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1770:45: sparse: expected void [noderef] __user *uptr
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1770:45: sparse: got void *[addressable] service_userdata
>> drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1772:45: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void [noderef] __user *uptr @@ got void *[addressable] bulk_userdata @@
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1772:45: sparse: expected void [noderef] __user *uptr
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1772:45: sparse: got void *[addressable] bulk_userdata
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1826:13: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected void *__pu_val @@ got void [noderef] __user * @@
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1826:13: sparse: expected void *__pu_val
drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c:1826:13: sparse: got void [noderef] __user *

vim +362 drivers/video/fbdev/atmel_lcdfb.c

14340586148e7c drivers/video/atmel_lcdfb.c Nicolas Ferre 2007-05-10 336
14340586148e7c drivers/video/atmel_lcdfb.c Nicolas Ferre 2007-05-10 337 /**
14340586148e7c drivers/video/atmel_lcdfb.c Nicolas Ferre 2007-05-10 338 * atmel_lcdfb_alloc_video_memory - Allocate framebuffer memory
14340586148e7c drivers/video/atmel_lcdfb.c Nicolas Ferre 2007-05-10 339 * @sinfo: the frame buffer to allocate memory for
1d01e83557105e drivers/video/atmel_lcdfb.c Krzysztof Helt 2009-07-08 340 *
1d01e83557105e drivers/video/atmel_lcdfb.c Krzysztof Helt 2009-07-08 341 * This function is called only from the atmel_lcdfb_probe()
1d01e83557105e drivers/video/atmel_lcdfb.c Krzysztof Helt 2009-07-08 342 * so no locking by fb_info->mm_lock around smem_len setting is needed.
14340586148e7c drivers/video/atmel_lcdfb.c Nicolas Ferre 2007-05-10 343 */
14340586148e7c drivers/video/atmel_lcdfb.c Nicolas Ferre 2007-05-10 344 static int atmel_lcdfb_alloc_video_memory(struct atmel_lcdfb_info *sinfo)
14340586148e7c drivers/video/atmel_lcdfb.c Nicolas Ferre 2007-05-10 345 {
14340586148e7c drivers/video/atmel_lcdfb.c Nicolas Ferre 2007-05-10 346 struct fb_info *info = sinfo->info;
14340586148e7c drivers/video/atmel_lcdfb.c Nicolas Ferre 2007-05-10 347 struct fb_var_screeninfo *var = &info->var;
ea757acad5a518 drivers/video/atmel_lcdfb.c Haavard Skinnemoen 2008-08-12 348 unsigned int smem_len;
14340586148e7c drivers/video/atmel_lcdfb.c Nicolas Ferre 2007-05-10 349
ea757acad5a518 drivers/video/atmel_lcdfb.c Haavard Skinnemoen 2008-08-12 350 smem_len = (var->xres_virtual * var->yres_virtual
14340586148e7c drivers/video/atmel_lcdfb.c Nicolas Ferre 2007-05-10 351 * ((var->bits_per_pixel + 7) / 8));
ea757acad5a518 drivers/video/atmel_lcdfb.c Haavard Skinnemoen 2008-08-12 352 info->fix.smem_len = max(smem_len, sinfo->smem_len);
14340586148e7c drivers/video/atmel_lcdfb.c Nicolas Ferre 2007-05-10 353
f6e45661f9be54 drivers/video/fbdev/atmel_lcdfb.c Luis R. Rodriguez 2016-01-22 354 info->screen_base = dma_alloc_wc(info->device, info->fix.smem_len,
f6e45661f9be54 drivers/video/fbdev/atmel_lcdfb.c Luis R. Rodriguez 2016-01-22 355 (dma_addr_t *)&info->fix.smem_start,
f6e45661f9be54 drivers/video/fbdev/atmel_lcdfb.c Luis R. Rodriguez 2016-01-22 356 GFP_KERNEL);
14340586148e7c drivers/video/atmel_lcdfb.c Nicolas Ferre 2007-05-10 357
14340586148e7c drivers/video/atmel_lcdfb.c Nicolas Ferre 2007-05-10 358 if (!info->screen_base) {
14340586148e7c drivers/video/atmel_lcdfb.c Nicolas Ferre 2007-05-10 359 return -ENOMEM;
14340586148e7c drivers/video/atmel_lcdfb.c Nicolas Ferre 2007-05-10 360 }
14340586148e7c drivers/video/atmel_lcdfb.c Nicolas Ferre 2007-05-10 361
01d3a5e7fab773 drivers/video/atmel_lcdfb.c Haavard Skinnemoen 2008-04-28 @362 memset(info->screen_base, 0, info->fix.smem_len);
01d3a5e7fab773 drivers/video/atmel_lcdfb.c Haavard Skinnemoen 2008-04-28 363
14340586148e7c drivers/video/atmel_lcdfb.c Nicolas Ferre 2007-05-10 364 return 0;
14340586148e7c drivers/video/atmel_lcdfb.c Nicolas Ferre 2007-05-10 365 }
14340586148e7c drivers/video/atmel_lcdfb.c Nicolas Ferre 2007-05-10 366

:::::: The code at line 362 was first introduced by commit
:::::: 01d3a5e7fab7732cfc5d5d4533e9378ea435295a atmel_lcdfb: don't initialize a pre-allocated framebuffer

:::::: TO: Haavard Skinnemoen <hskinnemoen@xxxxxxxxx>
:::::: CC: Linus Torvalds <torvalds@xxxxxxxxxxxxxxxxxxxx>

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

Attachment: .config.gz
Description: application/gzip

Next message: Jarkko Sakkinen: "Re: [PATCH v33 11/21] x86/sgx: Linux Enclave Driver"
Previous message: kernel test robot: "Re: [PATCH] firmware: arm_scmi: fix notifications macros argument reuse"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]