On Thu, 2 May 2019 17:55:16 +0200
Cornelia Huck <coh...@redhat.com> wrote:
> Coverity notes that the result of object_dynamic_cast() to
> SCSIDevice is not checked in s390_gen_initial_iplp(); as
> we know that we always have a SCSIDevice in that branch,
> we can instead cast via SCSI_DEVICE directly.
>
> Coverity: CID 1401098
> Fixes: 44445d8668f4 ("s390 vfio-ccw: Add bootindex property and IPLB data")
> Signed-off-by: Cornelia Huck <coh...@redhat.com>
> ---
> hw/s390x/ipl.c | 3 +--
> 1 file changed, 1 insertion(+), 2 deletions(-)
Queued to s390-next.
