[linux-next:master 4602/4898] io_uring/filetable.h:66:35: sparse: sparse: restricted io_req_flags degrades to integer

[kernel test robot <lkp@intel.com>]

Hi Jens,

FYI, the error/warning was bisected to this commit, please ignore it if it's irrelevant.

tree:   https://git.kernel.org/pub/scm/linux/kernel/git/next/linux-next.git master
head:   2ae0a045e6814c8c1d676d6153c605a65746aa29
commit: 4767a6c0a8092dd225b8177a6cf731b1787f2f72 [4602/4898] io_uring: expand main struct io_kiocb flags to 64-bits
config: x86_64-randconfig-121-20240207 (https://download.01.org/0day-ci/archive/20240208/202402080739.XJoiFBMo-lkp@intel.com/config)
compiler: clang version 17.0.6 (https://github.com/llvm/llvm-project 6009708b4367171ccdbf4b5905cb6a803753fe18)
reproduce (this is a W=1 build): (https://download.01.org/0day-ci/archive/20240208/202402080739.XJoiFBMo-lkp@intel.com/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@intel.com>
| Closes: https://lore.kernel.org/oe-kbuild-all/202402080739.XJoiFBMo-lkp@intel.com/

sparse warnings: (new ones prefixed by >>)
   io_uring/filetable.c: note: in included file (through io_uring/io_uring.h):
   include/linux/io_uring_types.h:341:48: sparse: sparse: array of flexible structures
   io_uring/filetable.c: note: in included file (through include/linux/mmzone.h, include/linux/gfp.h, include/linux/mm.h):
   include/linux/page-flags.h:242:46: sparse: sparse: self-comparison always evaluates to false
   io_uring/filetable.c: note: in included file (through io_uring/io_uring.h):
>> io_uring/filetable.h:66:35: sparse: sparse: restricted io_req_flags degrades to integer
--
   io_uring/rsrc.c: note: in included file (through io_uring/io_uring.h):
   include/linux/io_uring_types.h:341:48: sparse: sparse: array of flexible structures
   io_uring/rsrc.c: note: in included file (through include/linux/mmzone.h, include/linux/gfp.h, include/linux/xarray.h, ...):
   include/linux/page-flags.h:242:46: sparse: sparse: self-comparison always evaluates to false
   io_uring/rsrc.c: note: in included file (through include/linux/wait.h, include/linux/wait_bit.h, include/linux/fs.h):
   include/linux/list.h:83:21: sparse: sparse: self-comparison always evaluates to true
   io_uring/rsrc.c: note: in included file (through io_uring/io_uring.h):
>> io_uring/filetable.h:66:35: sparse: sparse: restricted io_req_flags degrades to integer
   io_uring/rsrc.c: note: in included file (through include/linux/wait.h, include/linux/wait_bit.h, include/linux/fs.h):
   include/linux/list.h:83:21: sparse: sparse: self-comparison always evaluates to true
   io_uring/rsrc.c: note: in included file (through io_uring/io_uring.h):
>> io_uring/filetable.h:66:35: sparse: sparse: restricted io_req_flags degrades to integer
--
   io_uring/io_uring.c: note: in included file (through include/linux/io_uring/cmd.h):
   include/linux/io_uring_types.h:341:48: sparse: sparse: array of flexible structures
   io_uring/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:140:1: sparse: sparse: cast from restricted io_req_flags
   include/trace/events/io_uring.h:370:1: sparse: sparse: cast from restricted io_req_flags
   io_uring/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:140:1: sparse: sparse: cast to restricted io_req_flags
>> include/trace/events/io_uring.h:140:1: sparse: sparse: restricted io_req_flags degrades to integer
>> include/trace/events/io_uring.h:140:1: sparse: sparse: restricted io_req_flags degrades to integer
   include/trace/events/io_uring.h:370:1: sparse: sparse: cast to restricted io_req_flags
   include/trace/events/io_uring.h:370:1: sparse: sparse: restricted io_req_flags degrades to integer
   include/trace/events/io_uring.h:370:1: sparse: sparse: restricted io_req_flags degrades to integer
   io_uring/io_uring.c: note: in included file (through include/linux/io_uring/cmd.h):
   include/linux/io_uring_types.h:182:37: sparse: sparse: array of flexible structures
>> io_uring/io_uring.c:2175:23: sparse: sparse: cast to restricted io_req_flags
   io_uring/io_uring.c: note: in included file (through include/linux/mmzone.h, include/linux/gfp.h, include/linux/xarray.h, ...):
   include/linux/page-flags.h:242:46: sparse: sparse: self-comparison always evaluates to false
   io_uring/io_uring.c: note: in included file (through include/linux/wait.h, include/linux/wait_bit.h, include/linux/fs.h, ...):
   include/linux/list.h:83:21: sparse: sparse: self-comparison always evaluates to true
   include/linux/list.h:83:21: sparse: sparse: self-comparison always evaluates to true
   io_uring/io_uring.c:656:36: sparse: sparse: context imbalance in 'io_fill_cqe_req_aux' - unexpected unlock
   include/linux/list.h:83:21: sparse: sparse: self-comparison always evaluates to true
   io_uring/io_uring.c:658:17: sparse: sparse: context imbalance in '__io_submit_flush_completions' - different lock contexts for basic block
   include/linux/list.h:83:21: sparse: sparse: self-comparison always evaluates to true
   include/linux/list.h:83:21: sparse: sparse: self-comparison always evaluates to true

vim +66 io_uring/filetable.h

4bfb0c9af832a1 Christoph Hellwig 2023-06-20  61  
a4ad4f748ea962 Jens Axboe        2022-05-25  62  static inline void io_fixed_file_set(struct io_fixed_file *file_slot,
a4ad4f748ea962 Jens Axboe        2022-05-25  63  				     struct file *file)
a4ad4f748ea962 Jens Axboe        2022-05-25  64  {
8487f083c6ff6e Christoph Hellwig 2023-06-20  65  	file_slot->file_ptr = (unsigned long)file |
8487f083c6ff6e Christoph Hellwig 2023-06-20 @66  		(io_file_get_flags(file) >> REQ_F_SUPPORT_NOWAIT_BIT);
a4ad4f748ea962 Jens Axboe        2022-05-25  67  }
a4ad4f748ea962 Jens Axboe        2022-05-25  68  

:::::: The code at line 66 was first introduced by commit
:::::: 8487f083c6ff6e02b2ec14f22ef2b0079a1b6425 io_uring: return REQ_F_ flags from io_file_get_flags

:::::: TO: Christoph Hellwig <hch@lst.de>
:::::: CC: Jens Axboe <axboe@kernel.dk>

-- 
0-DAY CI Kernel Test Service
https://github.com/intel/lkp-tests/wiki