On 7/2/19 9:41 PM, Alex Williamson wrote:
> Coverity doesn't like that most callers of vfio_set_irq_signaling() check
> the return value and doesn't understand the equivalence of testing the
> error pointer instead. Test the return value consistently.
>
> Reported-by: Coverity (CID 1402783)
> Signed-off-by: Alex Williamson <alex.william...@redhat.com>
> ---
> hw/vfio/ccw.c | 5 ++---
> 1 file changed, 2 insertions(+), 3 deletions(-)
>
> diff --git a/hw/vfio/ccw.c b/hw/vfio/ccw.c
> index 6d0296fe4d9c..16f200e6fe6a 100644
> --- a/hw/vfio/ccw.c
> +++ b/hw/vfio/ccw.c
> @@ -327,9 +327,8 @@ static void vfio_ccw_unregister_io_notifier(VFIOCCWDevice
> *vcdev)
> {
> Error *err = NULL;
>
> - vfio_set_irq_signaling(&vcdev->vdev, VFIO_CCW_IO_IRQ_INDEX, 0,
> - VFIO_IRQ_SET_ACTION_TRIGGER, -1, &err);
> - if (err) {
> + if (vfio_set_irq_signaling(&vcdev->vdev, VFIO_CCW_IO_IRQ_INDEX, 0,
> + VFIO_IRQ_SET_ACTION_TRIGGER, -1, &err)) {
> error_reportf_err(err, VFIO_MSG_PREFIX, vcdev->vdev.name);
> }
>
>
>
Reviewed-by: Philippe Mathieu-Daudé <phi...@redhat.com>
