On 01/09/2025 16:22, Markus Armbruster wrote:

Mark Cave-Ayland <mark.caveayl...@nutanix.com> writes:

Now that the isapc logic has been split out of pc_piix.c, the PCI Host Bridge
(phb) object is now always set in pc_init1().

Since phb is now guaranteed not to be NULL, Coverity reports that the if()
statement surrounding ioapic_init_gsi() is now unnecessary and can be removed
(CID 1620557), along with the phb NULL initialiser.

We commonly use the more formal tag

   Coverity: CID 1620557


Signed-off-by: Mark Cave-Ayland <mark.caveayl...@nutanix.com>
Fixes: 99d0630a45 ("hw/i386/pc_piix.c: assume pcmc->pci_enabled is always true in 
pc_init1()")
Reviewed-by: Peter Maydell <peter.mayd...@linaro.org>
Reviewed-by: Philippe Mathieu-Daudé <phi...@linaro.org>

Thanks Markus, I've just posted a v3 with this added.


ATB,

Mark.


Reply via email to