net/mptcp/protocol.h:547:9: sparse: sparse: incorrect type in argument 1 (different address spaces)

From: kernel test robot
Date: Sun Apr 02 2023 - 02:08:02 EST


tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: 00c7b5f4ddc5b346df62b757ec73f9357bb452af
commit: 93a4fa622eb061f75f87f0cf9609ab4e69c67d01 LoongArch: Add STACKTRACE support
date: 8 months ago
config: loongarch-randconfig-s042-20230402 (https://download.01.org/0day-ci/archive/20230402/202304021442.5n1kM7dz-lkp@xxxxxxxxx/config)
compiler: loongarch64-linux-gcc (GCC) 12.1.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-39-gce1a6720-dirty
# https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=93a4fa622eb061f75f87f0cf9609ab4e69c67d01
git remote add linus https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
git fetch --no-tags linus master
git checkout 93a4fa622eb061f75f87f0cf9609ab4e69c67d01
# save the config file
mkdir build_dir && cp config build_dir/.config
COMPILER_INSTALL_PATH=$HOME/0day COMPILER=gcc-12.1.0 make.cross C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' O=build_dir ARCH=loongarch olddefconfig
COMPILER_INSTALL_PATH=$HOME/0day COMPILER=gcc-12.1.0 make.cross C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' O=build_dir ARCH=loongarch SHELL=/bin/bash net/

If you fix the issue, kindly add following tag where applicable
| Reported-by: kernel test robot <lkp@xxxxxxxxx>
| Link: https://lore.kernel.org/oe-kbuild-all/202304021442.5n1kM7dz-lkp@xxxxxxxxx/

sparse warnings: (new ones prefixed by >>)
net/mptcp/options.c: note: in included file:
>> net/mptcp/protocol.h:547:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void *ptr @@ got unsigned int [noderef] __percpu * @@
net/mptcp/protocol.h:547:9: sparse: expected void *ptr
net/mptcp/protocol.h:547:9: sparse: got unsigned int [noderef] __percpu *
>> net/mptcp/protocol.h:547:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void *ptr @@ got unsigned int [noderef] __percpu * @@
net/mptcp/protocol.h:547:9: sparse: expected void *ptr
net/mptcp/protocol.h:547:9: sparse: got unsigned int [noderef] __percpu *
>> net/mptcp/protocol.h:547:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void *ptr @@ got unsigned int [noderef] __percpu * @@
net/mptcp/protocol.h:547:9: sparse: expected void *ptr
net/mptcp/protocol.h:547:9: sparse: got unsigned int [noderef] __percpu *
>> net/mptcp/protocol.h:547:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void *ptr @@ got unsigned int [noderef] __percpu * @@
net/mptcp/protocol.h:547:9: sparse: expected void *ptr
net/mptcp/protocol.h:547:9: sparse: got unsigned int [noderef] __percpu *
--
net/mptcp/protocol.c: note: in included file:
>> net/mptcp/protocol.h:547:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void *ptr @@ got unsigned int [noderef] __percpu * @@
net/mptcp/protocol.h:547:9: sparse: expected void *ptr
net/mptcp/protocol.h:547:9: sparse: got unsigned int [noderef] __percpu *
>> net/mptcp/protocol.h:547:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void *ptr @@ got unsigned int [noderef] __percpu * @@
net/mptcp/protocol.h:547:9: sparse: expected void *ptr
net/mptcp/protocol.h:547:9: sparse: got unsigned int [noderef] __percpu *
>> net/mptcp/protocol.h:547:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void *ptr @@ got unsigned int [noderef] __percpu * @@
net/mptcp/protocol.h:547:9: sparse: expected void *ptr
net/mptcp/protocol.h:547:9: sparse: got unsigned int [noderef] __percpu *
>> net/mptcp/protocol.h:547:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void *ptr @@ got unsigned int [noderef] __percpu * @@
net/mptcp/protocol.h:547:9: sparse: expected void *ptr
net/mptcp/protocol.h:547:9: sparse: got unsigned int [noderef] __percpu *
net/mptcp/protocol.c:3011:24: sparse: sparse: context imbalance in 'mptcp_sk_clone' - unexpected unlock
>> net/mptcp/protocol.h:547:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void *ptr @@ got unsigned int [noderef] __percpu * @@
net/mptcp/protocol.h:547:9: sparse: expected void *ptr
net/mptcp/protocol.h:547:9: sparse: got unsigned int [noderef] __percpu *
>> net/mptcp/protocol.h:547:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void *ptr @@ got unsigned int [noderef] __percpu * @@
net/mptcp/protocol.h:547:9: sparse: expected void *ptr
net/mptcp/protocol.h:547:9: sparse: got unsigned int [noderef] __percpu *
>> net/mptcp/protocol.h:547:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void *ptr @@ got unsigned int [noderef] __percpu * @@
net/mptcp/protocol.h:547:9: sparse: expected void *ptr
net/mptcp/protocol.h:547:9: sparse: got unsigned int [noderef] __percpu *
>> net/mptcp/protocol.h:547:9: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void *ptr @@ got unsigned int [noderef] __percpu * @@
net/mptcp/protocol.h:547:9: sparse: expected void *ptr
net/mptcp/protocol.h:547:9: sparse: got unsigned int [noderef] __percpu *

vim +547 net/mptcp/protocol.h

b19bc2945b40b9 Paolo Abeni 2021-01-20 540
bcd97734318d1d Paolo Abeni 2021-11-19 541 static inline void mptcp_subflow_delegate(struct mptcp_subflow_context *subflow, int action)
b19bc2945b40b9 Paolo Abeni 2021-01-20 542 {
b19bc2945b40b9 Paolo Abeni 2021-01-20 543 struct mptcp_delegated_action *delegated;
b19bc2945b40b9 Paolo Abeni 2021-01-20 544 bool schedule;
b19bc2945b40b9 Paolo Abeni 2021-01-20 545
bcd97734318d1d Paolo Abeni 2021-11-19 546 /* the caller held the subflow bh socket lock */
bcd97734318d1d Paolo Abeni 2021-11-19 @547 lockdep_assert_in_softirq();
bcd97734318d1d Paolo Abeni 2021-11-19 548
b19bc2945b40b9 Paolo Abeni 2021-01-20 549 /* The implied barrier pairs with mptcp_subflow_delegated_done(), and
b19bc2945b40b9 Paolo Abeni 2021-01-20 550 * ensures the below list check sees list updates done prior to status
b19bc2945b40b9 Paolo Abeni 2021-01-20 551 * bit changes
b19bc2945b40b9 Paolo Abeni 2021-01-20 552 */
bcd97734318d1d Paolo Abeni 2021-11-19 553 if (!test_and_set_bit(action, &subflow->delegated_status)) {
b19bc2945b40b9 Paolo Abeni 2021-01-20 554 /* still on delegated list from previous scheduling */
b19bc2945b40b9 Paolo Abeni 2021-01-20 555 if (!list_empty(&subflow->delegated_node))
b19bc2945b40b9 Paolo Abeni 2021-01-20 556 return;
b19bc2945b40b9 Paolo Abeni 2021-01-20 557
b19bc2945b40b9 Paolo Abeni 2021-01-20 558 delegated = this_cpu_ptr(&mptcp_delegated_actions);
b19bc2945b40b9 Paolo Abeni 2021-01-20 559 schedule = list_empty(&delegated->head);
b19bc2945b40b9 Paolo Abeni 2021-01-20 560 list_add_tail(&subflow->delegated_node, &delegated->head);
b19bc2945b40b9 Paolo Abeni 2021-01-20 561 sock_hold(mptcp_subflow_tcp_sock(subflow));
b19bc2945b40b9 Paolo Abeni 2021-01-20 562 if (schedule)
b19bc2945b40b9 Paolo Abeni 2021-01-20 563 napi_schedule(&delegated->napi);
b19bc2945b40b9 Paolo Abeni 2021-01-20 564 }
b19bc2945b40b9 Paolo Abeni 2021-01-20 565 }
b19bc2945b40b9 Paolo Abeni 2021-01-20 566

:::::: The code at line 547 was first introduced by commit
:::::: bcd97734318d1d87bb237dbc0a60c81237b0ac50 mptcp: use delegate action to schedule 3rd ack retrans

:::::: TO: Paolo Abeni <pabeni@xxxxxxxxxx>
:::::: CC: David S. Miller <davem@xxxxxxxxxxxxx>

--
0-DAY CI Kernel Test Service
https://github.com/intel/lkp-tests