hw/xen_evtchn: Initialize flush_kvm_routes

dTenebrae · philmd · commit 95a36455274f · 2024-04-02T16:15:07.000+02:00
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 &lt;oleg.sviridov@red-soft.ru&gt;
Signed-off-by: Artem Chernyshev &lt;artem.chernyshev@red-soft.ru&gt;
Reviewed-by: Philippe Mathieu-Daudé &lt;philmd@linaro.org&gt;
Message-ID: &lt;20240329113939.257033-1-artem.chernyshev@red-soft.ru&gt;
Signed-off-by: Philippe Mathieu-Daudé &lt;philmd@linaro.org&gt;
diff --git 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) {

Original file line number	Diff line number	Diff line change
`@@ -1097,7 +1097,7 @@ static int close_port(XenEvtchnState *s, evtchn_port_t port,`
`1097`	`1097`	`int xen_evtchn_soft_reset(void)`
`1098`	`1098`	`{`
`1099`	`1099`	`XenEvtchnState *s = xen_evtchn_singleton;`
`1100`		`- bool flush_kvm_routes;`
	`1100`	`+ bool flush_kvm_routes = false;`
`1101`	`1101`	`int i;`
`1102`	`1102`
`1103`	`1103`	`if (!s) {`