tree: https://git.kernel.org/pub/scm/linux/kernel/git/next/linux-next.git master head: ff511c1c68a5a35ab0b3efb3c306fd80b10d74be commit: 5106dd6e74ab6c94daac1c357094f11e6934b36f [2790/3040] io_uring: propagate issue_flags state down to file assignment config: i386-randconfig-s001 (https://download.01.org/0day-ci/archive/20220408/202204081656.6x4pfen4-lkp@xxxxxxxxx/config) compiler: gcc-11 (Debian 11.2.0-19) 11.2.0 reproduce: # apt-get install sparse # sparse version: v0.6.4-dirty # https://git.kernel.org/pub/scm/linux/kernel/git/next/linux-next.git/commit/?id=5106dd6e74ab6c94daac1c357094f11e6934b36f git remote add linux-next https://git.kernel.org/pub/scm/linux/kernel/git/next/linux-next.git git fetch --no-tags linux-next master git checkout 5106dd6e74ab6c94daac1c357094f11e6934b36f # save the config file to linux build tree mkdir build_dir make W=1 C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' O=build_dir ARCH=i386 SHELL=/bin/bash If you fix the issue, kindly add following tag as appropriate Reported-by: kernel test robot <lkp@xxxxxxxxx> sparse warnings: (new ones prefixed by >>) fs/io_uring.c: note: in included file (through include/trace/trace_events.h, include/trace/define_trace.h, include/trace/events/io_uring.h): include/trace/events/io_uring.h:488:1: sparse: sparse: incorrect type in assignment (different base types) @@ expected unsigned int [usertype] op_flags @@ got restricted __kernel_rwf_t const [usertype] rw_flags @@ include/trace/events/io_uring.h:488:1: sparse: expected unsigned int [usertype] op_flags include/trace/events/io_uring.h:488:1: sparse: got restricted __kernel_rwf_t const [usertype] rw_flags fs/io_uring.c: note: in included file (through include/trace/perf.h, include/trace/define_trace.h, include/trace/events/io_uring.h): include/trace/events/io_uring.h:488:1: sparse: sparse: incorrect type in assignment (different base types) @@ expected unsigned int [usertype] op_flags @@ got restricted __kernel_rwf_t const [usertype] rw_flags @@ include/trace/events/io_uring.h:488:1: sparse: expected unsigned int [usertype] op_flags include/trace/events/io_uring.h:488:1: sparse: got restricted __kernel_rwf_t const [usertype] rw_flags fs/io_uring.c:3210:23: sparse: sparse: incorrect type in assignment (different base types) @@ expected unsigned int [usertype] flags @@ got restricted __kernel_rwf_t @@ fs/io_uring.c:3210:23: sparse: expected unsigned int [usertype] flags fs/io_uring.c:3210:23: sparse: got restricted __kernel_rwf_t fs/io_uring.c:3429:24: sparse: sparse: incorrect type in return expression (different address spaces) @@ expected void [noderef] __user * @@ got struct io_buffer *[assigned] kbuf @@ fs/io_uring.c:3429:24: sparse: expected void [noderef] __user * fs/io_uring.c:3429:24: sparse: got struct io_buffer *[assigned] kbuf fs/io_uring.c:3816:48: sparse: sparse: incorrect type in argument 2 (different base types) @@ expected restricted __kernel_rwf_t [usertype] flags @@ got unsigned int [usertype] flags @@ fs/io_uring.c:3816:48: sparse: expected restricted __kernel_rwf_t [usertype] flags fs/io_uring.c:3816:48: sparse: got unsigned int [usertype] flags fs/io_uring.c:5141:14: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct file *file @@ got struct file [noderef] __rcu * @@ fs/io_uring.c:5141:14: sparse: expected struct file *file fs/io_uring.c:5141:14: sparse: got struct file [noderef] __rcu * fs/io_uring.c:6009:68: sparse: sparse: incorrect type in initializer (different base types) @@ expected restricted __poll_t [usertype] _key @@ got unsigned int [usertype] cflags @@ fs/io_uring.c:6009:68: sparse: expected restricted __poll_t [usertype] _key fs/io_uring.c:6009:68: sparse: got unsigned int [usertype] cflags fs/io_uring.c:6011:47: sparse: sparse: restricted __poll_t degrades to integer fs/io_uring.c:6015:52: sparse: sparse: restricted __poll_t degrades to integer fs/io_uring.c:6016:71: sparse: sparse: restricted __poll_t degrades to integer fs/io_uring.c:6016:65: sparse: sparse: incorrect type in argument 1 (different base types) @@ expected restricted __poll_t [usertype] val @@ got unsigned int @@ fs/io_uring.c:6016:65: sparse: expected restricted __poll_t [usertype] val fs/io_uring.c:6016:65: sparse: got unsigned int fs/io_uring.c:6016:52: sparse: sparse: incorrect type in initializer (different base types) @@ expected restricted __poll_t [usertype] mask @@ got unsigned short @@ fs/io_uring.c:6016:52: sparse: expected restricted __poll_t [usertype] mask fs/io_uring.c:6016:52: sparse: got unsigned short fs/io_uring.c:6020:71: sparse: sparse: incorrect type in argument 3 (different base types) @@ expected signed int [usertype] res @@ got restricted __poll_t [usertype] mask @@ fs/io_uring.c:6020:71: sparse: expected signed int [usertype] res fs/io_uring.c:6020:71: sparse: got restricted __poll_t [usertype] mask fs/io_uring.c:6051:66: sparse: sparse: restricted __poll_t degrades to integer fs/io_uring.c:6051:55: sparse: sparse: incorrect type in argument 1 (different base types) @@ expected restricted __poll_t [usertype] val @@ got unsigned int @@ fs/io_uring.c:6051:55: sparse: expected restricted __poll_t [usertype] val fs/io_uring.c:6051:55: sparse: got unsigned int fs/io_uring.c:6132:45: sparse: sparse: incorrect type in argument 3 (different base types) @@ expected int events @@ got restricted __poll_t [usertype] events @@ fs/io_uring.c:6132:45: sparse: expected int events fs/io_uring.c:6132:45: sparse: got restricted __poll_t [usertype] events fs/io_uring.c:6167:40: sparse: sparse: incorrect type in argument 2 (different base types) @@ expected int mask @@ got restricted __poll_t [usertype] mask @@ fs/io_uring.c:6167:40: sparse: expected int mask fs/io_uring.c:6167:40: sparse: got restricted __poll_t [usertype] mask fs/io_uring.c:6167:50: sparse: sparse: incorrect type in argument 3 (different base types) @@ expected int events @@ got restricted __poll_t [usertype] events @@ fs/io_uring.c:6167:50: sparse: expected int events fs/io_uring.c:6167:50: sparse: got restricted __poll_t [usertype] events fs/io_uring.c:6258:24: sparse: sparse: incorrect type in return expression (different base types) @@ expected int @@ got restricted __poll_t [assigned] [usertype] mask @@ fs/io_uring.c:6258:24: sparse: expected int fs/io_uring.c:6258:24: sparse: got restricted __poll_t [assigned] [usertype] mask fs/io_uring.c:6275:40: sparse: sparse: incorrect type in argument 2 (different base types) @@ expected int mask @@ got restricted __poll_t [assigned] [usertype] mask @@ fs/io_uring.c:6275:40: sparse: expected int mask fs/io_uring.c:6275:40: sparse: got restricted __poll_t [assigned] [usertype] mask fs/io_uring.c:6275:50: sparse: sparse: incorrect type in argument 3 (different base types) @@ expected int events @@ got restricted __poll_t [usertype] events @@ fs/io_uring.c:6275:50: sparse: expected int events fs/io_uring.c:6275:50: sparse: got restricted __poll_t [usertype] events fs/io_uring.c:6286:47: sparse: sparse: incorrect type in argument 3 (different base types) @@ expected int events @@ got restricted __poll_t [usertype] events @@ fs/io_uring.c:6286:47: sparse: expected int events fs/io_uring.c:6286:47: sparse: got restricted __poll_t [usertype] events fs/io_uring.c:6311:25: sparse: sparse: restricted __poll_t degrades to integer fs/io_uring.c:6311:48: sparse: sparse: incorrect type in initializer (different base types) @@ expected restricted __poll_t [usertype] mask @@ got unsigned int @@ fs/io_uring.c:6311:48: sparse: expected restricted __poll_t [usertype] mask fs/io_uring.c:6311:48: sparse: got unsigned int fs/io_uring.c:6320:22: sparse: sparse: invalid assignment: |= fs/io_uring.c:6320:22: sparse: left side has type restricted __poll_t fs/io_uring.c:6320:22: sparse: right side has type int fs/io_uring.c:6325:30: sparse: sparse: invalid assignment: &= fs/io_uring.c:6325:30: sparse: left side has type restricted __poll_t fs/io_uring.c:6325:30: sparse: right side has type int fs/io_uring.c:6327:22: sparse: sparse: invalid assignment: |= fs/io_uring.c:6327:22: sparse: left side has type restricted __poll_t fs/io_uring.c:6327:22: sparse: right side has type int fs/io_uring.c:6353:33: sparse: sparse: incorrect type in argument 5 (different base types) @@ expected int mask @@ got restricted __poll_t [assigned] [usertype] mask @@ fs/io_uring.c:6353:33: sparse: expected int mask fs/io_uring.c:6353:33: sparse: got restricted __poll_t [assigned] [usertype] mask fs/io_uring.c:6353:50: sparse: sparse: incorrect type in argument 6 (different base types) @@ expected int events @@ got restricted __poll_t [usertype] events @@ fs/io_uring.c:6353:50: sparse: expected int events fs/io_uring.c:6353:50: sparse: got restricted __poll_t [usertype] events fs/io_uring.c:6435:24: sparse: sparse: invalid assignment: |= fs/io_uring.c:6435:24: sparse: left side has type unsigned int fs/io_uring.c:6435:24: sparse: right side has type restricted __poll_t fs/io_uring.c:6436:65: sparse: sparse: restricted __poll_t degrades to integer fs/io_uring.c:6436:29: sparse: sparse: restricted __poll_t degrades to integer fs/io_uring.c:6436:38: sparse: sparse: incorrect type in return expression (different base types) @@ expected restricted __poll_t @@ got unsigned int @@ fs/io_uring.c:6436:38: sparse: expected restricted __poll_t fs/io_uring.c:6436:38: sparse: got unsigned int fs/io_uring.c:6488:21: sparse: sparse: incorrect type in assignment (different base types) @@ expected unsigned int [usertype] cflags @@ got restricted __poll_t [usertype] events @@ fs/io_uring.c:6488:21: sparse: expected unsigned int [usertype] cflags fs/io_uring.c:6488:21: sparse: got restricted __poll_t [usertype] events fs/io_uring.c:6526:43: sparse: sparse: invalid assignment: &= fs/io_uring.c:6526:43: sparse: left side has type restricted __poll_t fs/io_uring.c:6526:43: sparse: right side has type int fs/io_uring.c:6527:62: sparse: sparse: restricted __poll_t degrades to integer fs/io_uring.c:6527:43: sparse: sparse: invalid assignment: |= fs/io_uring.c:6527:43: sparse: left side has type restricted __poll_t fs/io_uring.c:6527:43: sparse: right side has type unsigned int fs/io_uring.c:2463:17: sparse: sparse: context imbalance in 'handle_prev_tw_list' - different lock contexts for basic block >> fs/io_uring.c:7501:39: sparse: sparse: marked inline, but without a definition >> fs/io_uring.c:7501:39: sparse: sparse: marked inline, but without a definition vim +7501 fs/io_uring.c 7500 > 7501 static struct file *io_file_get_normal(struct io_kiocb *req, int fd) 7502 { 7503 struct file *file = fget(fd); 7504 7505 trace_io_uring_file_get(req->ctx, req, req->user_data, fd); 7506 7507 /* we don't allow fixed io_uring files */ 7508 if (file && unlikely(file->f_op == &io_uring_fops)) 7509 io_req_track_inflight(req); 7510 return file; 7511 } 7512 -- 0-DAY CI Kernel Test Service https://01.org/lkp
