Pointer, returned from function 'spapr_vio_find_by_reg', may be NULL and is
dereferenced immediately after.
Found by Linux Verification Center (linuxtesting.org) with SVACE.
Signed-off-by: Oleg Sviridov
---
v2: Debug message added
hw/net/spapr_llan.c | 6 ++
1 file changed, 6 insertions
Pointer, returned from function 'spapr_vio_find_by_reg', may be NULL and is
dereferenced immediately after.
Found by Linux Verification Center (linuxtesting.org) with SVACE.
Signed-off-by: Oleg Sviridov
---
hw/net/spapr_llan.c | 4
1 file changed, 4 insertions(+)
diff --git a/hw/net
Pointer, returned from function 's390_ipl_get_iplb_pv', may be NULL and is
dereferenced immediately after.
Found by Linux Verification Center (linuxtesting.org) with SVACE.
Signed-off-by: Oleg Sviridov
---
hw/s390x/ipl.c | 11 ++-
1 file changed, 10 insertions(+), 1 deletion(-)
diff