From: kernel test robot <lkp@intel.com>
To: kbuild-all@lists.01.org
Subject: arch/arm/mm/alignment.c:775:25: sparse: sparse: incorrect type in argument 1 (different address spaces)
Date: Fri, 13 Aug 2021 15:11:16 +0800 [thread overview]
Message-ID: <202108131503.NeGHQvbd-lkp@intel.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 4610 bytes --]
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: f8e6dfc64f6135d1b6c5215c14cd30b9b60a0008
commit: e5fc436f06eef54ef512ea55a9db8eb9f2e76959 sparse: use static inline for __chk_{user,io}_ptr()
date: 12 months ago
config: arm-randconfig-s032-20210813 (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@intel.com>
sparse warnings: (new ones prefixed by >>)
>> arch/arm/mm/alignment.c:775:25: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got unsigned int [usertype] *ip @@
arch/arm/mm/alignment.c:775:25: sparse: expected void const volatile [noderef] __user *ptr
arch/arm/mm/alignment.c:775:25: sparse: got unsigned int [usertype] *ip
>> arch/arm/mm/alignment.c:790:25: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got unsigned short [usertype] *ip @@
arch/arm/mm/alignment.c:790:25: sparse: expected void const volatile [noderef] __user *ptr
arch/arm/mm/alignment.c:790:25: sparse: got unsigned short [usertype] *ip
vim +775 arch/arm/mm/alignment.c
c2860d43f5dfab George G. Davis 2009-06-04 768
1bb9fb0a147f9d Russell King 2019-09-06 769 static int alignment_get_arm(struct pt_regs *regs, u32 *ip, u32 *inst)
67e15fa5b487ad Russell King 2019-08-31 770 {
67e15fa5b487ad Russell King 2019-08-31 771 u32 instr = 0;
67e15fa5b487ad Russell King 2019-08-31 772 int fault;
67e15fa5b487ad Russell King 2019-08-31 773
67e15fa5b487ad Russell King 2019-08-31 774 if (user_mode(regs))
67e15fa5b487ad Russell King 2019-08-31 @775 fault = get_user(instr, ip);
67e15fa5b487ad Russell King 2019-08-31 776 else
25f12ae45fc193 Christoph Hellwig 2020-06-17 777 fault = get_kernel_nofault(instr, ip);
67e15fa5b487ad Russell King 2019-08-31 778
67e15fa5b487ad Russell King 2019-08-31 779 *inst = __mem_to_opcode_arm(instr);
67e15fa5b487ad Russell King 2019-08-31 780
67e15fa5b487ad Russell King 2019-08-31 781 return fault;
67e15fa5b487ad Russell King 2019-08-31 782 }
67e15fa5b487ad Russell King 2019-08-31 783
67e15fa5b487ad Russell King 2019-08-31 784 static int alignment_get_thumb(struct pt_regs *regs, u16 *ip, u16 *inst)
67e15fa5b487ad Russell King 2019-08-31 785 {
67e15fa5b487ad Russell King 2019-08-31 786 u16 instr = 0;
67e15fa5b487ad Russell King 2019-08-31 787 int fault;
67e15fa5b487ad Russell King 2019-08-31 788
67e15fa5b487ad Russell King 2019-08-31 789 if (user_mode(regs))
67e15fa5b487ad Russell King 2019-08-31 @790 fault = get_user(instr, ip);
67e15fa5b487ad Russell King 2019-08-31 791 else
25f12ae45fc193 Christoph Hellwig 2020-06-17 792 fault = get_kernel_nofault(instr, ip);
67e15fa5b487ad Russell King 2019-08-31 793
67e15fa5b487ad Russell King 2019-08-31 794 *inst = __mem_to_opcode_thumb16(instr);
67e15fa5b487ad Russell King 2019-08-31 795
67e15fa5b487ad Russell King 2019-08-31 796 return fault;
67e15fa5b487ad Russell King 2019-08-31 797 }
67e15fa5b487ad Russell King 2019-08-31 798
:::::: The code at line 775 was first introduced by commit
:::::: 67e15fa5b487adb9b78a92789eeff2d6ec8f5cee ARM: mm: fix alignment handler faults under memory pressure
:::::: TO: Russell King <rmk+kernel@armlinux.org.uk>
:::::: CC: Russell King <rmk+kernel@armlinux.org.uk>
---
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: 32423 bytes --]
WARNING: multiple messages have this Message-ID (diff)
From: kernel test robot <lkp@intel.com>
To: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Cc: kbuild-all@lists.01.org, linux-kernel@vger.kernel.org,
Miguel Ojeda <miguel.ojeda.sandonis@gmail.com>
Subject: arch/arm/mm/alignment.c:775:25: sparse: sparse: incorrect type in argument 1 (different address spaces)
Date: Fri, 13 Aug 2021 15:11:16 +0800 [thread overview]
Message-ID: <202108131503.NeGHQvbd-lkp@intel.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 4535 bytes --]
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: f8e6dfc64f6135d1b6c5215c14cd30b9b60a0008
commit: e5fc436f06eef54ef512ea55a9db8eb9f2e76959 sparse: use static inline for __chk_{user,io}_ptr()
date: 12 months ago
config: arm-randconfig-s032-20210813 (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@intel.com>
sparse warnings: (new ones prefixed by >>)
>> arch/arm/mm/alignment.c:775:25: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got unsigned int [usertype] *ip @@
arch/arm/mm/alignment.c:775:25: sparse: expected void const volatile [noderef] __user *ptr
arch/arm/mm/alignment.c:775:25: sparse: got unsigned int [usertype] *ip
>> arch/arm/mm/alignment.c:790:25: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got unsigned short [usertype] *ip @@
arch/arm/mm/alignment.c:790:25: sparse: expected void const volatile [noderef] __user *ptr
arch/arm/mm/alignment.c:790:25: sparse: got unsigned short [usertype] *ip
vim +775 arch/arm/mm/alignment.c
c2860d43f5dfab George G. Davis 2009-06-04 768
1bb9fb0a147f9d Russell King 2019-09-06 769 static int alignment_get_arm(struct pt_regs *regs, u32 *ip, u32 *inst)
67e15fa5b487ad Russell King 2019-08-31 770 {
67e15fa5b487ad Russell King 2019-08-31 771 u32 instr = 0;
67e15fa5b487ad Russell King 2019-08-31 772 int fault;
67e15fa5b487ad Russell King 2019-08-31 773
67e15fa5b487ad Russell King 2019-08-31 774 if (user_mode(regs))
67e15fa5b487ad Russell King 2019-08-31 @775 fault = get_user(instr, ip);
67e15fa5b487ad Russell King 2019-08-31 776 else
25f12ae45fc193 Christoph Hellwig 2020-06-17 777 fault = get_kernel_nofault(instr, ip);
67e15fa5b487ad Russell King 2019-08-31 778
67e15fa5b487ad Russell King 2019-08-31 779 *inst = __mem_to_opcode_arm(instr);
67e15fa5b487ad Russell King 2019-08-31 780
67e15fa5b487ad Russell King 2019-08-31 781 return fault;
67e15fa5b487ad Russell King 2019-08-31 782 }
67e15fa5b487ad Russell King 2019-08-31 783
67e15fa5b487ad Russell King 2019-08-31 784 static int alignment_get_thumb(struct pt_regs *regs, u16 *ip, u16 *inst)
67e15fa5b487ad Russell King 2019-08-31 785 {
67e15fa5b487ad Russell King 2019-08-31 786 u16 instr = 0;
67e15fa5b487ad Russell King 2019-08-31 787 int fault;
67e15fa5b487ad Russell King 2019-08-31 788
67e15fa5b487ad Russell King 2019-08-31 789 if (user_mode(regs))
67e15fa5b487ad Russell King 2019-08-31 @790 fault = get_user(instr, ip);
67e15fa5b487ad Russell King 2019-08-31 791 else
25f12ae45fc193 Christoph Hellwig 2020-06-17 792 fault = get_kernel_nofault(instr, ip);
67e15fa5b487ad Russell King 2019-08-31 793
67e15fa5b487ad Russell King 2019-08-31 794 *inst = __mem_to_opcode_thumb16(instr);
67e15fa5b487ad Russell King 2019-08-31 795
67e15fa5b487ad Russell King 2019-08-31 796 return fault;
67e15fa5b487ad Russell King 2019-08-31 797 }
67e15fa5b487ad Russell King 2019-08-31 798
:::::: The code at line 775 was first introduced by commit
:::::: 67e15fa5b487adb9b78a92789eeff2d6ec8f5cee ARM: mm: fix alignment handler faults under memory pressure
:::::: TO: Russell King <rmk+kernel@armlinux.org.uk>
:::::: CC: Russell King <rmk+kernel@armlinux.org.uk>
---
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: 32423 bytes --]
next reply other threads:[~2021-08-13 7:11 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-08-13 7:11 kernel test robot [this message]
2021-08-13 7:11 ` arch/arm/mm/alignment.c:775:25: sparse: sparse: incorrect type in argument 1 (different address spaces) kernel test robot
-- strict thread matches above, loose matches on Subject: below --
2021-02-03 2:33 kernel test robot
2021-02-03 2:33 ` kernel test robot
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=202108131503.NeGHQvbd-lkp@intel.com \
--to=lkp@intel.com \
--cc=kbuild-all@lists.01.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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.