[dpdk-dev] [PATCH] vhost: fix coverity defect

2016-04-06 Thread Thomas Monjalon
> Fix following coverity defect: > > 291 void > 292 vhost_destroy_device(struct vhost_device_ctx ctx) > 293 { > 294 struct virtio_net *dev = get_device(ctx); > 295 > >>> CID 124565: Null pointer dereferences (NULL_RETURNS) > >>> Derefer

[dpdk-dev] [PATCH] vhost: fix coverity defect

2016-04-05 Thread Yuanhan Liu
Fix following coverity defect: 291 void 292 vhost_destroy_device(struct vhost_device_ctx ctx) 293 { 294 struct virtio_net *dev = get_device(ctx); 295 >>> CID 124565: Null pointer dereferences (NULL_RETURNS) >>> Dereferencing a null poin