public inbox for [email protected]
 help / color / mirror / Atom feed
* [ammarfaizi2-block:axboe/linux-block/for-5.20/io_uring 8/40] io_uring/io_uring.c:6701:38: sparse: sparse: incorrect type in assignment (different base types)
@ 2022-05-25  6:33 kernel test robot
  0 siblings, 0 replies; only message in thread
From: kernel test robot @ 2022-05-25  6:33 UTC (permalink / raw)
  To: Jens Axboe; +Cc: kbuild-all, GNU/Weeb Mailing List, linux-kernel

tree:   https://github.com/ammarfaizi2/linux-block axboe/linux-block/for-5.20/io_uring
head:   9da4fba4e0165c5e40d689eb5d34b73d780bf067
commit: 4ad7740c8e760244c249fff910d82f4fcf214bda [8/40] io_uring: move to separate directory
config: x86_64-randconfig-s021 (https://download.01.org/0day-ci/archive/20220525/[email protected]/config)
compiler: gcc-11 (Debian 11.3.0-1) 11.3.0
reproduce:
        # apt-get install sparse
        # sparse version: v0.6.4-14-g5a0004b5-dirty
        # https://github.com/ammarfaizi2/linux-block/commit/4ad7740c8e760244c249fff910d82f4fcf214bda
        git remote add ammarfaizi2-block https://github.com/ammarfaizi2/linux-block
        git fetch --no-tags ammarfaizi2-block axboe/linux-block/for-5.20/io_uring
        git checkout 4ad7740c8e760244c249fff910d82f4fcf214bda
        # save the config file
        mkdir build_dir && cp config build_dir/.config
        make W=1 C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' O=build_dir ARCH=x86_64 SHELL=/bin/bash

If you fix the issue, kindly add following tag where applicable
Reported-by: kernel test robot <[email protected]>


sparse warnings: (new ones prefixed by >>)
   io_uring/io_uring.c:204:37: sparse: sparse: array of flexible structures
>> io_uring/io_uring.c:6701:38: sparse: sparse: incorrect type in assignment (different base types) @@     expected signed int [usertype] res @@     got restricted __poll_t @@
   io_uring/io_uring.c:6701:38: sparse:     expected signed int [usertype] res
   io_uring/io_uring.c:6701:38: sparse:     got restricted __poll_t
>> io_uring/io_uring.c:6712:56: sparse: sparse: restricted __poll_t degrades to integer
>> io_uring/io_uring.c:6711:66: sparse: sparse: incorrect type in argument 1 (different base types) @@     expected restricted __poll_t [usertype] val @@     got unsigned int @@
   io_uring/io_uring.c:6711:66: sparse:     expected restricted __poll_t [usertype] val
   io_uring/io_uring.c:6711:66: sparse:     got unsigned int
>> io_uring/io_uring.c:6711:52: sparse: sparse: incorrect type in initializer (different base types) @@     expected restricted __poll_t [usertype] mask @@     got unsigned short @@
   io_uring/io_uring.c:6711:52: sparse:     expected restricted __poll_t [usertype] mask
   io_uring/io_uring.c:6711:52: sparse:     got unsigned short
>> io_uring/io_uring.c:6717:50: sparse: sparse: incorrect type in argument 3 (different base types) @@     expected signed int [usertype] res @@     got restricted __poll_t [usertype] mask @@
   io_uring/io_uring.c:6717:50: sparse:     expected signed int [usertype] res
   io_uring/io_uring.c:6717:50: sparse:     got restricted __poll_t [usertype] mask
   io_uring/io_uring.c:6754:68: sparse: sparse: restricted __poll_t degrades to integer
   io_uring/io_uring.c:6754:57: sparse: sparse: incorrect type in argument 1 (different base types) @@     expected restricted __poll_t [usertype] val @@     got unsigned int @@
   io_uring/io_uring.c:6754:57: sparse:     expected restricted __poll_t [usertype] val
   io_uring/io_uring.c:6754:57: sparse:     got unsigned int
>> io_uring/io_uring.c:6872:40: sparse: sparse: incorrect type in argument 2 (different base types) @@     expected int mask @@     got restricted __poll_t [usertype] mask @@
   io_uring/io_uring.c:6872:40: sparse:     expected int mask
   io_uring/io_uring.c:6872:40: sparse:     got restricted __poll_t [usertype] mask
>> io_uring/io_uring.c:6964:24: sparse: sparse: incorrect type in return expression (different base types) @@     expected int @@     got restricted __poll_t [assigned] [usertype] mask @@
   io_uring/io_uring.c:6964:24: sparse:     expected int
   io_uring/io_uring.c:6964:24: sparse:     got restricted __poll_t [assigned] [usertype] mask
>> io_uring/io_uring.c:6981:40: sparse: sparse: incorrect type in argument 2 (different base types) @@     expected int mask @@     got restricted __poll_t [assigned] [usertype] mask @@
   io_uring/io_uring.c:6981:40: sparse:     expected int mask
   io_uring/io_uring.c:6981:40: sparse:     got restricted __poll_t [assigned] [usertype] mask
>> io_uring/io_uring.c:7016:33: sparse: sparse: incorrect type in initializer (different base types) @@     expected restricted __poll_t [usertype] mask @@     got int @@
   io_uring/io_uring.c:7016:33: sparse:     expected restricted __poll_t [usertype] mask
   io_uring/io_uring.c:7016:33: sparse:     got int
   io_uring/io_uring.c:7064:33: sparse: sparse: incorrect type in argument 5 (different base types) @@     expected int mask @@     got restricted __poll_t [assigned] [usertype] mask @@
   io_uring/io_uring.c:7064:33: sparse:     expected int mask
   io_uring/io_uring.c:7064:33: sparse:     got restricted __poll_t [assigned] [usertype] mask
>> io_uring/io_uring.c:7064:50: sparse: sparse: incorrect type in argument 6 (different base types) @@     expected int events @@     got restricted __poll_t [usertype] events @@
   io_uring/io_uring.c:7064:50: sparse:     expected int events
   io_uring/io_uring.c:7064:50: sparse:     got restricted __poll_t [usertype] events
>> io_uring/io_uring.c:7178:24: sparse: sparse: invalid assignment: |=
>> io_uring/io_uring.c:7178:24: sparse:    left side has type unsigned int
>> io_uring/io_uring.c:7178:24: sparse:    right side has type restricted __poll_t
   io_uring/io_uring.c:7179:65: sparse: sparse: restricted __poll_t degrades to integer
   io_uring/io_uring.c:7179:29: sparse: sparse: restricted __poll_t degrades to integer
>> io_uring/io_uring.c:7179:38: sparse: sparse: incorrect type in return expression (different base types) @@     expected restricted __poll_t @@     got unsigned int @@
   io_uring/io_uring.c:7179:38: sparse:     expected restricted __poll_t
   io_uring/io_uring.c:7179:38: sparse:     got unsigned int
   io_uring/io_uring.c:7266:43: sparse: sparse: invalid assignment: &=
>> io_uring/io_uring.c:7266:43: sparse:    left side has type restricted __poll_t
>> io_uring/io_uring.c:7266:43: sparse:    right side has type int
   io_uring/io_uring.c:7267:62: sparse: sparse: restricted __poll_t degrades to integer
   io_uring/io_uring.c:7267:43: sparse: sparse: invalid assignment: |=
   io_uring/io_uring.c:7267:43: sparse:    left side has type restricted __poll_t
>> io_uring/io_uring.c:7267:43: sparse:    right side has type unsigned int
   io_uring/io_uring.c:2676:17: sparse: sparse: context imbalance in 'handle_prev_tw_list' - different lock contexts for basic block
   io_uring/io_uring.c:9284:9: sparse: sparse: context imbalance in 'io_sq_thread_unpark' - wrong count at exit
   io_uring/io_uring.c:9295:9: sparse: sparse: context imbalance in 'io_sq_thread_park' - wrong count at exit

vim +6701 io_uring/io_uring.c

18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6667  
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6668  static int io_issue_sqe(struct io_kiocb *req, unsigned int issue_flags);
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6669  /*
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6670   * All poll tw should go through this. Checks for poll events, manages
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6671   * references, does rewait, etc.
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6672   *
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6673   * Returns a negative error on failure. >0 when no action require, which is
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6674   * either spurious wakeup or multishot CQE is served. 0 when it's done with
cef216fc32d762 fs/io_uring.c Pavel Begunkov    2022-04-12  6675   * the request, then the mask is stored in req->cqe.res.
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6676   */
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6677  static int io_poll_check_events(struct io_kiocb *req, bool *locked)
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6678  {
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6679  	struct io_ring_ctx *ctx = req->ctx;
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6680  	int v, ret;
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6681  
316319e82f7342 fs/io_uring.c Jens Axboe        2021-08-19  6682  	/* req->task == current here, checking PF_EXITING is safe */
e09ee510600b94 fs/io_uring.c Pavel Begunkov    2021-07-01  6683  	if (unlikely(req->task->flags & PF_EXITING))
f22190570b213d fs/io_uring.c Pavel Begunkov    2022-04-15  6684  		return -ECANCELED;
e09ee510600b94 fs/io_uring.c Pavel Begunkov    2021-07-01  6685  
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6686  	do {
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6687  		v = atomic_read(&req->poll_refs);
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6688  
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6689  		/* tw handler should be the owner, and so have some references */
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6690  		if (WARN_ON_ONCE(!(v & IO_POLL_REF_MASK)))
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6691  			return 0;
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6692  		if (v & IO_POLL_CANCEL_FLAG)
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6693  			return -ECANCELED;
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6694  
cef216fc32d762 fs/io_uring.c Pavel Begunkov    2022-04-12  6695  		if (!req->cqe.res) {
2804ecd8d3e373 fs/io_uring.c Jens Axboe        2022-04-11  6696  			struct poll_table_struct pt = { ._key = req->apoll_events };
cce64ef01308b6 fs/io_uring.c Pavel Begunkov    2022-04-13  6697  			unsigned flags = locked ? 0 : IO_URING_F_UNLOCKED;
74ce6ce43d4fc6 fs/io_uring.c Jens Axboe        2020-04-13  6698  
cce64ef01308b6 fs/io_uring.c Pavel Begunkov    2022-04-13  6699  			if (unlikely(!io_assign_file(req, flags)))
7179c3ce3dbff6 fs/io_uring.c Pavel Begunkov    2022-04-13  6700  				return -EBADF;
cef216fc32d762 fs/io_uring.c Pavel Begunkov    2022-04-12 @6701  			req->cqe.res = vfs_poll(req->file, &pt) & req->apoll_events;
e27414bef7b4f2 fs/io_uring.c Pavel Begunkov    2021-04-09  6702  		}
74ce6ce43d4fc6 fs/io_uring.c Jens Axboe        2020-04-13  6703  
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6704  		if ((unlikely(!req->cqe.res)))
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6705  			continue;
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6706  		if (req->apoll_events & EPOLLONESHOT)
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6707  			return 0;
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6708  
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6709  		/* multishot, just fill a CQE and proceed */
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6710  		if (!(req->flags & REQ_F_APOLL_MULTISHOT)) {
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14 @6711  			__poll_t mask = mangle_poll(req->cqe.res &
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14 @6712  						    req->apoll_events);
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6713  			bool filled;
74ce6ce43d4fc6 fs/io_uring.c Jens Axboe        2020-04-13  6714  
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6715  			spin_lock(&ctx->completion_lock);
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6716  			filled = io_fill_cqe_aux(ctx, req->cqe.user_data,
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14 @6717  						 mask, IORING_CQE_F_MORE);
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6718  			io_commit_cqring(ctx);
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6719  			spin_unlock(&ctx->completion_lock);
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6720  			if (filled) {
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6721  				io_cqring_ev_posted(ctx);
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6722  				continue;
a62682f92eedb4 fs/io_uring.c Hao Xu            2021-09-22  6723  			}
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6724  			return -ECANCELED;
a62682f92eedb4 fs/io_uring.c Hao Xu            2021-09-22  6725  		}
7b289c38335ec7 fs/io_uring.c Hao Xu            2021-04-13  6726  
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6727  		io_tw_lock(req->ctx, locked);
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6728  		if (unlikely(req->task->flags & PF_EXITING))
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6729  			return -EFAULT;
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6730  		ret = io_issue_sqe(req,
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6731  				   IO_URING_F_NONBLOCK|IO_URING_F_COMPLETE_DEFER);
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6732  		if (ret)
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6733  			return ret;
7b289c38335ec7 fs/io_uring.c Hao Xu            2021-04-13  6734  
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6735  		/*
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6736  		 * Release all references, retry if someone tried to restart
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6737  		 * task_work while we were executing it.
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6738  		 */
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6739  	} while (atomic_sub_return(v & IO_POLL_REF_MASK, &req->poll_refs));
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6740  
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6741  	return 1;
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6742  }
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6743  
f237c30a5610d3 fs/io_uring.c Pavel Begunkov    2021-08-18  6744  static void io_poll_task_func(struct io_kiocb *req, bool *locked)
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6745  {
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6746  	struct io_ring_ctx *ctx = req->ctx;
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6747  	int ret;
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6748  
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6749  	ret = io_poll_check_events(req, locked);
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6750  	if (ret > 0)
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6751  		return;
88e41cf928a6e1 fs/io_uring.c Jens Axboe        2021-02-22  6752  
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6753  	if (!ret) {
cef216fc32d762 fs/io_uring.c Pavel Begunkov    2022-04-12  6754  		req->cqe.res = mangle_poll(req->cqe.res & req->poll.events);
f40b964a66ace5 fs/io_uring.c Pavel Begunkov    2021-04-09  6755  	} else {
cef216fc32d762 fs/io_uring.c Pavel Begunkov    2022-04-12  6756  		req->cqe.res = ret;
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6757  		req_set_fail(req);
88e41cf928a6e1 fs/io_uring.c Jens Axboe        2021-02-22  6758  	}
913a571affedd1 fs/io_uring.c Pavel Begunkov    2021-11-10  6759  
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6760  	io_poll_remove_entries(req);
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6761  	spin_lock(&ctx->completion_lock);
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6762  	hash_del(&req->hash_node);
cef216fc32d762 fs/io_uring.c Pavel Begunkov    2022-04-12  6763  	__io_req_complete_post(req, req->cqe.res, 0);
31efe48eb5dc4d fs/io_uring.c Xiaoguang Wang    2021-09-03  6764  	io_commit_cqring(ctx);
79ebeaee8a21a0 fs/io_uring.c Jens Axboe        2021-08-10  6765  	spin_unlock(&ctx->completion_lock);
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6766  	io_cqring_ev_posted(ctx);
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6767  }
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6768  
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6769  static void io_apoll_task_func(struct io_kiocb *req, bool *locked)
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6770  {
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6771  	struct io_ring_ctx *ctx = req->ctx;
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6772  	int ret;
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6773  
dbc2564cfe0faf fs/io_uring.c Hao Xu            2022-05-14  6774  	ret = io_poll_check_events(req, locked);
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6775  	if (ret > 0)
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6776  		return;
88e41cf928a6e1 fs/io_uring.c Jens Axboe        2021-02-22  6777  
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6778  	io_poll_remove_entries(req);
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6779  	spin_lock(&ctx->completion_lock);
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6780  	hash_del(&req->hash_node);
5b7aa38d86f348 fs/io_uring.c Hao Xu            2021-09-22  6781  	spin_unlock(&ctx->completion_lock);
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6782  
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6783  	if (!ret)
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6784  		io_req_task_submit(req, locked);
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6785  	else
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6786  		io_req_complete_failed(req, ret);
5b7aa38d86f348 fs/io_uring.c Hao Xu            2021-09-22  6787  }
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6788  
58f5c8d39e0ea0 fs/io_uring.c Christoph Hellwig 2022-05-18  6789  static void __io_poll_execute(struct io_kiocb *req, int mask, __poll_t events)
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6790  {
cef216fc32d762 fs/io_uring.c Pavel Begunkov    2022-04-12  6791  	req->cqe.res = mask;
81459350d581e9 fs/io_uring.c Jens Axboe        2022-03-16  6792  	/*
81459350d581e9 fs/io_uring.c Jens Axboe        2022-03-16  6793  	 * This is useful for poll that is armed on behalf of another
81459350d581e9 fs/io_uring.c Jens Axboe        2022-03-16  6794  	 * request, and where the wakeup path could be on a different
81459350d581e9 fs/io_uring.c Jens Axboe        2022-03-16  6795  	 * CPU. We want to avoid pulling in req->apoll->events for that
81459350d581e9 fs/io_uring.c Jens Axboe        2022-03-16  6796  	 * case.
81459350d581e9 fs/io_uring.c Jens Axboe        2022-03-16  6797  	 */
2804ecd8d3e373 fs/io_uring.c Jens Axboe        2022-04-11  6798  	req->apoll_events = events;
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6799  	if (req->opcode == IORING_OP_POLL_ADD)
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6800  		req->io_task_work.func = io_poll_task_func;
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6801  	else
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6802  		req->io_task_work.func = io_apoll_task_func;
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6803  
cef216fc32d762 fs/io_uring.c Pavel Begunkov    2022-04-12  6804  	trace_io_uring_task_add(req->ctx, req, req->cqe.user_data, req->opcode, mask);
3fe07bcd800d6e fs/io_uring.c Jens Axboe        2022-05-21  6805  	io_req_task_work_add(req);
dd221f46f68ad9 fs/io_uring.c Pavel Begunkov    2020-10-18  6806  }
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6807  
58f5c8d39e0ea0 fs/io_uring.c Christoph Hellwig 2022-05-18  6808  static inline void io_poll_execute(struct io_kiocb *req, int res,
58f5c8d39e0ea0 fs/io_uring.c Christoph Hellwig 2022-05-18  6809  		__poll_t events)
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6810  {
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6811  	if (io_poll_get_ownership(req))
81459350d581e9 fs/io_uring.c Jens Axboe        2022-03-16  6812  		__io_poll_execute(req, res, events);
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6813  }
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6814  
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6815  static void io_poll_cancel_req(struct io_kiocb *req)
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6816  {
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6817  	io_poll_mark_cancelled(req);
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6818  	/* kick tw, which should complete the request */
81459350d581e9 fs/io_uring.c Jens Axboe        2022-03-16  6819  	io_poll_execute(req, 0, 0);
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6820  }
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6821  
d89a4fac0fbc6f fs/io_uring.c Jens Axboe        2022-03-22  6822  #define wqe_to_req(wait)	((void *)((unsigned long) (wait)->private & ~1))
d89a4fac0fbc6f fs/io_uring.c Jens Axboe        2022-03-22  6823  #define wqe_is_double(wait)	((unsigned long) (wait)->private & 1)
a294bef57c55a4 fs/io_uring.c Christoph Hellwig 2022-05-18  6824  #define IO_ASYNC_POLL_COMMON	(EPOLLONESHOT | EPOLLPRI)
d89a4fac0fbc6f fs/io_uring.c Jens Axboe        2022-03-22  6825  
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6826  static int io_poll_wake(struct wait_queue_entry *wait, unsigned mode, int sync,
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6827  			void *key)
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6828  {
d89a4fac0fbc6f fs/io_uring.c Jens Axboe        2022-03-22  6829  	struct io_kiocb *req = wqe_to_req(wait);
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6830  	struct io_poll_iocb *poll = container_of(wait, struct io_poll_iocb,
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6831  						 wait);
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6832  	__poll_t mask = key_to_poll(key);
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6833  
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6834  	if (unlikely(mask & POLLFREE)) {
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6835  		io_poll_mark_cancelled(req);
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6836  		/* we have to kick tw in case it's not already */
81459350d581e9 fs/io_uring.c Jens Axboe        2022-03-16  6837  		io_poll_execute(req, 0, poll->events);
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6838  
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6839  		/*
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6840  		 * If the waitqueue is being freed early but someone is already
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6841  		 * holds ownership over it, we have to tear down the request as
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6842  		 * best we can. That means immediately removing the request from
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6843  		 * its waitqueue and preventing all further accesses to the
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6844  		 * waitqueue via the request.
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6845  		 */
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6846  		list_del_init(&poll->wait.entry);
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6847  
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6848  		/*
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6849  		 * Careful: this *must* be the last step, since as soon
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6850  		 * as req->head is NULL'ed out, the request can be
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6851  		 * completed and freed, since aio_poll_complete_work()
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6852  		 * will no longer need to take the waitqueue lock.
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6853  		 */
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6854  		smp_store_release(&poll->head, NULL);
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6855  		return 1;
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6856  	}
791f3465c4afde fs/io_uring.c Pavel Begunkov    2022-01-14  6857  
aa43477b040251 fs/io_uring.c Pavel Begunkov    2021-12-15  6858  	/* for instances that support it check for an event match first */
1b1d7b4bf1d994 fs/io_uring.c Dylan Yudaken     2022-05-12  6859  	if (mask && !(mask & (poll->events & ~IO_ASYNC_POLL_COMMON)))
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6860  		return 0;
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6861  
eb0089d629ba41 fs/io_uring.c Pavel Begunkov    2021-12-15  6862  	if (io_poll_get_ownership(req)) {
eb0089d629ba41 fs/io_uring.c Pavel Begunkov    2021-12-15  6863  		/* optional, saves extra locking for removal in tw handler */
eb0089d629ba41 fs/io_uring.c Pavel Begunkov    2021-12-15  6864  		if (mask && poll->events & EPOLLONESHOT) {
807abcb0883439 fs/io_uring.c Jens Axboe        2020-07-17  6865  			list_del_init(&poll->wait.entry);
eb0089d629ba41 fs/io_uring.c Pavel Begunkov    2021-12-15  6866  			poll->head = NULL;
d89a4fac0fbc6f fs/io_uring.c Jens Axboe        2022-03-22  6867  			if (wqe_is_double(wait))
d89a4fac0fbc6f fs/io_uring.c Jens Axboe        2022-03-22  6868  				req->flags &= ~REQ_F_DOUBLE_POLL;
d89a4fac0fbc6f fs/io_uring.c Jens Axboe        2022-03-22  6869  			else
91eac1c69c202d fs/io_uring.c Jens Axboe        2022-03-16  6870  				req->flags &= ~REQ_F_SINGLE_POLL;
c8b5e2600a2cfa fs/io_uring.c Jens Axboe        2020-10-25  6871  		}
81459350d581e9 fs/io_uring.c Jens Axboe        2022-03-16 @6872  		__io_poll_execute(req, mask, poll->events);
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6873  	}
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6874  	return 1;
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6875  }
18bceab101adde fs/io_uring.c Jens Axboe        2020-05-15  6876  

:::::: The code at line 6701 was first introduced by commit
:::::: cef216fc32d7628206c523994e7e267e7a8dda59 io_uring: explicitly keep a CQE in io_kiocb

:::::: TO: Pavel Begunkov <[email protected]>
:::::: CC: Jens Axboe <[email protected]>

-- 
0-DAY CI Kernel Test Service
https://01.org/lkp

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2022-05-25  6:33 UTC | newest]

Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2022-05-25  6:33 [ammarfaizi2-block:axboe/linux-block/for-5.20/io_uring 8/40] io_uring/io_uring.c:6701:38: sparse: sparse: incorrect type in assignment (different base types) kernel test robot

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox