fs/file.c:401:54: sparse: sparse: incorrect type in initializer (different address spaces)
From: kernel test robot
Date: Tue Dec 07 2021 - 08:05:49 EST
tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head: cd8c917a56f20f48748dd43d9ae3caff51d5b987
commit: e188f3330a13df904d77003846eafd3edf99009d ARC: cmpxchg/xchg: rewrite as macros to make type safe
date: 4 months ago
config: arc-randconfig-s032-20211207 (https://download.01.org/0day-ci/archive/20211207/202112072144.ZYJ4BKaf-lkp@xxxxxxxxx/config)
compiler: arc-elf-gcc (GCC) 11.2.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-dirty
# https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=e188f3330a13df904d77003846eafd3edf99009d
git remote add linus https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
git fetch --no-tags linus master
git checkout e188f3330a13df904d77003846eafd3edf99009d
# save the config file to linux build tree
mkdir build_dir
COMPILER_INSTALL_PATH=$HOME/0day COMPILER=gcc-11.2.0 make.cross C=1 CF='-fdiagnostic-prefix -D__CHECK_ENDIAN__' O=build_dir ARCH=arc 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/file.c:350:17: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct file **old_fds @@ got struct file [noderef] __rcu **fd @@
fs/file.c:350:17: sparse: expected struct file **old_fds
fs/file.c:350:17: sparse: got struct file [noderef] __rcu **fd
fs/file.c:351:17: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct file **new_fds @@ got struct file [noderef] __rcu **fd @@
fs/file.c:351:17: sparse: expected struct file **new_fds
fs/file.c:351:17: sparse: got struct file [noderef] __rcu **fd
fs/file.c:366:17: sparse: sparse: incompatible types in comparison expression (different address spaces):
fs/file.c:366:17: sparse: struct file [noderef] __rcu *
fs/file.c:366:17: sparse: struct file *
>> fs/file.c:401:54: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected struct file *file @@ got struct file [noderef] __rcu *[assigned] _val_ @@
fs/file.c:441:28: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected struct fdtable [noderef] __rcu *fdt @@ got struct fdtable * @@
fs/file.c:608:14: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct file *file @@ got struct file [noderef] __rcu * @@
fs/file.c:762:14: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct file *file @@ got struct file [noderef] __rcu * @@
fs/file.c:813:30: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct file *file @@ got struct file [noderef] __rcu * @@
fs/file.c:1038:16: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct file *tofree @@ got struct file [noderef] __rcu * @@
vim +401 fs/file.c
02afc6267f6d55 Al Viro 2008-05-08 382
ce08b62d18b3f9 Oleg Nesterov 2014-01-11 383 static struct fdtable *close_files(struct files_struct * files)
7cf4dc3c8dbfdf Al Viro 2012-08-15 384 {
7cf4dc3c8dbfdf Al Viro 2012-08-15 385 /*
7cf4dc3c8dbfdf Al Viro 2012-08-15 386 * It is safe to dereference the fd table without RCU or
7cf4dc3c8dbfdf Al Viro 2012-08-15 387 * ->file_lock because this is the last reference to the
ce08b62d18b3f9 Oleg Nesterov 2014-01-11 388 * files structure.
7cf4dc3c8dbfdf Al Viro 2012-08-15 389 */
ce08b62d18b3f9 Oleg Nesterov 2014-01-11 390 struct fdtable *fdt = rcu_dereference_raw(files->fdt);
9b80a184eaadc1 Alexey Dobriyan 2016-09-02 391 unsigned int i, j = 0;
ce08b62d18b3f9 Oleg Nesterov 2014-01-11 392
7cf4dc3c8dbfdf Al Viro 2012-08-15 393 for (;;) {
7cf4dc3c8dbfdf Al Viro 2012-08-15 394 unsigned long set;
7cf4dc3c8dbfdf Al Viro 2012-08-15 395 i = j * BITS_PER_LONG;
7cf4dc3c8dbfdf Al Viro 2012-08-15 396 if (i >= fdt->max_fds)
7cf4dc3c8dbfdf Al Viro 2012-08-15 397 break;
7cf4dc3c8dbfdf Al Viro 2012-08-15 398 set = fdt->open_fds[j++];
7cf4dc3c8dbfdf Al Viro 2012-08-15 399 while (set) {
7cf4dc3c8dbfdf Al Viro 2012-08-15 400 if (set & 1) {
7cf4dc3c8dbfdf Al Viro 2012-08-15 @401 struct file * file = xchg(&fdt->fd[i], NULL);
7cf4dc3c8dbfdf Al Viro 2012-08-15 402 if (file) {
7cf4dc3c8dbfdf Al Viro 2012-08-15 403 filp_close(file, files);
388a4c88064e7e Paul E. McKenney 2017-10-24 404 cond_resched();
7cf4dc3c8dbfdf Al Viro 2012-08-15 405 }
7cf4dc3c8dbfdf Al Viro 2012-08-15 406 }
7cf4dc3c8dbfdf Al Viro 2012-08-15 407 i++;
7cf4dc3c8dbfdf Al Viro 2012-08-15 408 set >>= 1;
7cf4dc3c8dbfdf Al Viro 2012-08-15 409 }
7cf4dc3c8dbfdf Al Viro 2012-08-15 410 }
ce08b62d18b3f9 Oleg Nesterov 2014-01-11 411
ce08b62d18b3f9 Oleg Nesterov 2014-01-11 412 return fdt;
7cf4dc3c8dbfdf Al Viro 2012-08-15 413 }
7cf4dc3c8dbfdf Al Viro 2012-08-15 414
:::::: The code at line 401 was first introduced by commit
:::::: 7cf4dc3c8dbfdfde163d4636f621cf99a1f63bfb move files_struct-related bits from kernel/exit.c to fs/file.c
:::::: TO: Al Viro <viro@xxxxxxxxxxxxxxxxxx>
:::::: CC: Al Viro <viro@xxxxxxxxxxxxxxxxxx>
---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all@xxxxxxxxxxxx