io_uring/poll.c:819:40: sparse: sparse: incorrect type in argument 2 (different base types)
From: kernel test robot
Date: Wed Dec 27 2023 - 23:58:35 EST
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: f5837722ffecbbedf1b1dbab072a063565f0dad1
commit: 063a007996bf725ba4c7d8741701670be9858300 io_uring: change arm poll return values
date: 1 year, 5 months ago
config: x86_64-alldefconfig (https://download.01.org/0day-ci/archive/20231228/202312281221.Xmo2DIaO-lkp@xxxxxxxxx/config)
compiler: gcc-12 (Debian 12.2.0-14) 12.2.0
reproduce (this is a W=1 build): (https://download.01.org/0day-ci/archive/20231228/202312281221.Xmo2DIaO-lkp@xxxxxxxxx/reproduce)
If you fix the issue in a separate patch/commit (i.e. not just a new version of
the same patch/commit), kindly add following tags
| Reported-by: kernel test robot <lkp@xxxxxxxxx>
| Closes: https://lore.kernel.org/oe-kbuild-all/202312281221.Xmo2DIaO-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://github.com/intel/lkp-tests/wiki