From: kernel test robot <lkp@intel.com>
To: kbuild-all@lists.01.org
Subject: arch/sh/kernel/traps_32.c:574:9: sparse: sparse: incorrect type in initializer (different address spaces)
Date: Thu, 17 Feb 2022 15:06:06 +0800 [thread overview]
Message-ID: <202202171504.3sm5Zvhs-lkp@intel.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 4969 bytes --]
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: f71077a4d84bbe8c7b91b7db7c4ef815755ac5e3
commit: ca42bc4b7bda7c6d68f1cc97c27fc8ff7385c4c7 sh: fix trivial misannotations
date: 5 months ago
config: sh-randconfig-s032-20220217 (https://download.01.org/0day-ci/archive/20220217/202202171504.3sm5Zvhs-lkp(a)intel.com/config)
compiler: sh4-linux-gcc (GCC) 11.2.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.4-dirty
# https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=ca42bc4b7bda7c6d68f1cc97c27fc8ff7385c4c7
git remote add linus https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
git fetch --no-tags linus master
git checkout ca42bc4b7bda7c6d68f1cc97c27fc8ff7385c4c7
# save the config file to linux build tree
mkdir build_dir
COMPILER_INSTALL_PATH=$HOME/0day COMPILER=gcc-11.2.0 make.cross C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' O=build_dir ARCH=sh SHELL=/bin/bash arch/sh/kernel/
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/sh/kernel/traps_32.c:574:9: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected unsigned short const [noderef] __user *__gu_addr @@ got unsigned short * @@
arch/sh/kernel/traps_32.c:574:9: sparse: expected unsigned short const [noderef] __user *__gu_addr
arch/sh/kernel/traps_32.c:574:9: sparse: got unsigned short *
arch/sh/kernel/traps_32.c:563:5: sparse: sparse: symbol 'is_dsp_inst' was not declared. Should it be static?
vim +574 arch/sh/kernel/traps_32.c
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 558
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 559 #ifdef CONFIG_SH_DSP
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 560 /*
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 561 * SH-DSP support gerg(a)snapgear.com.
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 562 */
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 563 int is_dsp_inst(struct pt_regs *regs)
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 564 {
882c12c4e1a95e arch/sh/kernel/traps.c Paul Mundt 2007-05-14 565 unsigned short inst = 0;
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 566
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 567 /*
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 568 * Safe guard if DSP mode is already enabled or we're lacking
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 569 * the DSP altogether.
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 570 */
11c1965687b0a4 arch/sh/kernel/traps.c Paul Mundt 2006-12-25 571 if (!(current_cpu_data.flags & CPU_HAS_DSP) || (regs->sr & SR_DSP))
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 572 return 0;
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 573
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 @574 get_user(inst, ((unsigned short *) regs->pc));
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 575
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 576 inst &= 0xf000;
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 577
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 578 /* Check for any type of DSP or support instruction */
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 579 if ((inst == 0xf000) || (inst == 0x4000))
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 580 return 1;
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 581
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 582 return 0;
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 583 }
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 584 #else
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 585 #define is_dsp_inst(regs) (0)
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 586 #endif /* CONFIG_SH_DSP */
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 587
:::::: The code at line 574 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
WARNING: multiple messages have this Message-ID (diff)
From: kernel test robot <lkp@intel.com>
To: Al Viro <viro@zeniv.linux.org.uk>
Cc: kbuild-all@lists.01.org, linux-kernel@vger.kernel.org,
Rich Felker <dalias@libc.org>
Subject: arch/sh/kernel/traps_32.c:574:9: sparse: sparse: incorrect type in initializer (different address spaces)
Date: Thu, 17 Feb 2022 15:06:06 +0800 [thread overview]
Message-ID: <202202171504.3sm5Zvhs-lkp@intel.com> (raw)
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: f71077a4d84bbe8c7b91b7db7c4ef815755ac5e3
commit: ca42bc4b7bda7c6d68f1cc97c27fc8ff7385c4c7 sh: fix trivial misannotations
date: 5 months ago
config: sh-randconfig-s032-20220217 (https://download.01.org/0day-ci/archive/20220217/202202171504.3sm5Zvhs-lkp@intel.com/config)
compiler: sh4-linux-gcc (GCC) 11.2.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.4-dirty
# https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=ca42bc4b7bda7c6d68f1cc97c27fc8ff7385c4c7
git remote add linus https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
git fetch --no-tags linus master
git checkout ca42bc4b7bda7c6d68f1cc97c27fc8ff7385c4c7
# save the config file to linux build tree
mkdir build_dir
COMPILER_INSTALL_PATH=$HOME/0day COMPILER=gcc-11.2.0 make.cross C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' O=build_dir ARCH=sh SHELL=/bin/bash arch/sh/kernel/
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/sh/kernel/traps_32.c:574:9: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected unsigned short const [noderef] __user *__gu_addr @@ got unsigned short * @@
arch/sh/kernel/traps_32.c:574:9: sparse: expected unsigned short const [noderef] __user *__gu_addr
arch/sh/kernel/traps_32.c:574:9: sparse: got unsigned short *
arch/sh/kernel/traps_32.c:563:5: sparse: sparse: symbol 'is_dsp_inst' was not declared. Should it be static?
vim +574 arch/sh/kernel/traps_32.c
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 558
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 559 #ifdef CONFIG_SH_DSP
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 560 /*
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 561 * SH-DSP support gerg@snapgear.com.
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 562 */
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 563 int is_dsp_inst(struct pt_regs *regs)
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 564 {
882c12c4e1a95e arch/sh/kernel/traps.c Paul Mundt 2007-05-14 565 unsigned short inst = 0;
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 566
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 567 /*
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 568 * Safe guard if DSP mode is already enabled or we're lacking
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 569 * the DSP altogether.
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 570 */
11c1965687b0a4 arch/sh/kernel/traps.c Paul Mundt 2006-12-25 571 if (!(current_cpu_data.flags & CPU_HAS_DSP) || (regs->sr & SR_DSP))
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 572 return 0;
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 573
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 @574 get_user(inst, ((unsigned short *) regs->pc));
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 575
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 576 inst &= 0xf000;
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 577
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 578 /* Check for any type of DSP or support instruction */
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 579 if ((inst == 0xf000) || (inst == 0x4000))
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 580 return 1;
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 581
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 582 return 0;
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 583 }
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 584 #else
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 585 #define is_dsp_inst(regs) (0)
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 586 #endif /* CONFIG_SH_DSP */
^1da177e4c3f41 arch/sh/kernel/traps.c Linus Torvalds 2005-04-16 587
:::::: The code at line 574 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
next reply other threads:[~2022-02-17 7:06 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-02-17 7:06 kernel test robot [this message]
2022-02-17 7:06 ` arch/sh/kernel/traps_32.c:574:9: sparse: sparse: incorrect type in initializer (different address spaces) kernel test robot
-- strict thread matches above, loose matches on Subject: below --
2022-02-17 9:10 kernel test robot
2022-02-17 9:10 ` kernel test robot
2022-06-04 14:36 kernel test robot
2022-06-18 18:59 kernel test robot
2022-08-16 8:09 kernel test robot
2022-09-01 6:16 kernel test robot
2022-09-01 11:26 kernel test robot
2022-11-11 15:52 kernel test robot
2022-12-06 18:17 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=202202171504.3sm5Zvhs-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.