io_uring/poll.c:819:40: sparse: sparse: incorrect type in argument 2 (different base types)
From: kernel test robot
Date: Sun Aug 07 2022 - 00:41:29 EST
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: 1612c382ffbdf1f673caec76502b1c00e6d35363
commit: 063a007996bf725ba4c7d8741701670be9858300 io_uring: change arm poll return values
date: 13 days ago
config: alpha-randconfig-s042-20220804 (https://download.01.org/0day-ci/archive/20220807/202208071239.6zgknmQ9-lkp@xxxxxxxxx/config)
compiler: alpha-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=063a007996bf725ba4c7d8741701670be9858300
git remote add linus https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
git fetch --no-tags linus master
git checkout 063a007996bf725ba4c7d8741701670be9858300
# 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=alpha SHELL=/bin/bash
If you fix the issue, kindly add following tag where applicable
Reported-by: kernel test robot <lkp@xxxxxxxxx>
sparse warnings: (new ones prefixed by >>)
io_uring/poll.c: note: in included file (through io_uring/io_uring.h):
io_uring/slist.h:138:29: sparse: sparse: no newline at end of file
io_uring/poll.c:222:38: sparse: sparse: incorrect type in assignment (different base types) @@ expected signed int [usertype] res @@ got restricted __poll_t @@
io_uring/poll.c:222:38: sparse: expected signed int [usertype] res
io_uring/poll.c:222:38: sparse: got restricted __poll_t
io_uring/poll.c:233:56: sparse: sparse: restricted __poll_t degrades to integer
io_uring/poll.c:232:66: sparse: sparse: incorrect type in argument 1 (different base types) @@ expected restricted __poll_t [usertype] val @@ got unsigned int @@
io_uring/poll.c:232:66: sparse: expected restricted __poll_t [usertype] val
io_uring/poll.c:232:66: sparse: got unsigned int
io_uring/poll.c:232:52: sparse: sparse: incorrect type in initializer (different base types) @@ expected restricted __poll_t [usertype] mask @@ got unsigned short @@
io_uring/poll.c:232:52: sparse: expected restricted __poll_t [usertype] mask
io_uring/poll.c:232:52: sparse: got unsigned short
io_uring/poll.c:236:46: sparse: sparse: incorrect type in argument 3 (different base types) @@ expected signed int [usertype] res @@ got restricted __poll_t [usertype] mask @@
io_uring/poll.c:236:46: sparse: expected signed int [usertype] res
io_uring/poll.c:236:46: sparse: got restricted __poll_t [usertype] mask
io_uring/poll.c:264:63: sparse: sparse: restricted __poll_t degrades to integer
io_uring/poll.c:264:57: sparse: sparse: incorrect type in argument 1 (different base types) @@ expected restricted __poll_t [usertype] val @@ got unsigned int @@
io_uring/poll.c:264:57: sparse: expected restricted __poll_t [usertype] val
io_uring/poll.c:264:57: sparse: got unsigned int
io_uring/poll.c:372:40: sparse: sparse: incorrect type in argument 2 (different base types) @@ expected int mask @@ got restricted __poll_t [usertype] mask @@
io_uring/poll.c:372:40: sparse: expected int mask
io_uring/poll.c:372:40: sparse: got restricted __poll_t [usertype] mask
io_uring/poll.c:491:40: sparse: sparse: incorrect type in argument 2 (different base types) @@ expected int mask @@ got restricted __poll_t [assigned] [usertype] mask @@
io_uring/poll.c:491:40: sparse: expected int mask
io_uring/poll.c:491:40: sparse: got restricted __poll_t [assigned] [usertype] mask
io_uring/poll.c:543:45: sparse: sparse: restricted __poll_t degrades to integer
io_uring/poll.c:543:43: sparse: sparse: incorrect type in initializer (different base types) @@ expected restricted __poll_t [usertype] mask @@ got unsigned int @@
io_uring/poll.c:543:43: sparse: expected restricted __poll_t [usertype] mask
io_uring/poll.c:543:43: sparse: got unsigned int
io_uring/poll.c:588:38: sparse: sparse: incorrect type in argument 2 (different base types) @@ expected int mask @@ got restricted __poll_t [assigned] [usertype] mask @@
io_uring/poll.c:588:38: sparse: expected int mask
io_uring/poll.c:588:38: sparse: got restricted __poll_t [assigned] [usertype] mask
io_uring/poll.c:588:55: sparse: sparse: incorrect type in argument 3 (different base types) @@ expected int events @@ got restricted __poll_t [usertype] events @@
io_uring/poll.c:588:55: sparse: expected int events
io_uring/poll.c:588:55: sparse: got restricted __poll_t [usertype] events
io_uring/poll.c:745:24: sparse: sparse: invalid assignment: |=
io_uring/poll.c:745:24: sparse: left side has type unsigned int
io_uring/poll.c:745:24: sparse: right side has type restricted __poll_t
io_uring/poll.c:747:24: sparse: sparse: invalid assignment: |=
io_uring/poll.c:747:24: sparse: left side has type unsigned int
io_uring/poll.c:747:24: sparse: right side has type restricted __poll_t
io_uring/poll.c:749:55: sparse: sparse: restricted __poll_t degrades to integer
io_uring/poll.c:748:29: sparse: sparse: restricted __poll_t degrades to integer
io_uring/poll.c:748:38: sparse: sparse: incorrect type in return expression (different base types) @@ expected restricted __poll_t @@ got unsigned int @@
io_uring/poll.c:748:38: sparse: expected restricted __poll_t
io_uring/poll.c:748:38: sparse: got unsigned int
>> io_uring/poll.c:819:40: sparse: sparse: incorrect type in argument 2 (different base types) @@ expected signed int [usertype] res @@ got restricted __poll_t [addressable] [assigned] [usertype] result_mask @@
io_uring/poll.c:819:40: sparse: expected signed int [usertype] res
io_uring/poll.c:819:40: sparse: got restricted __poll_t [addressable] [assigned] [usertype] result_mask
io_uring/poll.c:873:38: sparse: sparse: invalid assignment: &=
io_uring/poll.c:873:38: sparse: left side has type restricted __poll_t
io_uring/poll.c:873:38: sparse: right side has type int
io_uring/poll.c:874:52: sparse: sparse: restricted __poll_t degrades to integer
io_uring/poll.c:874:38: sparse: sparse: invalid assignment: |=
io_uring/poll.c:874:38: sparse: left side has type restricted __poll_t
io_uring/poll.c:874:38: sparse: right side has type unsigned int
io_uring/poll.c:632:24: sparse: sparse: context imbalance in 'io_poll_find' - wrong count at exit
io_uring/poll.c:661:24: sparse: sparse: context imbalance in 'io_poll_file_find' - wrong count at exit
io_uring/poll.c:716:28: sparse: sparse: context imbalance in '__io_poll_cancel' - unexpected unlock
io_uring/poll.c:843:28: sparse: sparse: context imbalance in 'io_poll_remove' - unexpected unlock
vim +819 io_uring/poll.c
798
799 int io_poll_add(struct io_kiocb *req, unsigned int issue_flags)
800 {
801 struct io_poll *poll = io_kiocb_to_cmd(req);
802 struct io_poll_table ipt;
803 int ret;
804
805 ipt.pt._qproc = io_poll_queue_proc;
806
807 /*
808 * If sqpoll or single issuer, there is no contention for ->uring_lock
809 * and we'll end up holding it in tw handlers anyway.
810 */
811 if (!(issue_flags & IO_URING_F_UNLOCKED) &&
812 (req->ctx->flags & (IORING_SETUP_SQPOLL | IORING_SETUP_SINGLE_ISSUER)))
813 req->flags |= REQ_F_HASH_LOCKED;
814 else
815 req->flags &= ~REQ_F_HASH_LOCKED;
816
817 ret = __io_arm_poll_handler(req, poll, &ipt, poll->events);
818 if (ret) {
> 819 io_req_set_res(req, ipt.result_mask, 0);
820 return IOU_OK;
821 }
822 if (ipt.error) {
823 req_set_fail(req);
824 return ipt.error;
825 }
826
827 return IOU_ISSUE_SKIP_COMPLETE;
828 }
829
--
0-DAY CI Kernel Test Service
https://01.org/lkp