hw/i386/kvm/xen_evtchn.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
In xen_evtchn_soft_reset() variable flush_kvm_routes can
be used before being initialized.
Found by Linux Verification Center (linuxtesting.org) with SVACE.
Signed-off-by: Oleg Sviridov <oleg.sviridov@red-soft.ru>
Signed-off-by: Artem Chernyshev <artem.chernyshev@red-soft.ru>
---
hw/i386/kvm/xen_evtchn.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/hw/i386/kvm/xen_evtchn.c b/hw/i386/kvm/xen_evtchn.c
index a5052c0ea3..07bd0c9ab8 100644
--- a/hw/i386/kvm/xen_evtchn.c
+++ b/hw/i386/kvm/xen_evtchn.c
@@ -1097,7 +1097,7 @@ static int close_port(XenEvtchnState *s, evtchn_port_t port,
int xen_evtchn_soft_reset(void)
{
XenEvtchnState *s = xen_evtchn_singleton;
- bool flush_kvm_routes;
+ bool flush_kvm_routes = false;
int i;
if (!s) {
--
2.37.3
On 29/3/24 12:39, Artem Chernyshev wrote: > In xen_evtchn_soft_reset() variable flush_kvm_routes can > be used before being initialized. > > Found by Linux Verification Center (linuxtesting.org) with SVACE. > > Signed-off-by: Oleg Sviridov <oleg.sviridov@red-soft.ru> > Signed-off-by: Artem Chernyshev <artem.chernyshev@red-soft.ru> > --- > hw/i386/kvm/xen_evtchn.c | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) Patch queued, thanks!
On 29/3/24 12:39, Artem Chernyshev wrote: > In xen_evtchn_soft_reset() variable flush_kvm_routes can > be used before being initialized. > > Found by Linux Verification Center (linuxtesting.org) with SVACE. > > Signed-off-by: Oleg Sviridov <oleg.sviridov@red-soft.ru> > Signed-off-by: Artem Chernyshev <artem.chernyshev@red-soft.ru> > --- > hw/i386/kvm/xen_evtchn.c | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
© 2016 - 2024 Red Hat, Inc.