arch/arm/kernel/traps.c:177:31: sparse: sparse: incorrect type in argument 1 (different address spaces)
From: kernel test robot
Date: Tue Aug 10 2021 - 23:20:21 EST
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: 9e723c5380c6e14fb91a8b6950563d040674afdb
commit: e5fc436f06eef54ef512ea55a9db8eb9f2e76959 sparse: use static inline for __chk_{user,io}_ptr()
date: 12 months ago
config: arm-randconfig-s031-20210810 (attached as .config)
compiler: arm-linux-gnueabi-gcc (GCC) 10.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.3-348-gf0e6938b-dirty
# https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=e5fc436f06eef54ef512ea55a9db8eb9f2e76959
git remote add linus https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
git fetch --no-tags linus master
git checkout e5fc436f06eef54ef512ea55a9db8eb9f2e76959
# save the attached .config to linux build tree
COMPILER_INSTALL_PATH=$HOME/0day COMPILER=gcc-10.3.0 make.cross C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' ARCH=arm
If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <lkp@xxxxxxxxx>
sparse warnings: (new ones prefixed by >>)
arch/arm/kernel/traps.c:148:37: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got unsigned long * @@
arch/arm/kernel/traps.c:148:37: sparse: expected void const volatile [noderef] __user *ptr
arch/arm/kernel/traps.c:148:37: sparse: got unsigned long *
>> arch/arm/kernel/traps.c:177:31: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got unsigned short [usertype] * @@
arch/arm/kernel/traps.c:177:31: sparse: expected void const volatile [noderef] __user *ptr
arch/arm/kernel/traps.c:177:31: sparse: got unsigned short [usertype] *
>> arch/arm/kernel/traps.c:179:31: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got unsigned int [usertype] * @@
arch/arm/kernel/traps.c:179:31: sparse: expected void const volatile [noderef] __user *ptr
arch/arm/kernel/traps.c:179:31: sparse: got unsigned int [usertype] *
arch/arm/kernel/traps.c:455:33: sparse: sparse: cast removes address space '__user' of expression
arch/arm/kernel/traps.c:458:41: sparse: sparse: cast removes address space '__user' of expression
arch/arm/kernel/traps.c:463:33: sparse: sparse: cast removes address space '__user' of expression
arch/arm/kernel/traps.c:775:6: sparse: sparse: symbol 'abort' was not declared. Should it be static?
vim +177 arch/arm/kernel/traps.c
^1da177e4c3f41 Linus Torvalds 2005-04-16 159
b9dd05c7002ee0 Mark Rutland 2017-11-02 160 static void __dump_instr(const char *lvl, struct pt_regs *regs)
^1da177e4c3f41 Linus Torvalds 2005-04-16 161 {
^1da177e4c3f41 Linus Torvalds 2005-04-16 162 unsigned long addr = instruction_pointer(regs);
^1da177e4c3f41 Linus Torvalds 2005-04-16 163 const int thumb = thumb_mode(regs);
^1da177e4c3f41 Linus Torvalds 2005-04-16 164 const int width = thumb ? 4 : 8;
d191fe093f4494 Russell King 2009-10-11 165 char str[sizeof("00000000 ") * 5 + 2 + 1], *p = str;
^1da177e4c3f41 Linus Torvalds 2005-04-16 166 int i;
^1da177e4c3f41 Linus Torvalds 2005-04-16 167
^1da177e4c3f41 Linus Torvalds 2005-04-16 168 /*
b9dd05c7002ee0 Mark Rutland 2017-11-02 169 * Note that we now dump the code first, just in case the backtrace
b9dd05c7002ee0 Mark Rutland 2017-11-02 170 * kills us.
^1da177e4c3f41 Linus Torvalds 2005-04-16 171 */
^1da177e4c3f41 Linus Torvalds 2005-04-16 172
a9011580a99cd4 Russell King 2011-06-09 173 for (i = -4; i < 1 + !!thumb; i++) {
^1da177e4c3f41 Linus Torvalds 2005-04-16 174 unsigned int val, bad;
^1da177e4c3f41 Linus Torvalds 2005-04-16 175
^1da177e4c3f41 Linus Torvalds 2005-04-16 176 if (thumb)
b9dd05c7002ee0 Mark Rutland 2017-11-02 @177 bad = get_user(val, &((u16 *)addr)[i]);
^1da177e4c3f41 Linus Torvalds 2005-04-16 178 else
b9dd05c7002ee0 Mark Rutland 2017-11-02 @179 bad = get_user(val, &((u32 *)addr)[i]);
^1da177e4c3f41 Linus Torvalds 2005-04-16 180
^1da177e4c3f41 Linus Torvalds 2005-04-16 181 if (!bad)
d191fe093f4494 Russell King 2009-10-11 182 p += sprintf(p, i == 0 ? "(%0*x) " : "%0*x ",
d191fe093f4494 Russell King 2009-10-11 183 width, val);
^1da177e4c3f41 Linus Torvalds 2005-04-16 184 else {
d191fe093f4494 Russell King 2009-10-11 185 p += sprintf(p, "bad PC value");
^1da177e4c3f41 Linus Torvalds 2005-04-16 186 break;
^1da177e4c3f41 Linus Torvalds 2005-04-16 187 }
^1da177e4c3f41 Linus Torvalds 2005-04-16 188 }
e40c2ec6761d11 Russell King 2009-10-11 189 printk("%sCode: %s\n", lvl, str);
b9dd05c7002ee0 Mark Rutland 2017-11-02 190 }
^1da177e4c3f41 Linus Torvalds 2005-04-16 191
:::::: The code at line 177 was first introduced by commit
:::::: b9dd05c7002ee0ca8b676428b2268c26399b5e31 ARM: 8720/1: ensure dump_instr() checks addr_limit
:::::: TO: Mark Rutland <mark.rutland@xxxxxxx>
:::::: CC: Russell King <rmk+kernel@xxxxxxxxxxxxxxx>
---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all@xxxxxxxxxxxx
Attachment:
.config.gz
Description: application/gzip