On Thu, 2017-08-24 at 21:36 +0300, Dan Carpenter wrote: > On Thu, Aug 24, 2017 at 03:04:12PM +0000, Bart Van Assche wrote: > > If you have a look at skd_cons_disk() you will see that skdev->queue != NULL > > implies that skdev->disk != NULL. So I think the above report is a false > > positive. > > Oh, yeah. You're right. Thanks for taking a look at this.
Thank you for all the work you have done and are still doing on smatch and on verifying all new code! Bart.
