diff options
author | Greg Kurz | 2020-12-15 18:36:51 +0100 |
---|---|---|
committer | David Gibson | 2021-01-06 01:09:59 +0100 |
commit | 73231f7c5fa135274682c3510d3a0b0d4f2628a1 (patch) | |
tree | 51331ccba107d5c7fb636ae894c9b4a0a2a4ce5b /hw/intc | |
parent | hw/ppc/ppc440_bamboo: Drop use of ppcuic_init() (diff) | |
download | qemu-73231f7c5fa135274682c3510d3a0b0d4f2628a1.tar.gz qemu-73231f7c5fa135274682c3510d3a0b0d4f2628a1.tar.xz qemu-73231f7c5fa135274682c3510d3a0b0d4f2628a1.zip |
spapr: DRC lookup cannot fail
All memory DRC objects are created during machine init. It is thus safe
to assume spapr_drc_by_id() cannot return NULL when hot-plug/unplugging
memory.
Make this clear with an assertion, like the code already does a few lines
above when looping over memory DRCs. This fixes Coverity reports 1437757
and 1437758.
Signed-off-by: Greg Kurz <groug@kaod.org>
Message-Id: <160805381160.228955.5388294067094240175.stgit@bahia.lan>
Signed-off-by: David Gibson <david@gibson.dropbear.id.au>
Diffstat (limited to 'hw/intc')
0 files changed, 0 insertions, 0 deletions