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: Sat, 4 Jun 2022 22:36:40 +0800 [thread overview]
Message-ID: <202206042243.Lmt7DB09-lkp@intel.com> (raw)
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: 032dcf09e2bf7c822be25b4abef7a6c913870d98
commit: ca42bc4b7bda7c6d68f1cc97c27fc8ff7385c4c7 sh: fix trivial misannotations
date: 9 months ago
config: sh-randconfig-s031-20220603 (https://download.01.org/0day-ci/archive/20220604/202206042243.Lmt7DB09-lkp@intel.com/config)
compiler: sh4-linux-gcc (GCC) 11.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.4-18-g56afb504-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
mkdir build_dir && cp config build_dir/.config
COMPILER_INSTALL_PATH=$HOME/0day COMPILER=gcc-11.3.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 where applicable
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
https://01.org/lkp
next reply other threads:[~2022-06-04 14:37 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-06-04 14:36 kernel test robot [this message]
-- strict thread matches above, loose matches on Subject: below --
2022-12-06 18:17 arch/sh/kernel/traps_32.c:574:9: sparse: sparse: incorrect type in initializer (different address spaces) kernel test robot
2022-11-11 15:52 kernel test robot
2022-09-01 11:26 kernel test robot
2022-09-01 6:16 kernel test robot
2022-08-16 8:09 kernel test robot
2022-06-18 18:59 kernel test robot
2022-02-17 9:10 kernel test robot
2022-02-17 9:10 ` kernel test robot
2022-02-17 7:06 kernel test robot
2022-02-17 7:06 ` 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=202206042243.Lmt7DB09-lkp@intel.com \
--to=lkp@intel.com \
--cc=dalias@libc.org \
--cc=kbuild-all@lists.01.org \
--cc=linux-kernel@vger.kernel.org \
--cc=viro@zeniv.linux.org.uk \
/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.