Re: fs/file.c:351:17: sparse: sparse: incompatible types in comparison expression (different address spaces):

From: Philip Li
Date: Sun Nov 12 2023 - 01:42:28 EST

Next message: Philip Li: "Re: drivers/mtd/ubi/fastmap.c:1028:17: sparse: sparse: incorrect type in assignment (different base types)"
Previous message: syzbot: "Re: [syzbot] [overlayfs?] memory leak in ovl_parse_param"
In reply to: kernel test robot: "fs/file.c:351:17: sparse: sparse: incompatible types in comparison expression (different address spaces):"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On Sun, Nov 12, 2023 at 03:19:54AM +0800, kernel test robot wrote:
> tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
> head: 3ca112b71f35dd5d99fc4571a56b5fc6f0c15814
> commit: 423a86a610cad121742ebe698ef98a3b4c87b5dd rcu: Add sparse check to rcu_assign_pointer()
> date: 4 years, 10 months ago
> config: x86_64-allnoconfig (https://download.01.org/0day-ci/archive/20231112/202311120246.W8nrgLDN-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/20231112/202311120246.W8nrgLDN-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/202311120246.W8nrgLDN-lkp@xxxxxxxxx/

Hi Joel, kindly ignore this report, which is not the cause of original issue.
Sorry for false positive.

>
> sparse warnings: (new ones prefixed by >>)
> fs/file.c:335:17: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct file **old_fds @@ got struct file [noderef] <asn:4> **fd @@
> fs/file.c:335:17: sparse: expected struct file **old_fds
> fs/file.c:335:17: sparse: got struct file [noderef] <asn:4> **fd
> fs/file.c:336:17: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct file **new_fds @@ got struct file [noderef] <asn:4> **fd @@
> fs/file.c:336:17: sparse: expected struct file **new_fds
> fs/file.c:336:17: sparse: got struct file [noderef] <asn:4> **fd
> >> fs/file.c:351:17: sparse: sparse: incompatible types in comparison expression (different address spaces):
> fs/file.c:351:17: sparse: struct file [noderef] <asn:4> *
> >> fs/file.c:351:17: sparse: struct file *
> fs/file.c:386:54: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected struct file *file @@ got struct file [noderef] <asn:4> *[assigned] __ret @@
> fs/file.c:386:54: sparse: expected struct file *file
> fs/file.c:386:54: sparse: got struct file [noderef] <asn:4> *[assigned] __ret
> fs/file.c:451:28: sparse: sparse: incorrect type in initializer (different address spaces) @@ expected struct fdtable [noderef] <asn:4> *fdt @@ got struct fdtable * @@
> fs/file.c:451:28: sparse: expected struct fdtable [noderef] <asn:4> *fdt
> fs/file.c:451:28: sparse: got struct fdtable *
> fs/file.c:629:14: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct file *file @@ got struct file [noderef] <asn:4> * @@
> fs/file.c:629:14: sparse: expected struct file *file
> fs/file.c:629:14: sparse: got struct file [noderef] <asn:4> *
> fs/file.c:656:14: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct file *file @@ got struct file [noderef] <asn:4> * @@
> fs/file.c:656:14: sparse: expected struct file *file
> fs/file.c:656:14: sparse: got struct file [noderef] <asn:4> *
> fs/file.c:693:30: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct file *file @@ got struct file [noderef] <asn:4> * @@
> fs/file.c:693:30: sparse: expected struct file *file
> fs/file.c:693:30: sparse: got struct file [noderef] <asn:4> *
> fs/file.c:859:16: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct file *tofree @@ got struct file [noderef] <asn:4> * @@
> fs/file.c:859:16: sparse: expected struct file *tofree
> fs/file.c:859:16: sparse: got struct file [noderef] <asn:4> *
> --
> kernel/notifier.c:27:20: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct notifier_block **nl @@ got struct notifier_block [noderef] <asn:4> ** @@
> kernel/notifier.c:27:20: sparse: expected struct notifier_block **nl
> kernel/notifier.c:27:20: sparse: got struct notifier_block [noderef] <asn:4> **
> kernel/notifier.c:29:17: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct notifier_block [noderef] <asn:4> *next @@ got struct notifier_block * @@
> kernel/notifier.c:29:17: sparse: expected struct notifier_block [noderef] <asn:4> *next
> kernel/notifier.c:29:17: sparse: got struct notifier_block *
> >> kernel/notifier.c:30:9: sparse: sparse: incompatible types in comparison expression (different address spaces):
> kernel/notifier.c:30:9: sparse: struct notifier_block [noderef] <asn:4> *
> >> kernel/notifier.c:30:9: sparse: struct notifier_block *
> kernel/notifier.c:42:20: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct notifier_block **nl @@ got struct notifier_block [noderef] <asn:4> ** @@
> kernel/notifier.c:42:20: sparse: expected struct notifier_block **nl
> kernel/notifier.c:42:20: sparse: got struct notifier_block [noderef] <asn:4> **
> kernel/notifier.c:44:17: sparse: sparse: incorrect type in assignment (different address spaces) @@ expected struct notifier_block [noderef] <asn:4> *next @@ got struct notifier_block * @@
> kernel/notifier.c:44:17: sparse: expected struct notifier_block [noderef] <asn:4> *next
> kernel/notifier.c:44:17: sparse: got struct notifier_block *
> kernel/notifier.c:45:9: sparse: sparse: incompatible types in comparison expression (different address spaces):
> kernel/notifier.c:45:9: sparse: struct notifier_block [noderef] <asn:4> *
> kernel/notifier.c:45:9: sparse: struct notifier_block *
> kernel/notifier.c:54:25: sparse: sparse: incompatible types in comparison expression (different address spaces):
> kernel/notifier.c:54:25: sparse: struct notifier_block [noderef] <asn:4> *
> kernel/notifier.c:54:25: sparse: struct notifier_block *
> kernel/notifier.c:128:40: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct notifier_block **nl @@ got struct notifier_block [noderef] <asn:4> ** @@
> kernel/notifier.c:150:42: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct notifier_block **nl @@ got struct notifier_block [noderef] <asn:4> ** @@
> kernel/notifier.c:183:36: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct notifier_block **nl @@ got struct notifier_block [noderef] <asn:4> ** @@
> kernel/notifier.c:224:49: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct notifier_block **nl @@ got struct notifier_block [noderef] <asn:4> ** @@
> kernel/notifier.c:227:40: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct notifier_block **nl @@ got struct notifier_block [noderef] <asn:4> ** @@
> kernel/notifier.c:250:45: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct notifier_block **nl @@ got struct notifier_block [noderef] <asn:4> ** @@
> kernel/notifier.c:277:51: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct notifier_block **nl @@ got struct notifier_block [noderef] <asn:4> ** @@
> kernel/notifier.c:280:42: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct notifier_block **nl @@ got struct notifier_block [noderef] <asn:4> ** @@
> kernel/notifier.c:317:44: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct notifier_block **nl @@ got struct notifier_block [noderef] <asn:4> ** @@
> kernel/notifier.c:350:41: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct notifier_block **nl @@ got struct notifier_block [noderef] <asn:4> ** @@
> kernel/notifier.c:367:43: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct notifier_block **nl @@ got struct notifier_block [noderef] <asn:4> ** @@
> kernel/notifier.c:394:37: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct notifier_block **nl @@ got struct notifier_block [noderef] <asn:4> ** @@
> kernel/notifier.c:432:49: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct notifier_block **nl @@ got struct notifier_block [noderef] <asn:4> ** @@
> kernel/notifier.c:435:40: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct notifier_block **nl @@ got struct notifier_block [noderef] <asn:4> ** @@
> kernel/notifier.c:462:51: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct notifier_block **nl @@ got struct notifier_block [noderef] <asn:4> ** @@
> kernel/notifier.c:465:42: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct notifier_block **nl @@ got struct notifier_block [noderef] <asn:4> ** @@
> kernel/notifier.c:498:36: sparse: sparse: incorrect type in argument 1 (different address spaces) @@ expected struct notifier_block **nl @@ got struct notifier_block [noderef] <asn:4> ** @@
> --
> lib/rbtree.c: note: in included file:
> >> include/linux/rbtree_augmented.h:153:25: sparse: sparse: incompatible types in comparison expression (different address spaces):
> include/linux/rbtree_augmented.h:153:25: sparse: struct rb_node [noderef] <asn:4> *
> >> include/linux/rbtree_augmented.h:153:25: sparse: struct rb_node *
> include/linux/rbtree_augmented.h:155:25: sparse: sparse: incompatible types in comparison expression (different address spaces):
> include/linux/rbtree_augmented.h:155:25: sparse: struct rb_node [noderef] <asn:4> *
> include/linux/rbtree_augmented.h:155:25: sparse: struct rb_node *
> include/linux/rbtree_augmented.h:157:17: sparse: sparse: incompatible types in comparison expression (different address spaces):
> include/linux/rbtree_augmented.h:157:17: sparse: struct rb_node [noderef] <asn:4> *
> include/linux/rbtree_augmented.h:157:17: sparse: struct rb_node *
>
> vim +351 fs/file.c
>
> 02afc6267f6d55 Al Viro 2008-05-08 266
> 02afc6267f6d55 Al Viro 2008-05-08 267 /*
> 02afc6267f6d55 Al Viro 2008-05-08 268 * Allocate a new files structure and copy contents from the
> 02afc6267f6d55 Al Viro 2008-05-08 269 * passed in files structure.
> 02afc6267f6d55 Al Viro 2008-05-08 270 * errorp will be valid only when the returned files_struct is NULL.
> 02afc6267f6d55 Al Viro 2008-05-08 271 */
> 02afc6267f6d55 Al Viro 2008-05-08 272 struct files_struct *dup_fd(struct files_struct *oldf, int *errorp)
> 02afc6267f6d55 Al Viro 2008-05-08 273 {
> 02afc6267f6d55 Al Viro 2008-05-08 274 struct files_struct *newf;
> 02afc6267f6d55 Al Viro 2008-05-08 275 struct file **old_fds, **new_fds;
> 9b80a184eaadc1 Alexey Dobriyan 2016-09-02 276 unsigned int open_files, i;
> 02afc6267f6d55 Al Viro 2008-05-08 277 struct fdtable *old_fdt, *new_fdt;
> 02afc6267f6d55 Al Viro 2008-05-08 278
> 02afc6267f6d55 Al Viro 2008-05-08 279 *errorp = -ENOMEM;
> afbec7fff4928c Al Viro 2008-05-08 280 newf = kmem_cache_alloc(files_cachep, GFP_KERNEL);
> 02afc6267f6d55 Al Viro 2008-05-08 281 if (!newf)
> 02afc6267f6d55 Al Viro 2008-05-08 282 goto out;
> 02afc6267f6d55 Al Viro 2008-05-08 283
> afbec7fff4928c Al Viro 2008-05-08 284 atomic_set(&newf->count, 1);
> afbec7fff4928c Al Viro 2008-05-08 285
> afbec7fff4928c Al Viro 2008-05-08 286 spin_lock_init(&newf->file_lock);
> 8a81252b774b53 Eric Dumazet 2015-06-30 287 newf->resize_in_progress = false;
> 8a81252b774b53 Eric Dumazet 2015-06-30 288 init_waitqueue_head(&newf->resize_wait);
> afbec7fff4928c Al Viro 2008-05-08 289 newf->next_fd = 0;
> afbec7fff4928c Al Viro 2008-05-08 290 new_fdt = &newf->fdtab;
> afbec7fff4928c Al Viro 2008-05-08 291 new_fdt->max_fds = NR_OPEN_DEFAULT;
> 1fd36adcd98c14 David Howells 2012-02-16 292 new_fdt->close_on_exec = newf->close_on_exec_init;
> 1fd36adcd98c14 David Howells 2012-02-16 293 new_fdt->open_fds = newf->open_fds_init;
> f3f86e33dc3da4 Linus Torvalds 2015-10-30 294 new_fdt->full_fds_bits = newf->full_fds_bits_init;
> afbec7fff4928c Al Viro 2008-05-08 295 new_fdt->fd = &newf->fd_array[0];
> afbec7fff4928c Al Viro 2008-05-08 296
> 02afc6267f6d55 Al Viro 2008-05-08 297 spin_lock(&oldf->file_lock);
> 02afc6267f6d55 Al Viro 2008-05-08 298 old_fdt = files_fdtable(oldf);
> 02afc6267f6d55 Al Viro 2008-05-08 299 open_files = count_open_files(old_fdt);
> 02afc6267f6d55 Al Viro 2008-05-08 300
> 02afc6267f6d55 Al Viro 2008-05-08 301 /*
> 02afc6267f6d55 Al Viro 2008-05-08 302 * Check whether we need to allocate a larger fd array and fd set.
> 02afc6267f6d55 Al Viro 2008-05-08 303 */
> adbecb128cd2cc Al Viro 2008-05-08 304 while (unlikely(open_files > new_fdt->max_fds)) {
> 02afc6267f6d55 Al Viro 2008-05-08 305 spin_unlock(&oldf->file_lock);
> 9dec3c4d306b09 Al Viro 2008-05-08 306
> a892e2d7dcdfa6 Changli Gao 2010-08-10 307 if (new_fdt != &newf->fdtab)
> a892e2d7dcdfa6 Changli Gao 2010-08-10 308 __free_fdtable(new_fdt);
> adbecb128cd2cc Al Viro 2008-05-08 309
> 9dec3c4d306b09 Al Viro 2008-05-08 310 new_fdt = alloc_fdtable(open_files - 1);
> 9dec3c4d306b09 Al Viro 2008-05-08 311 if (!new_fdt) {
> 9dec3c4d306b09 Al Viro 2008-05-08 312 *errorp = -ENOMEM;
> 02afc6267f6d55 Al Viro 2008-05-08 313 goto out_release;
> 9dec3c4d306b09 Al Viro 2008-05-08 314 }
> 9dec3c4d306b09 Al Viro 2008-05-08 315
> 9dec3c4d306b09 Al Viro 2008-05-08 316 /* beyond sysctl_nr_open; nothing to do */
> 9dec3c4d306b09 Al Viro 2008-05-08 317 if (unlikely(new_fdt->max_fds < open_files)) {
> a892e2d7dcdfa6 Changli Gao 2010-08-10 318 __free_fdtable(new_fdt);
> 9dec3c4d306b09 Al Viro 2008-05-08 319 *errorp = -EMFILE;
> 9dec3c4d306b09 Al Viro 2008-05-08 320 goto out_release;
> 9dec3c4d306b09 Al Viro 2008-05-08 321 }
> 9dec3c4d306b09 Al Viro 2008-05-08 322
> 02afc6267f6d55 Al Viro 2008-05-08 323 /*
> 02afc6267f6d55 Al Viro 2008-05-08 324 * Reacquire the oldf lock and a pointer to its fd table
> 02afc6267f6d55 Al Viro 2008-05-08 325 * who knows it may have a new bigger fd table. We need
> 02afc6267f6d55 Al Viro 2008-05-08 326 * the latest pointer.
> 02afc6267f6d55 Al Viro 2008-05-08 327 */
> 02afc6267f6d55 Al Viro 2008-05-08 328 spin_lock(&oldf->file_lock);
> 02afc6267f6d55 Al Viro 2008-05-08 329 old_fdt = files_fdtable(oldf);
> adbecb128cd2cc Al Viro 2008-05-08 330 open_files = count_open_files(old_fdt);
> 02afc6267f6d55 Al Viro 2008-05-08 331 }
> 02afc6267f6d55 Al Viro 2008-05-08 332
> ea5c58e70c3a14 Eric Biggers 2015-11-06 333 copy_fd_bitmaps(new_fdt, old_fdt, open_files);
> ea5c58e70c3a14 Eric Biggers 2015-11-06 334
> 02afc6267f6d55 Al Viro 2008-05-08 335 old_fds = old_fdt->fd;
> 02afc6267f6d55 Al Viro 2008-05-08 336 new_fds = new_fdt->fd;
> 02afc6267f6d55 Al Viro 2008-05-08 337
> 02afc6267f6d55 Al Viro 2008-05-08 338 for (i = open_files; i != 0; i--) {
> 02afc6267f6d55 Al Viro 2008-05-08 339 struct file *f = *old_fds++;
> 02afc6267f6d55 Al Viro 2008-05-08 340 if (f) {
> 02afc6267f6d55 Al Viro 2008-05-08 341 get_file(f);
> 02afc6267f6d55 Al Viro 2008-05-08 342 } else {
> 02afc6267f6d55 Al Viro 2008-05-08 343 /*
> 02afc6267f6d55 Al Viro 2008-05-08 344 * The fd may be claimed in the fd bitmap but not yet
> 02afc6267f6d55 Al Viro 2008-05-08 345 * instantiated in the files array if a sibling thread
> 02afc6267f6d55 Al Viro 2008-05-08 346 * is partway through open(). So make sure that this
> 02afc6267f6d55 Al Viro 2008-05-08 347 * fd is available to the new process.
> 02afc6267f6d55 Al Viro 2008-05-08 348 */
> 1dce27c5aa6770 David Howells 2012-02-16 349 __clear_open_fd(open_files - i, new_fdt);
> 02afc6267f6d55 Al Viro 2008-05-08 350 }
> 02afc6267f6d55 Al Viro 2008-05-08 @351 rcu_assign_pointer(*new_fds++, f);
> 02afc6267f6d55 Al Viro 2008-05-08 352 }
> 02afc6267f6d55 Al Viro 2008-05-08 353 spin_unlock(&oldf->file_lock);
> 02afc6267f6d55 Al Viro 2008-05-08 354
> ea5c58e70c3a14 Eric Biggers 2015-11-06 355 /* clear the remainder */
> ea5c58e70c3a14 Eric Biggers 2015-11-06 356 memset(new_fds, 0, (new_fdt->max_fds - open_files) * sizeof(struct file *));
> 02afc6267f6d55 Al Viro 2008-05-08 357
> afbec7fff4928c Al Viro 2008-05-08 358 rcu_assign_pointer(newf->fdt, new_fdt);
> afbec7fff4928c Al Viro 2008-05-08 359
> 02afc6267f6d55 Al Viro 2008-05-08 360 return newf;
> 02afc6267f6d55 Al Viro 2008-05-08 361
> 02afc6267f6d55 Al Viro 2008-05-08 362 out_release:
> 02afc6267f6d55 Al Viro 2008-05-08 363 kmem_cache_free(files_cachep, newf);
> 02afc6267f6d55 Al Viro 2008-05-08 364 out:
> 02afc6267f6d55 Al Viro 2008-05-08 365 return NULL;
> 02afc6267f6d55 Al Viro 2008-05-08 366 }
> 02afc6267f6d55 Al Viro 2008-05-08 367
>
> :::::: The code at line 351 was first introduced by commit
> :::::: 02afc6267f6d55d47aba9fcafdbd1b7230d2294a [PATCH] dup_fd() fixes, part 1
>
> :::::: TO: Al Viro <viro@xxxxxxxxxxxxxxxxxx>
> :::::: CC: Al Viro <viro@xxxxxxxxxxxxxxxxxx>
>
> --
> 0-DAY CI Kernel Test Service
> https://github.com/intel/lkp-tests/wiki

Next message: Philip Li: "Re: drivers/mtd/ubi/fastmap.c:1028:17: sparse: sparse: incorrect type in assignment (different base types)"
Previous message: syzbot: "Re: [syzbot] [overlayfs?] memory leak in ovl_parse_param"
In reply to: kernel test robot: "fs/file.c:351:17: sparse: sparse: incompatible types in comparison expression (different address spaces):"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]