All of lore.kernel.org
 help / color / mirror / Atom feed
* [linux-next:master 3345/4062] arch/um/kernel/skas/uaccess.c:358:9: sparse: sparse: incorrect type in argument 1 (different address spaces)
@ 2022-06-16 19:24 kernel test robot
  0 siblings, 0 replies; only message in thread
From: kernel test robot @ 2022-06-16 19:24 UTC (permalink / raw)
  To: Fabio M. De Francesco
  Cc: kbuild-all, Linux Memory Management List, David Sterba

tree:   https://git.kernel.org/pub/scm/linux/kernel/git/next/linux-next.git master
head:   c6d7e3b385f19869ab96e9404c92ff1abc34f2c8
commit: 20adc3e8f39ad4ce68795b6d3f9847f45ccd931a [3345/4062] highmem: Make kunmap_{local,atomic}() take pointers to const void
config: um-i386_defconfig (https://download.01.org/0day-ci/archive/20220617/202206170317.wxLpoEbx-lkp@intel.com/config)
compiler: gcc-11 (Debian 11.3.0-3) 11.3.0
reproduce:
        # apt-get install sparse
        # sparse version: v0.6.4-30-g92122700-dirty
        # https://git.kernel.org/pub/scm/linux/kernel/git/next/linux-next.git/commit/?id=20adc3e8f39ad4ce68795b6d3f9847f45ccd931a
        git remote add linux-next https://git.kernel.org/pub/scm/linux/kernel/git/next/linux-next.git
        git fetch --no-tags linux-next master
        git checkout 20adc3e8f39ad4ce68795b6d3f9847f45ccd931a
        # save the config file
        mkdir build_dir && cp config build_dir/.config
        make W=1 C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' O=build_dir ARCH=um SUBARCH=i386 SHELL=/bin/bash

If you fix the issue, kindly add following tag where applicable
Reported-by: kernel test robot <lkp@intel.com>


sparse warnings: (new ones prefixed by >>)
   arch/um/kernel/skas/uaccess.c:273:15: sparse: sparse: incorrect type in assignment (different address spaces) @@     expected unsigned int [noderef] [usertype] __user *uaddr @@     got unsigned int [usertype] * @@
   arch/um/kernel/skas/uaccess.c:273:15: sparse:     expected unsigned int [noderef] [usertype] __user *uaddr
   arch/um/kernel/skas/uaccess.c:273:15: sparse:     got unsigned int [usertype] *
   arch/um/kernel/skas/uaccess.c:348:15: sparse: sparse: incorrect type in assignment (different address spaces) @@     expected unsigned int [noderef] [usertype] __user *uaddr @@     got void * @@
   arch/um/kernel/skas/uaccess.c:348:15: sparse:     expected unsigned int [noderef] [usertype] __user *uaddr
   arch/um/kernel/skas/uaccess.c:348:15: sparse:     got void *
   arch/um/kernel/skas/uaccess.c:353:15: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void const volatile *v @@     got unsigned int [noderef] [usertype] __user *__ai_ptr @@
   arch/um/kernel/skas/uaccess.c:353:15: sparse:     expected void const volatile *v
   arch/um/kernel/skas/uaccess.c:353:15: sparse:     got unsigned int [noderef] [usertype] __user *__ai_ptr
   arch/um/kernel/skas/uaccess.c:353:15: sparse: sparse: cast removes address space '__user' of expression
   arch/um/kernel/skas/uaccess.c:353:15: sparse: sparse: cast removes address space '__user' of expression
   arch/um/kernel/skas/uaccess.c:353:15: sparse: sparse: cast removes address space '__user' of expression
   arch/um/kernel/skas/uaccess.c:353:15: sparse: sparse: cast removes address space '__user' of expression
>> arch/um/kernel/skas/uaccess.c:358:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@     expected void const *addr @@     got unsigned int [noderef] [usertype] __user *uaddr @@
   arch/um/kernel/skas/uaccess.c:358:9: sparse:     expected void const *addr
   arch/um/kernel/skas/uaccess.c:358:9: sparse:     got unsigned int [noderef] [usertype] __user *uaddr
   arch/um/kernel/skas/uaccess.c:274:19: sparse: sparse: dereference of noderef expression
   arch/um/kernel/skas/uaccess.c:280:18: sparse: sparse: dereference of noderef expression
   arch/um/kernel/skas/uaccess.c:283:18: sparse: sparse: dereference of noderef expression
   arch/um/kernel/skas/uaccess.c:286:18: sparse: sparse: dereference of noderef expression
   arch/um/kernel/skas/uaccess.c:289:18: sparse: sparse: dereference of noderef expression
   arch/um/kernel/skas/uaccess.c:292:18: sparse: sparse: dereference of noderef expression
   arch/um/kernel/skas/uaccess.c:351:18: sparse: sparse: dereference of noderef expression

vim +358 arch/um/kernel/skas/uaccess.c

dd3035a21ba7cc Anton Ivanov 2021-03-12  350  
dd3035a21ba7cc Anton Ivanov 2021-03-12  351  	*uval = *uaddr;
dd3035a21ba7cc Anton Ivanov 2021-03-12  352  
dd3035a21ba7cc Anton Ivanov 2021-03-12  353  	ret = cmpxchg(uaddr, oldval, newval);
dd3035a21ba7cc Anton Ivanov 2021-03-12  354  
dd3035a21ba7cc Anton Ivanov 2021-03-12  355  #ifdef CONFIG_64BIT
dd3035a21ba7cc Anton Ivanov 2021-03-12  356  	pagefault_enable();
dd3035a21ba7cc Anton Ivanov 2021-03-12  357  #else
dd3035a21ba7cc Anton Ivanov 2021-03-12 @358  	kunmap_atomic(uaddr);

:::::: The code at line 358 was first introduced by commit
:::::: dd3035a21ba7ccaa883d7107d357ad06320d78fc um: add a UML specific futex implementation

:::::: TO: Anton Ivanov <anton.ivanov@cambridgegreys.com>
:::::: CC: Richard Weinberger <richard@nod.at>

-- 
0-DAY CI Kernel Test Service
https://01.org/lkp


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2022-06-16 19:25 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-06-16 19:24 [linux-next:master 3345/4062] arch/um/kernel/skas/uaccess.c:358:9: sparse: sparse: incorrect type in argument 1 (different address spaces) 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.