PCI_NUM_REGIONS is 7, ARRAY_SIZE(bars) is 6. Either bars must be extended by a 7th array element, or the loop which reads bars[i] must terminate before it tries to read bars[6].
For dev->io_regions[6].size == 0, the old code also works, but it is not obvious whether this is always true. This bug was detected by cppcheck. Cc: David Gibson <da...@gibson.dropbear.id.au> Signed-off-by: Stefan Weil <s...@weilnetz.de> --- hw/spapr_pci.c | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/hw/spapr_pci.c b/hw/spapr_pci.c index 7162588..cefde38 100644 --- a/hw/spapr_pci.c +++ b/hw/spapr_pci.c @@ -454,7 +454,7 @@ int spapr_populate_pci_devices(sPAPRPHBState *phb, reg[0].size = 0; n = 0; - for (i = 0; i < PCI_NUM_REGIONS; ++i) { + for (i = 0; i < PCI_NUM_REGIONS && i < ARRAY_SIZE(bars); ++i) { if (0 == dev->io_regions[i].size) { continue; } -- 1.7.2.5