Dan Carpenter <[email protected]> writes:

> Smatch complains about the inconsistent NULL checking here.  Fix it to
> return NULL on failure.
>
> Signed-off-by: Dan Carpenter <[email protected]>
> ---
> This is only needed in linux-next.

Nice!

> diff --git a/drivers/block/virtio_blk.c b/drivers/block/virtio_blk.c
> index 2edfb5c..457db0c 100644
> --- a/drivers/block/virtio_blk.c
> +++ b/drivers/block/virtio_blk.c
> @@ -90,10 +90,11 @@ static inline struct virtblk_req 
> *virtblk_alloc_req(struct virtio_blk *vblk,
>       struct virtblk_req *vbr;
>  
>       vbr = mempool_alloc(vblk->pool, gfp_mask);
> -     if (vbr && use_bio)
> -             sg_init_table(vbr->sg, vblk->sg_elems);
> +     if (!vbr)
> +             return NULL;
>  
> -     vbr->vblk = vblk;
> +     if (use_bio)
> +             sg_init_table(vbr->sg, vblk->sg_elems);
>  
>       return vbr;
>  }

But it turns out that "vbr->vblk = vblk;" assignment is important :)

Fixed and applied,
Rusty.
_______________________________________________
Virtualization mailing list
[email protected]
https://lists.linuxfoundation.org/mailman/listinfo/virtualization

Reply via email to