fs/iomap/internal.h:15 iomap_max_bio_size() warn: bitwise AND condition is false here

BCC: [email protected]
CC: [email protected]
CC: [email protected]
TO: Christoph Hellwig <[email protected]>
CC: Christian Brauner <[email protected]>
CC: "Darrick J. Wong" <[email protected]>

tree:   https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
head:   3d6d817622b0a9721e3cc404df3469171582be13
commit: 0b10a370529cbd7b918c1eef43d409e43d9e0b78 iomap: support T10 protection information
date:   5 months ago
:::::: branch date: 27 hours ago
:::::: commit date: 5 months ago
config: i386-randconfig-r072-20260813 (https://download.01.org/0day-ci/archive/20260814/[email protected]/config)
compiler: clang version 22.1.3 (https://github.com/llvm/llvm-project e9846648fd6183ee6d8cbdb4502213fcf902a211)
smatch: v0.5.0-9187-g5189e3fb

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
| Fixes: 0b10a370529c ("iomap: support T10 protection information")
| Reported-by: kernel test robot <[email protected]>
| Reported-by: Dan Carpenter <[email protected]>
| Closes: https://lore.kernel.org/r/[email protected]/

New smatch warnings:
fs/iomap/internal.h:15 iomap_max_bio_size() warn: bitwise AND condition is false here
fs/iomap/ioend.c:150 iomap_ioend_writeback_submit() warn: bitwise AND condition is false here
fs/iomap/internal.h:15 iomap_max_bio_size() warn: bitwise AND condition is false here
fs/iomap/internal.h:15 iomap_max_bio_size() warn: bitwise AND condition is false here

Old smatch warnings:
fs/iomap/bio.c:42 iomap_bio_submit_read() warn: bitwise AND condition is false here
fs/iomap/bio.c:126 iomap_bio_read_folio_range_sync() warn: bitwise AND condition is false here
fs/iomap/bio.c:129 iomap_bio_read_folio_range_sync() warn: bitwise AND condition is false here
fs/iomap/direct-io.c:377 iomap_dio_bio_iter_one() warn: bitwise AND condition is false here

vim +15 fs/iomap/internal.h

63b66913d11c5f Christoph Hellwig 2025-02-06   6  
0b10a370529cbd Christoph Hellwig 2026-02-23   7  /*
0b10a370529cbd Christoph Hellwig 2026-02-23   8   * Normally we can build bios as big as the data structure supports.
0b10a370529cbd Christoph Hellwig 2026-02-23   9   *
0b10a370529cbd Christoph Hellwig 2026-02-23  10   * But for integrity protected I/O we need to respect the maximum size of the
0b10a370529cbd Christoph Hellwig 2026-02-23  11   * single contiguous allocation for the integrity buffer.
0b10a370529cbd Christoph Hellwig 2026-02-23  12   */
0b10a370529cbd Christoph Hellwig 2026-02-23  13  static inline size_t iomap_max_bio_size(const struct iomap *iomap)
0b10a370529cbd Christoph Hellwig 2026-02-23  14  {
0b10a370529cbd Christoph Hellwig 2026-02-23 @15  	if (iomap->flags & IOMAP_F_INTEGRITY)
0b10a370529cbd Christoph Hellwig 2026-02-23  16  		return max_integrity_io_size(bdev_limits(iomap->bdev));
0b10a370529cbd Christoph Hellwig 2026-02-23  17  	return BIO_MAX_SIZE;
0b10a370529cbd Christoph Hellwig 2026-02-23  18  }
0b10a370529cbd Christoph Hellwig 2026-02-23  19  

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