diff options
| author | Bart Van Assche <[email protected]> | 2017-08-25 14:24:13 -0700 |
|---|---|---|
| committer | Jens Axboe <[email protected]> | 2017-08-25 15:29:43 -0600 |
| commit | 4633504c1a3a452ff03a5dbe50beb082fa1bfac6 (patch) | |
| tree | 0e5e1295152df28a13ecb8a9f4ee1b9518ac20a7 /tools/perf/scripts/python/export-to-sqlite.py | |
| parent | 795bc1b54265ec532d09960762bd3d58d1a63c8f (diff) | |
skd: Make it easier for static analyzers to analyze skd_free_disk()
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 <[email protected]>
Signed-off-by: Bart Van Assche <[email protected]>
Cc: Dan Carpenter <[email protected]>
Cc: Christoph Hellwig <[email protected]>
Cc: Hannes Reinecke <[email protected]>
Cc: Johannes Thumshirn <[email protected]>
Signed-off-by: Jens Axboe <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/export-to-sqlite.py')
0 files changed, 0 insertions, 0 deletions