Re: [PATCH 3/4] skd: Make it easier for static analyzers to analyze skd_free_disk()

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

To: Bart Van Assche <bart.vanassche@xxxxxxx>
Subject: Re: [PATCH 3/4] skd: Make it easier for static analyzers to analyze skd_free_disk()
From: Dan Carpenter <dan.carpenter@xxxxxxxxxx>
Date: Sat, 26 Aug 2017 09:01:05 +0300
Cc: Jens Axboe <axboe@xxxxxxxxx>, linux-block@xxxxxxxxxxxxxxx, Christoph Hellwig <hch@xxxxxx>, Hannes Reinecke <hare@xxxxxxx>, Johannes Thumshirn <jthumshirn@xxxxxxx>
In-reply-to: <20170825212414.28322-4-bart.vanassche@wdc.com>
User-agent: NeoMutt/20170113 (1.7.2)

No, no.  That's not required.  I've been thinking about this false
positive and I have a plan to fix Smatch to parse this code correctly.
Potentially it will take a year or so to get around to it but I'm sure
it will get done.

regards,
dan carpenter

References:
- [PATCH 0/4] Four more patches for the sTec s1120 driver (skd)
  - From: Bart Van Assche
- [PATCH 3/4] skd: Make it easier for static analyzers to analyze skd_free_disk()
  - From: Bart Van Assche

Prev by Date: [PATCH RFC] Block/blk-wbt: do not let background writes block sync writes
Next by Date: Re: [PATCH V2 02/20] sbitmap: introduce __sbitmap_for_each_set()
Previous by thread: [PATCH 3/4] skd: Make it easier for static analyzers to analyze skd_free_disk()
Next by thread: Re: [PATCH 0/4] Four more patches for the sTec s1120 driver (skd)
Index(es):
- Date
- Thread

[Index of Archives] [Linux RAID] [Linux SCSI] [Linux ATA RAID] [IDE] [Linux Wireless] [Linux Kernel] [ATH6KL] [Linux Bluetooth] [Linux Netdev] [Kernel Newbies] [Security] [Git] [Netfilter] [Bugtraq] [Yosemite News] [MIPS Linux] [ARM Linux] [Linux Security] [Device Mapper]

Powered by Linux