blob: dc73126a1731396d6d24800ec462ebdea7c987a0 [file] [log] [blame]
From 7edcda79cbd6aa9f8d250c6665ce9d7edb710635 Mon Sep 17 00:00:00 2001
From: David Sterba <>
Date: Wed, 8 Jan 2020 15:29:53 +0100
Subject: [PATCH] btrfs: safely advance counter when looking up bio csums
commit 4babad10198fa73fe73239d02c2e99e3333f5f5c upstream.
Dan's smatch tool reports
fs/btrfs/file-item.c:295 btrfs_lookup_bio_sums()
warn: should this be 'count == -1'
which points to the while (count--) loop. With count == 0 the check
itself could decrement it to -1. There's a WARN_ON a few lines below
that has never been seen in practice though.
It turns out that the value of page_bytes_left matches the count (by
sectorsize multiples). The loop never reaches the state where count
would go to -1, because page_bytes_left == 0 is found first and this
breaks out.
For clarity, use only plain check on count (and only for positive
value), decrement safely inside the loop. Any other discrepancy after
the whole bio list processing should be reported by the exising
WARN_ON_ONCE as well.
Reported-by: Dan Carpenter <>
Reviewed-by: Josef Bacik <>
Signed-off-by: David Sterba <>
Signed-off-by: Paul Gortmaker <>
diff --git a/fs/btrfs/file-item.c b/fs/btrfs/file-item.c
index cee1cd7d2ae5..c78d58432ea3 100644
--- a/fs/btrfs/file-item.c
+++ b/fs/btrfs/file-item.c
@@ -269,7 +269,8 @@ static blk_status_t __btrfs_lookup_bio_sums(struct inode *inode, struct bio *bio
csum += count * csum_size;
nblocks -= count;
- while (count--) {
+ while (count > 0) {
+ count--;
disk_bytenr += fs_info->sectorsize;
offset += fs_info->sectorsize;
page_bytes_left -= fs_info->sectorsize;