[android-common:android14-5.15-2026-10 10/10] drivers/block/drbd/drbd_req.c:1605 drbd_submit_bio() warn: variable dereferenced before check 'bio' (see line 1602)

[android-common:android14-5.15-2026-10 10/10] drivers/block/drbd/drbd_req.c:1605 drbd_submit_bio() warn: variable dereferenced before check 'bio' (see line 1602)

[kernel test robot]

Unfiltered warning: this smatch report is sent as-is and has not been
reviewed for false positives, so please treat it with due skepticism.

BCC: lkp@intel.com
CC: oe-kbuild-all@lists.linux.dev
TO: cros-kernel-buildreports@googlegroups.com

tree:   https://android.googlesource.com/kernel/common android14-5.15-2026-10
head:   05be85d1a8b5b298b37833e869b7bcb986f054a1
commit: 7ec9a45fc4ee7fc1054c2cabf8b09a6bc708472e [10/10] block: handle bio_split_to_limits() NULL return
:::::: branch date: 7 hours ago
:::::: commit date: 3 years, 10 months ago
config: arm64-randconfig-2200-20261109 (https://download.01.org/0day-ci/archive/20261110/202611100654.fRKuoEUU-lkp@intel.com/config)
compiler: aarch64-linux-gcc (GCC) 10.5.0
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
| Reported-by: kernel test robot <lkp@intel.com>
| Reported-by: Dan Carpenter <error27@gmail.com>
| Closes: https://lore.kernel.org/r/202611100654.fRKuoEUU-lkp@intel.com/

New smatch warnings:
drivers/block/drbd/drbd_req.c:1605 drbd_submit_bio() warn: variable dereferenced before check 'bio' (see line 1602)

Old smatch warnings:
drivers/block/drbd/drbd_req.c:238 drbd_req_complete() warn: passing zero to 'PTR_ERR'

vim +/bio +1605 drivers/block/drbd/drbd_req.c

113fef9e20e0d61 Lars Ellenberg      2013-03-22  1599  
c62b37d96b6eb3e Christoph Hellwig   2020-07-01  1600  blk_qc_t drbd_submit_bio(struct bio *bio)
b411b3637fa71fc Philipp Reisner     2009-09-25  1601  {
309dca309fc39a9 Christoph Hellwig   2021-01-24 @1602  	struct drbd_device *device = bio->bi_bdev->bd_disk->private_data;
9a25a04c8079725 Philipp Reisner     2010-05-10  1603  
f695ca3886ce72b Christoph Hellwig   2020-07-01  1604  	blk_queue_split(&bio);
7ec9a45fc4ee7fc Jens Axboe          2023-01-04 @1605  	if (!bio)
7ec9a45fc4ee7fc Jens Axboe          2023-01-04  1606  		return BLK_QC_T_NONE;
54efd50bfd873e2 Kent Overstreet     2015-04-23  1607  
b411b3637fa71fc Philipp Reisner     2009-09-25  1608  	/*
b411b3637fa71fc Philipp Reisner     2009-09-25  1609  	 * what we "blindly" assume:
b411b3637fa71fc Philipp Reisner     2009-09-25  1610  	 */
0b0ba1efc7b887b Andreas Gruenbacher 2011-06-27  1611  	D_ASSERT(device, IS_ALIGNED(bio->bi_iter.bi_size, 512));
9a25a04c8079725 Philipp Reisner     2010-05-10  1612  
b30ab7913b0a7b1 Andreas Gruenbacher 2011-07-03  1613  	inc_ap_bio(device);
370276bac8ec6f7 Guoqing Jiang       2021-01-21  1614  	__drbd_make_request(device, bio);
dece16353ef47d8 Jens Axboe          2015-11-05  1615  	return BLK_QC_T_NONE;
b411b3637fa71fc Philipp Reisner     2009-09-25  1616  }
b411b3637fa71fc Philipp Reisner     2009-09-25  1617  

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