From: Artem Chernyshev <artem.chernys...@red-soft.ru> 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.sviri...@red-soft.ru> Signed-off-by: Artem Chernyshev <artem.chernys...@red-soft.ru> Reviewed-by: Philippe Mathieu-Daudé <phi...@linaro.org> Message-ID: <20240329113939.257033-1-artem.chernys...@red-soft.ru> Signed-off-by: Philippe Mathieu-Daudé <phi...@linaro.org> --- 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.41.0