* drivers/vhost/vdpa.c:361:13: sparse: sparse: incorrect type in argument 1 (different address spaces)
@ 2021-01-15 9:45 ` kernel test robot
0 siblings, 0 replies; 2+ messages in thread
From: kernel test robot @ 2021-01-15 9:45 UTC (permalink / raw)
To: Luc Van Oostenryck; +Cc: kbuild-all, linux-kernel, Miguel Ojeda
[-- Attachment #1: Type: text/plain, Size: 19845 bytes --]
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: 5ee88057889bbca5f5bb96031b62b3756b33e164
commit: e5fc436f06eef54ef512ea55a9db8eb9f2e76959 sparse: use static inline for __chk_{user,io}_ptr()
date: 5 months ago
config: sh-randconfig-s032-20210115 (attached as .config)
compiler: sh4-linux-gcc (GCC) 9.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-208-g46a52ca4-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-9.3.0 make.cross C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' ARCH=sh
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 >>)"
drivers/vhost/vdpa.c:361:13: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected unsigned int const *__gu_addr @@ got unsigned int [noderef] [usertype] __user * @@
drivers/vhost/vdpa.c:361:13: sparse: expected unsigned int const *__gu_addr
drivers/vhost/vdpa.c:361:13: sparse: got unsigned int [noderef] [usertype] __user *
>> drivers/vhost/vdpa.c:361:13: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got unsigned int const *__gu_addr @@
drivers/vhost/vdpa.c:361:13: sparse: expected void const volatile [noderef] __user *ptr
drivers/vhost/vdpa.c:361:13: sparse: got unsigned int const *__gu_addr
--
drivers/net/ppp/pppoe.c:765:21: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user * @@
drivers/net/ppp/pppoe.c:765:21: sparse: expected int const *__gu_addr
drivers/net/ppp/pppoe.c:765:21: sparse: got int [noderef] __user *
>> drivers/net/ppp/pppoe.c:765:21: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
drivers/net/ppp/pppoe.c:765:21: sparse: expected void const volatile [noderef] __user *ptr
drivers/net/ppp/pppoe.c:765:21: sparse: got int const *__gu_addr
drivers/net/ppp/pppoe.c:778:21: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user * @@
drivers/net/ppp/pppoe.c:778:21: sparse: expected int const *__gu_addr
drivers/net/ppp/pppoe.c:778:21: sparse: got int [noderef] __user *
drivers/net/ppp/pppoe.c:778:21: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
drivers/net/ppp/pppoe.c:778:21: sparse: expected void const volatile [noderef] __user *ptr
drivers/net/ppp/pppoe.c:778:21: sparse: got int const *__gu_addr
--
drivers/net/ppp/ppp_generic.c:925:21: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *p @@
drivers/net/ppp/ppp_generic.c:925:21: sparse: expected int const *__gu_addr
drivers/net/ppp/ppp_generic.c:925:21: sparse: got int [noderef] __user *p
>> drivers/net/ppp/ppp_generic.c:925:21: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
drivers/net/ppp/ppp_generic.c:925:21: sparse: expected void const volatile [noderef] __user *ptr
drivers/net/ppp/ppp_generic.c:925:21: sparse: got int const *__gu_addr
drivers/net/ppp/ppp_generic.c:939:21: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *p @@
drivers/net/ppp/ppp_generic.c:939:21: sparse: expected int const *__gu_addr
drivers/net/ppp/ppp_generic.c:939:21: sparse: got int [noderef] __user *p
drivers/net/ppp/ppp_generic.c:939:21: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
drivers/net/ppp/ppp_generic.c:939:21: sparse: expected void const volatile [noderef] __user *ptr
drivers/net/ppp/ppp_generic.c:939:21: sparse: got int const *__gu_addr
drivers/net/ppp/ppp_generic.c:954:21: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *p @@
drivers/net/ppp/ppp_generic.c:954:21: sparse: expected int const *__gu_addr
drivers/net/ppp/ppp_generic.c:954:21: sparse: got int [noderef] __user *p
drivers/net/ppp/ppp_generic.c:954:21: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
drivers/net/ppp/ppp_generic.c:954:21: sparse: expected void const volatile [noderef] __user *ptr
drivers/net/ppp/ppp_generic.c:954:21: sparse: got int const *__gu_addr
drivers/net/ppp/ppp_generic.c:651:29: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *p @@
drivers/net/ppp/ppp_generic.c:651:29: sparse: expected int const *__gu_addr
drivers/net/ppp/ppp_generic.c:651:29: sparse: got int [noderef] __user *p
drivers/net/ppp/ppp_generic.c:651:29: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
drivers/net/ppp/ppp_generic.c:651:29: sparse: expected void const volatile [noderef] __user *ptr
drivers/net/ppp/ppp_generic.c:651:29: sparse: got int const *__gu_addr
drivers/net/ppp/ppp_generic.c:681:21: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *p @@
drivers/net/ppp/ppp_generic.c:681:21: sparse: expected int const *__gu_addr
drivers/net/ppp/ppp_generic.c:681:21: sparse: got int [noderef] __user *p
drivers/net/ppp/ppp_generic.c:681:21: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
drivers/net/ppp/ppp_generic.c:681:21: sparse: expected void const volatile [noderef] __user *ptr
drivers/net/ppp/ppp_generic.c:681:21: sparse: got int const *__gu_addr
drivers/net/ppp/ppp_generic.c:688:21: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *p @@
drivers/net/ppp/ppp_generic.c:688:21: sparse: expected int const *__gu_addr
drivers/net/ppp/ppp_generic.c:688:21: sparse: got int [noderef] __user *p
drivers/net/ppp/ppp_generic.c:688:21: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
drivers/net/ppp/ppp_generic.c:688:21: sparse: expected void const volatile [noderef] __user *ptr
drivers/net/ppp/ppp_generic.c:688:21: sparse: got int const *__gu_addr
drivers/net/ppp/ppp_generic.c:726:21: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *p @@
drivers/net/ppp/ppp_generic.c:726:21: sparse: expected int const *__gu_addr
drivers/net/ppp/ppp_generic.c:726:21: sparse: got int [noderef] __user *p
drivers/net/ppp/ppp_generic.c:726:21: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
drivers/net/ppp/ppp_generic.c:726:21: sparse: expected void const volatile [noderef] __user *ptr
drivers/net/ppp/ppp_generic.c:726:21: sparse: got int const *__gu_addr
drivers/net/ppp/ppp_generic.c:755:21: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *p @@
drivers/net/ppp/ppp_generic.c:755:21: sparse: expected int const *__gu_addr
drivers/net/ppp/ppp_generic.c:755:21: sparse: got int [noderef] __user *p
drivers/net/ppp/ppp_generic.c:755:21: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
drivers/net/ppp/ppp_generic.c:755:21: sparse: expected void const volatile [noderef] __user *ptr
drivers/net/ppp/ppp_generic.c:755:21: sparse: got int const *__gu_addr
drivers/net/ppp/ppp_generic.c:823:21: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *p @@
drivers/net/ppp/ppp_generic.c:823:21: sparse: expected int const *__gu_addr
drivers/net/ppp/ppp_generic.c:823:21: sparse: got int [noderef] __user *p
drivers/net/ppp/ppp_generic.c:823:21: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
drivers/net/ppp/ppp_generic.c:823:21: sparse: expected void const volatile [noderef] __user *ptr
drivers/net/ppp/ppp_generic.c:823:21: sparse: got int const *__gu_addr
--
net/atm/pppoatm.c:376:24: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user * @@
net/atm/pppoatm.c:376:24: sparse: expected int const *__gu_addr
net/atm/pppoatm.c:376:24: sparse: got int [noderef] __user *
>> net/atm/pppoatm.c:376:24: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
net/atm/pppoatm.c:376:24: sparse: expected void const volatile [noderef] __user *ptr
net/atm/pppoatm.c:376:24: sparse: got int const *__gu_addr
net/atm/pppoatm.c:453:21: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected unsigned short const *__gu_addr @@ got unsigned short [noderef] [usertype] __user * @@
net/atm/pppoatm.c:453:21: sparse: expected unsigned short const *__gu_addr
net/atm/pppoatm.c:453:21: sparse: got unsigned short [noderef] [usertype] __user *
>> net/atm/pppoatm.c:453:21: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got unsigned short const *__gu_addr @@
net/atm/pppoatm.c:453:21: sparse: expected void const volatile [noderef] __user *ptr
net/atm/pppoatm.c:453:21: sparse: got unsigned short const *__gu_addr
--
net/packet/af_packet.c:3942:13: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *optlen @@
net/packet/af_packet.c:3942:13: sparse: expected int const *__gu_addr
net/packet/af_packet.c:3942:13: sparse: got int [noderef] __user *optlen
>> net/packet/af_packet.c:3942:13: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
net/packet/af_packet.c:3942:13: sparse: expected void const volatile [noderef] __user *ptr
net/packet/af_packet.c:3942:13: sparse: got int const *__gu_addr
net/packet/af_packet.c:1008:13: sparse: sparse: context imbalance in '__packet_lookup_frame_in_block' - different lock contexts for basic block
net/packet/af_packet.c:2402:17: sparse: sparse: context imbalance in 'tpacket_rcv' - unexpected unlock
--
net/xdp/xsk.c:835:13: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *optlen @@
net/xdp/xsk.c:835:13: sparse: expected int const *__gu_addr
net/xdp/xsk.c:835:13: sparse: got int [noderef] __user *optlen
>> net/xdp/xsk.c:835:13: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
net/xdp/xsk.c:835:13: sparse: expected void const volatile [noderef] __user *ptr
net/xdp/xsk.c:835:13: sparse: got int const *__gu_addr
vim +361 drivers/vhost/vdpa.c
2cf1ba9a4d15cb78 Zhu Lingshan 2020-07-31 346
4c8cf31885f69e86 Tiwei Bie 2020-03-26 347 static long vhost_vdpa_vring_ioctl(struct vhost_vdpa *v, unsigned int cmd,
4c8cf31885f69e86 Tiwei Bie 2020-03-26 348 void __user *argp)
4c8cf31885f69e86 Tiwei Bie 2020-03-26 349 {
4c8cf31885f69e86 Tiwei Bie 2020-03-26 350 struct vdpa_device *vdpa = v->vdpa;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 351 const struct vdpa_config_ops *ops = vdpa->config;
aac50c0bd434794b Eli Cohen 2020-08-04 352 struct vdpa_vq_state vq_state;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 353 struct vdpa_callback cb;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 354 struct vhost_virtqueue *vq;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 355 struct vhost_vring_state s;
653055b9acd45d60 Jason Wang 2020-08-04 356 u64 __user *featurep = argp;
653055b9acd45d60 Jason Wang 2020-08-04 357 u64 features;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 358 u32 idx;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 359 long r;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 360
4c8cf31885f69e86 Tiwei Bie 2020-03-26 @361 r = get_user(idx, (u32 __user *)argp);
4c8cf31885f69e86 Tiwei Bie 2020-03-26 362 if (r < 0)
4c8cf31885f69e86 Tiwei Bie 2020-03-26 363 return r;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 364
4c8cf31885f69e86 Tiwei Bie 2020-03-26 365 if (idx >= v->nvqs)
4c8cf31885f69e86 Tiwei Bie 2020-03-26 366 return -ENOBUFS;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 367
4c8cf31885f69e86 Tiwei Bie 2020-03-26 368 idx = array_index_nospec(idx, v->nvqs);
4c8cf31885f69e86 Tiwei Bie 2020-03-26 369 vq = &v->vqs[idx];
4c8cf31885f69e86 Tiwei Bie 2020-03-26 370
b0bd82bf729dbd05 Jason Wang 2020-08-04 371 switch (cmd) {
b0bd82bf729dbd05 Jason Wang 2020-08-04 372 case VHOST_VDPA_SET_VRING_ENABLE:
4c8cf31885f69e86 Tiwei Bie 2020-03-26 373 if (copy_from_user(&s, argp, sizeof(s)))
4c8cf31885f69e86 Tiwei Bie 2020-03-26 374 return -EFAULT;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 375 ops->set_vq_ready(vdpa, idx, s.num);
4c8cf31885f69e86 Tiwei Bie 2020-03-26 376 return 0;
b0bd82bf729dbd05 Jason Wang 2020-08-04 377 case VHOST_GET_VRING_BASE:
23750e39d57433d0 Eli Cohen 2020-08-04 378 r = ops->get_vq_state(v->vdpa, idx, &vq_state);
23750e39d57433d0 Eli Cohen 2020-08-04 379 if (r)
23750e39d57433d0 Eli Cohen 2020-08-04 380 return r;
23750e39d57433d0 Eli Cohen 2020-08-04 381
aac50c0bd434794b Eli Cohen 2020-08-04 382 vq->last_avail_idx = vq_state.avail_index;
b0bd82bf729dbd05 Jason Wang 2020-08-04 383 break;
653055b9acd45d60 Jason Wang 2020-08-04 384 case VHOST_GET_BACKEND_FEATURES:
653055b9acd45d60 Jason Wang 2020-08-04 385 features = VHOST_VDPA_BACKEND_FEATURES;
653055b9acd45d60 Jason Wang 2020-08-04 386 if (copy_to_user(featurep, &features, sizeof(features)))
653055b9acd45d60 Jason Wang 2020-08-04 387 return -EFAULT;
653055b9acd45d60 Jason Wang 2020-08-04 388 return 0;
653055b9acd45d60 Jason Wang 2020-08-04 389 case VHOST_SET_BACKEND_FEATURES:
653055b9acd45d60 Jason Wang 2020-08-04 390 if (copy_from_user(&features, featurep, sizeof(features)))
653055b9acd45d60 Jason Wang 2020-08-04 391 return -EFAULT;
653055b9acd45d60 Jason Wang 2020-08-04 392 if (features & ~VHOST_VDPA_BACKEND_FEATURES)
653055b9acd45d60 Jason Wang 2020-08-04 393 return -EOPNOTSUPP;
653055b9acd45d60 Jason Wang 2020-08-04 394 vhost_set_backend_features(&v->vdev, features);
653055b9acd45d60 Jason Wang 2020-08-04 395 return 0;
b0bd82bf729dbd05 Jason Wang 2020-08-04 396 }
4c8cf31885f69e86 Tiwei Bie 2020-03-26 397
4c8cf31885f69e86 Tiwei Bie 2020-03-26 398 r = vhost_vring_ioctl(&v->vdev, cmd, argp);
4c8cf31885f69e86 Tiwei Bie 2020-03-26 399 if (r)
4c8cf31885f69e86 Tiwei Bie 2020-03-26 400 return r;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 401
4c8cf31885f69e86 Tiwei Bie 2020-03-26 402 switch (cmd) {
4c8cf31885f69e86 Tiwei Bie 2020-03-26 403 case VHOST_SET_VRING_ADDR:
4c8cf31885f69e86 Tiwei Bie 2020-03-26 404 if (ops->set_vq_address(vdpa, idx,
4c8cf31885f69e86 Tiwei Bie 2020-03-26 405 (u64)(uintptr_t)vq->desc,
4c8cf31885f69e86 Tiwei Bie 2020-03-26 406 (u64)(uintptr_t)vq->avail,
4c8cf31885f69e86 Tiwei Bie 2020-03-26 407 (u64)(uintptr_t)vq->used))
4c8cf31885f69e86 Tiwei Bie 2020-03-26 408 r = -EINVAL;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 409 break;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 410
4c8cf31885f69e86 Tiwei Bie 2020-03-26 411 case VHOST_SET_VRING_BASE:
aac50c0bd434794b Eli Cohen 2020-08-04 412 vq_state.avail_index = vq->last_avail_idx;
aac50c0bd434794b Eli Cohen 2020-08-04 413 if (ops->set_vq_state(vdpa, idx, &vq_state))
4c8cf31885f69e86 Tiwei Bie 2020-03-26 414 r = -EINVAL;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 415 break;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 416
4c8cf31885f69e86 Tiwei Bie 2020-03-26 417 case VHOST_SET_VRING_CALL:
265a0ad8731dc04f Zhu Lingshan 2020-07-31 418 if (vq->call_ctx.ctx) {
4c8cf31885f69e86 Tiwei Bie 2020-03-26 419 cb.callback = vhost_vdpa_virtqueue_cb;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 420 cb.private = vq;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 421 } else {
4c8cf31885f69e86 Tiwei Bie 2020-03-26 422 cb.callback = NULL;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 423 cb.private = NULL;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 424 }
4c8cf31885f69e86 Tiwei Bie 2020-03-26 425 ops->set_vq_cb(vdpa, idx, &cb);
2cf1ba9a4d15cb78 Zhu Lingshan 2020-07-31 426 vhost_vdpa_setup_vq_irq(v, idx);
4c8cf31885f69e86 Tiwei Bie 2020-03-26 427 break;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 428
4c8cf31885f69e86 Tiwei Bie 2020-03-26 429 case VHOST_SET_VRING_NUM:
4c8cf31885f69e86 Tiwei Bie 2020-03-26 430 ops->set_vq_num(vdpa, idx, vq->num);
4c8cf31885f69e86 Tiwei Bie 2020-03-26 431 break;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 432 }
4c8cf31885f69e86 Tiwei Bie 2020-03-26 433
4c8cf31885f69e86 Tiwei Bie 2020-03-26 434 return r;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 435 }
4c8cf31885f69e86 Tiwei Bie 2020-03-26 436
:::::: The code at line 361 was first introduced by commit
:::::: 4c8cf31885f69e86be0b5b9e6677a26797365e1d vhost: introduce vDPA-based backend
:::::: TO: Tiwei Bie <tiwei.bie@intel.com>
:::::: CC: Michael S. Tsirkin <mst@redhat.com>
---
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: 19748 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
* drivers/vhost/vdpa.c:361:13: sparse: sparse: incorrect type in argument 1 (different address spaces)
@ 2021-01-15 9:45 ` kernel test robot
0 siblings, 0 replies; 2+ messages in thread
From: kernel test robot @ 2021-01-15 9:45 UTC (permalink / raw)
To: kbuild-all
[-- Attachment #1: Type: text/plain, Size: 20077 bytes --]
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: 5ee88057889bbca5f5bb96031b62b3756b33e164
commit: e5fc436f06eef54ef512ea55a9db8eb9f2e76959 sparse: use static inline for __chk_{user,io}_ptr()
date: 5 months ago
config: sh-randconfig-s032-20210115 (attached as .config)
compiler: sh4-linux-gcc (GCC) 9.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-208-g46a52ca4-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-9.3.0 make.cross C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' ARCH=sh
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 >>)"
drivers/vhost/vdpa.c:361:13: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected unsigned int const *__gu_addr @@ got unsigned int [noderef] [usertype] __user * @@
drivers/vhost/vdpa.c:361:13: sparse: expected unsigned int const *__gu_addr
drivers/vhost/vdpa.c:361:13: sparse: got unsigned int [noderef] [usertype] __user *
>> drivers/vhost/vdpa.c:361:13: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got unsigned int const *__gu_addr @@
drivers/vhost/vdpa.c:361:13: sparse: expected void const volatile [noderef] __user *ptr
drivers/vhost/vdpa.c:361:13: sparse: got unsigned int const *__gu_addr
--
drivers/net/ppp/pppoe.c:765:21: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user * @@
drivers/net/ppp/pppoe.c:765:21: sparse: expected int const *__gu_addr
drivers/net/ppp/pppoe.c:765:21: sparse: got int [noderef] __user *
>> drivers/net/ppp/pppoe.c:765:21: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
drivers/net/ppp/pppoe.c:765:21: sparse: expected void const volatile [noderef] __user *ptr
drivers/net/ppp/pppoe.c:765:21: sparse: got int const *__gu_addr
drivers/net/ppp/pppoe.c:778:21: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user * @@
drivers/net/ppp/pppoe.c:778:21: sparse: expected int const *__gu_addr
drivers/net/ppp/pppoe.c:778:21: sparse: got int [noderef] __user *
drivers/net/ppp/pppoe.c:778:21: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
drivers/net/ppp/pppoe.c:778:21: sparse: expected void const volatile [noderef] __user *ptr
drivers/net/ppp/pppoe.c:778:21: sparse: got int const *__gu_addr
--
drivers/net/ppp/ppp_generic.c:925:21: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *p @@
drivers/net/ppp/ppp_generic.c:925:21: sparse: expected int const *__gu_addr
drivers/net/ppp/ppp_generic.c:925:21: sparse: got int [noderef] __user *p
>> drivers/net/ppp/ppp_generic.c:925:21: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
drivers/net/ppp/ppp_generic.c:925:21: sparse: expected void const volatile [noderef] __user *ptr
drivers/net/ppp/ppp_generic.c:925:21: sparse: got int const *__gu_addr
drivers/net/ppp/ppp_generic.c:939:21: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *p @@
drivers/net/ppp/ppp_generic.c:939:21: sparse: expected int const *__gu_addr
drivers/net/ppp/ppp_generic.c:939:21: sparse: got int [noderef] __user *p
drivers/net/ppp/ppp_generic.c:939:21: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
drivers/net/ppp/ppp_generic.c:939:21: sparse: expected void const volatile [noderef] __user *ptr
drivers/net/ppp/ppp_generic.c:939:21: sparse: got int const *__gu_addr
drivers/net/ppp/ppp_generic.c:954:21: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *p @@
drivers/net/ppp/ppp_generic.c:954:21: sparse: expected int const *__gu_addr
drivers/net/ppp/ppp_generic.c:954:21: sparse: got int [noderef] __user *p
drivers/net/ppp/ppp_generic.c:954:21: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
drivers/net/ppp/ppp_generic.c:954:21: sparse: expected void const volatile [noderef] __user *ptr
drivers/net/ppp/ppp_generic.c:954:21: sparse: got int const *__gu_addr
drivers/net/ppp/ppp_generic.c:651:29: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *p @@
drivers/net/ppp/ppp_generic.c:651:29: sparse: expected int const *__gu_addr
drivers/net/ppp/ppp_generic.c:651:29: sparse: got int [noderef] __user *p
drivers/net/ppp/ppp_generic.c:651:29: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
drivers/net/ppp/ppp_generic.c:651:29: sparse: expected void const volatile [noderef] __user *ptr
drivers/net/ppp/ppp_generic.c:651:29: sparse: got int const *__gu_addr
drivers/net/ppp/ppp_generic.c:681:21: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *p @@
drivers/net/ppp/ppp_generic.c:681:21: sparse: expected int const *__gu_addr
drivers/net/ppp/ppp_generic.c:681:21: sparse: got int [noderef] __user *p
drivers/net/ppp/ppp_generic.c:681:21: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
drivers/net/ppp/ppp_generic.c:681:21: sparse: expected void const volatile [noderef] __user *ptr
drivers/net/ppp/ppp_generic.c:681:21: sparse: got int const *__gu_addr
drivers/net/ppp/ppp_generic.c:688:21: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *p @@
drivers/net/ppp/ppp_generic.c:688:21: sparse: expected int const *__gu_addr
drivers/net/ppp/ppp_generic.c:688:21: sparse: got int [noderef] __user *p
drivers/net/ppp/ppp_generic.c:688:21: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
drivers/net/ppp/ppp_generic.c:688:21: sparse: expected void const volatile [noderef] __user *ptr
drivers/net/ppp/ppp_generic.c:688:21: sparse: got int const *__gu_addr
drivers/net/ppp/ppp_generic.c:726:21: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *p @@
drivers/net/ppp/ppp_generic.c:726:21: sparse: expected int const *__gu_addr
drivers/net/ppp/ppp_generic.c:726:21: sparse: got int [noderef] __user *p
drivers/net/ppp/ppp_generic.c:726:21: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
drivers/net/ppp/ppp_generic.c:726:21: sparse: expected void const volatile [noderef] __user *ptr
drivers/net/ppp/ppp_generic.c:726:21: sparse: got int const *__gu_addr
drivers/net/ppp/ppp_generic.c:755:21: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *p @@
drivers/net/ppp/ppp_generic.c:755:21: sparse: expected int const *__gu_addr
drivers/net/ppp/ppp_generic.c:755:21: sparse: got int [noderef] __user *p
drivers/net/ppp/ppp_generic.c:755:21: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
drivers/net/ppp/ppp_generic.c:755:21: sparse: expected void const volatile [noderef] __user *ptr
drivers/net/ppp/ppp_generic.c:755:21: sparse: got int const *__gu_addr
drivers/net/ppp/ppp_generic.c:823:21: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *p @@
drivers/net/ppp/ppp_generic.c:823:21: sparse: expected int const *__gu_addr
drivers/net/ppp/ppp_generic.c:823:21: sparse: got int [noderef] __user *p
drivers/net/ppp/ppp_generic.c:823:21: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
drivers/net/ppp/ppp_generic.c:823:21: sparse: expected void const volatile [noderef] __user *ptr
drivers/net/ppp/ppp_generic.c:823:21: sparse: got int const *__gu_addr
--
net/atm/pppoatm.c:376:24: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user * @@
net/atm/pppoatm.c:376:24: sparse: expected int const *__gu_addr
net/atm/pppoatm.c:376:24: sparse: got int [noderef] __user *
>> net/atm/pppoatm.c:376:24: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
net/atm/pppoatm.c:376:24: sparse: expected void const volatile [noderef] __user *ptr
net/atm/pppoatm.c:376:24: sparse: got int const *__gu_addr
net/atm/pppoatm.c:453:21: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected unsigned short const *__gu_addr @@ got unsigned short [noderef] [usertype] __user * @@
net/atm/pppoatm.c:453:21: sparse: expected unsigned short const *__gu_addr
net/atm/pppoatm.c:453:21: sparse: got unsigned short [noderef] [usertype] __user *
>> net/atm/pppoatm.c:453:21: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got unsigned short const *__gu_addr @@
net/atm/pppoatm.c:453:21: sparse: expected void const volatile [noderef] __user *ptr
net/atm/pppoatm.c:453:21: sparse: got unsigned short const *__gu_addr
--
net/packet/af_packet.c:3942:13: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *optlen @@
net/packet/af_packet.c:3942:13: sparse: expected int const *__gu_addr
net/packet/af_packet.c:3942:13: sparse: got int [noderef] __user *optlen
>> net/packet/af_packet.c:3942:13: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
net/packet/af_packet.c:3942:13: sparse: expected void const volatile [noderef] __user *ptr
net/packet/af_packet.c:3942:13: sparse: got int const *__gu_addr
net/packet/af_packet.c:1008:13: sparse: sparse: context imbalance in '__packet_lookup_frame_in_block' - different lock contexts for basic block
net/packet/af_packet.c:2402:17: sparse: sparse: context imbalance in 'tpacket_rcv' - unexpected unlock
--
net/xdp/xsk.c:835:13: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected int const *__gu_addr @@ got int [noderef] __user *optlen @@
net/xdp/xsk.c:835:13: sparse: expected int const *__gu_addr
net/xdp/xsk.c:835:13: sparse: got int [noderef] __user *optlen
>> net/xdp/xsk.c:835:13: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected void const volatile [noderef] __user *ptr @@ got int const *__gu_addr @@
net/xdp/xsk.c:835:13: sparse: expected void const volatile [noderef] __user *ptr
net/xdp/xsk.c:835:13: sparse: got int const *__gu_addr
vim +361 drivers/vhost/vdpa.c
2cf1ba9a4d15cb78 Zhu Lingshan 2020-07-31 346
4c8cf31885f69e86 Tiwei Bie 2020-03-26 347 static long vhost_vdpa_vring_ioctl(struct vhost_vdpa *v, unsigned int cmd,
4c8cf31885f69e86 Tiwei Bie 2020-03-26 348 void __user *argp)
4c8cf31885f69e86 Tiwei Bie 2020-03-26 349 {
4c8cf31885f69e86 Tiwei Bie 2020-03-26 350 struct vdpa_device *vdpa = v->vdpa;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 351 const struct vdpa_config_ops *ops = vdpa->config;
aac50c0bd434794b Eli Cohen 2020-08-04 352 struct vdpa_vq_state vq_state;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 353 struct vdpa_callback cb;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 354 struct vhost_virtqueue *vq;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 355 struct vhost_vring_state s;
653055b9acd45d60 Jason Wang 2020-08-04 356 u64 __user *featurep = argp;
653055b9acd45d60 Jason Wang 2020-08-04 357 u64 features;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 358 u32 idx;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 359 long r;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 360
4c8cf31885f69e86 Tiwei Bie 2020-03-26 @361 r = get_user(idx, (u32 __user *)argp);
4c8cf31885f69e86 Tiwei Bie 2020-03-26 362 if (r < 0)
4c8cf31885f69e86 Tiwei Bie 2020-03-26 363 return r;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 364
4c8cf31885f69e86 Tiwei Bie 2020-03-26 365 if (idx >= v->nvqs)
4c8cf31885f69e86 Tiwei Bie 2020-03-26 366 return -ENOBUFS;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 367
4c8cf31885f69e86 Tiwei Bie 2020-03-26 368 idx = array_index_nospec(idx, v->nvqs);
4c8cf31885f69e86 Tiwei Bie 2020-03-26 369 vq = &v->vqs[idx];
4c8cf31885f69e86 Tiwei Bie 2020-03-26 370
b0bd82bf729dbd05 Jason Wang 2020-08-04 371 switch (cmd) {
b0bd82bf729dbd05 Jason Wang 2020-08-04 372 case VHOST_VDPA_SET_VRING_ENABLE:
4c8cf31885f69e86 Tiwei Bie 2020-03-26 373 if (copy_from_user(&s, argp, sizeof(s)))
4c8cf31885f69e86 Tiwei Bie 2020-03-26 374 return -EFAULT;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 375 ops->set_vq_ready(vdpa, idx, s.num);
4c8cf31885f69e86 Tiwei Bie 2020-03-26 376 return 0;
b0bd82bf729dbd05 Jason Wang 2020-08-04 377 case VHOST_GET_VRING_BASE:
23750e39d57433d0 Eli Cohen 2020-08-04 378 r = ops->get_vq_state(v->vdpa, idx, &vq_state);
23750e39d57433d0 Eli Cohen 2020-08-04 379 if (r)
23750e39d57433d0 Eli Cohen 2020-08-04 380 return r;
23750e39d57433d0 Eli Cohen 2020-08-04 381
aac50c0bd434794b Eli Cohen 2020-08-04 382 vq->last_avail_idx = vq_state.avail_index;
b0bd82bf729dbd05 Jason Wang 2020-08-04 383 break;
653055b9acd45d60 Jason Wang 2020-08-04 384 case VHOST_GET_BACKEND_FEATURES:
653055b9acd45d60 Jason Wang 2020-08-04 385 features = VHOST_VDPA_BACKEND_FEATURES;
653055b9acd45d60 Jason Wang 2020-08-04 386 if (copy_to_user(featurep, &features, sizeof(features)))
653055b9acd45d60 Jason Wang 2020-08-04 387 return -EFAULT;
653055b9acd45d60 Jason Wang 2020-08-04 388 return 0;
653055b9acd45d60 Jason Wang 2020-08-04 389 case VHOST_SET_BACKEND_FEATURES:
653055b9acd45d60 Jason Wang 2020-08-04 390 if (copy_from_user(&features, featurep, sizeof(features)))
653055b9acd45d60 Jason Wang 2020-08-04 391 return -EFAULT;
653055b9acd45d60 Jason Wang 2020-08-04 392 if (features & ~VHOST_VDPA_BACKEND_FEATURES)
653055b9acd45d60 Jason Wang 2020-08-04 393 return -EOPNOTSUPP;
653055b9acd45d60 Jason Wang 2020-08-04 394 vhost_set_backend_features(&v->vdev, features);
653055b9acd45d60 Jason Wang 2020-08-04 395 return 0;
b0bd82bf729dbd05 Jason Wang 2020-08-04 396 }
4c8cf31885f69e86 Tiwei Bie 2020-03-26 397
4c8cf31885f69e86 Tiwei Bie 2020-03-26 398 r = vhost_vring_ioctl(&v->vdev, cmd, argp);
4c8cf31885f69e86 Tiwei Bie 2020-03-26 399 if (r)
4c8cf31885f69e86 Tiwei Bie 2020-03-26 400 return r;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 401
4c8cf31885f69e86 Tiwei Bie 2020-03-26 402 switch (cmd) {
4c8cf31885f69e86 Tiwei Bie 2020-03-26 403 case VHOST_SET_VRING_ADDR:
4c8cf31885f69e86 Tiwei Bie 2020-03-26 404 if (ops->set_vq_address(vdpa, idx,
4c8cf31885f69e86 Tiwei Bie 2020-03-26 405 (u64)(uintptr_t)vq->desc,
4c8cf31885f69e86 Tiwei Bie 2020-03-26 406 (u64)(uintptr_t)vq->avail,
4c8cf31885f69e86 Tiwei Bie 2020-03-26 407 (u64)(uintptr_t)vq->used))
4c8cf31885f69e86 Tiwei Bie 2020-03-26 408 r = -EINVAL;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 409 break;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 410
4c8cf31885f69e86 Tiwei Bie 2020-03-26 411 case VHOST_SET_VRING_BASE:
aac50c0bd434794b Eli Cohen 2020-08-04 412 vq_state.avail_index = vq->last_avail_idx;
aac50c0bd434794b Eli Cohen 2020-08-04 413 if (ops->set_vq_state(vdpa, idx, &vq_state))
4c8cf31885f69e86 Tiwei Bie 2020-03-26 414 r = -EINVAL;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 415 break;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 416
4c8cf31885f69e86 Tiwei Bie 2020-03-26 417 case VHOST_SET_VRING_CALL:
265a0ad8731dc04f Zhu Lingshan 2020-07-31 418 if (vq->call_ctx.ctx) {
4c8cf31885f69e86 Tiwei Bie 2020-03-26 419 cb.callback = vhost_vdpa_virtqueue_cb;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 420 cb.private = vq;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 421 } else {
4c8cf31885f69e86 Tiwei Bie 2020-03-26 422 cb.callback = NULL;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 423 cb.private = NULL;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 424 }
4c8cf31885f69e86 Tiwei Bie 2020-03-26 425 ops->set_vq_cb(vdpa, idx, &cb);
2cf1ba9a4d15cb78 Zhu Lingshan 2020-07-31 426 vhost_vdpa_setup_vq_irq(v, idx);
4c8cf31885f69e86 Tiwei Bie 2020-03-26 427 break;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 428
4c8cf31885f69e86 Tiwei Bie 2020-03-26 429 case VHOST_SET_VRING_NUM:
4c8cf31885f69e86 Tiwei Bie 2020-03-26 430 ops->set_vq_num(vdpa, idx, vq->num);
4c8cf31885f69e86 Tiwei Bie 2020-03-26 431 break;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 432 }
4c8cf31885f69e86 Tiwei Bie 2020-03-26 433
4c8cf31885f69e86 Tiwei Bie 2020-03-26 434 return r;
4c8cf31885f69e86 Tiwei Bie 2020-03-26 435 }
4c8cf31885f69e86 Tiwei Bie 2020-03-26 436
:::::: The code at line 361 was first introduced by commit
:::::: 4c8cf31885f69e86be0b5b9e6677a26797365e1d vhost: introduce vDPA-based backend
:::::: TO: Tiwei Bie <tiwei.bie@intel.com>
:::::: CC: Michael S. Tsirkin <mst@redhat.com>
---
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: 19748 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2021-01-15 9:46 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-01-15 9:45 drivers/vhost/vdpa.c:361:13: sparse: sparse: incorrect type in argument 1 (different address spaces) kernel test robot
2021-01-15 9:45 ` kernel test robot
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.