[PATCH 3/4] skd: Make it easier for static analyzers to analyze skd_free_disk()
From: Bart Van Assche <hidden>
Date: 2017-08-25 21:24:13
Subsystem:
block layer, the rest · Maintainers:
Jens Axboe, Linus Torvalds
From: Bart Van Assche <hidden>
Date: 2017-08-25 21:24:13
Subsystem:
block layer, the rest · Maintainers:
Jens Axboe, Linus Torvalds
Although it is easy to see that skdev->disk != NULL if skdev->queue
!= NULL, add a test for skdev->disk to avoid that smatch reports the
following warning:
drivers/block/skd_main.c:3080 skd_free_disk()
error: we previously assumed 'disk' could be null (see line 3074)
Reported-by: Dan Carpenter <redacted>
Signed-off-by: Bart Van Assche <redacted>
Cc: Dan Carpenter <redacted>
Cc: Christoph Hellwig <hch@lst.de>
Cc: Hannes Reinecke <hare@suse.de>
Cc: Johannes Thumshirn <redacted>
---
drivers/block/skd_main.c | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/drivers/block/skd_main.c b/drivers/block/skd_main.c
index 8ae0320f02b5..34188a600bfa 100644
--- a/drivers/block/skd_main.c
+++ b/drivers/block/skd_main.c@@ -3041,7 +3041,8 @@ static void skd_free_disk(struct skd_device *skdev) if (skdev->queue) { blk_cleanup_queue(skdev->queue); skdev->queue = NULL; - disk->queue = NULL; + if (disk) + disk->queue = NULL; } if (skdev->tag_set.tags)
--
2.14.1