In a release build modern gcc validly complains about "pin" possibly
being uninitialized in vioapic_irq_positive_edge().
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Release-acked-by: Julien Grall <julien.grall@arm.com>
struct hvm_vioapic *vioapic = gsi_vioapic(d, irq, &pin);
union vioapic_redir_entry *ent;
- ASSERT(vioapic);
+ if ( !vioapic )
+ {
+ ASSERT_UNREACHABLE();
+ return;
+ }
HVM_DBG_LOG(DBG_LEVEL_IOAPIC, "irq %x", irq);